- 在线时间
- 417 小时
- 最后登录
- 2026-4-10
- 注册时间
- 2009-6-12
- 听众数
- 14
- 收听数
- 0
- 能力
- 0 分
- 体力
- 6292 点
- 威望
- 16 点
- 阅读权限
- 100
- 积分
- 2543
- 相册
- 1
- 日志
- 0
- 记录
- 0
- 帖子
- 947
- 主题
- 23
- 精华
- 1
- 分享
- 0
- 好友
- 114
升级   18.1% TA的每日心情 | 开心 2026-4-10 15:52 |
|---|
签到天数: 847 天 [LV.10]以坛为家III
|
圆周率\pi 的联想
# c: \# b" Q7 [+ ^( p, P# g 尺规三等分任意角的逻辑原理) @$ s# S8 X8 V. r
苏小光
4 N/ g9 P- e0 Q3 a# W 2011年2月20日
0 V8 m4 e8 F- H q 一) 问题的提出4 u- r% C, R1 @4 X/ _% U3 j. V
古希腊人在三大几何难题中提到,尺规能否三等分任意角.有人用代数的方法证明 90度角可用尺规分成三等份,而60度 角则因为代数方程6 A2 H2 C1 X1 P9 {
8x^3-6x-1=0
! P3 d5 O1 g @1 |, m没有有理根,认为60度 角无法用尺规分成三等份,所以,三等分任意角是尺规作图不能解决的问题.也有人提出了质疑,却不能给出令人满意的逻辑证明.本人由圆周率 \pi 是圆周长与直径的比这一大家熟知的常识,经严格证明,得出尺规能三等分任意角.
! |. {/ ~' a( {4 z S& p2 p4 i 二) 预备定理
* n H U) b$ q* _/ ?. Y 定理1 设圆心角 ∠ABC=N,则半径R与弧长 l 存在1 f8 k- [& E* T& Q
l=NR\pi /180 .
- c, E( E2 k. \; a 4 N4 L3 S) B, c3 X* \* g5 y6 L
定理2 在同圆或等圆中,如果两个圆心角、两条弧、两条弦或两条弦的弦心距中有一组量相等,那么,它们所对应的其余各组量分别相等.5 y1 ~& C3 {2 d+ i
三) 问题的终结, R) V7 \' {! Z K. }
定理3 若 0<∠AOB<(或=)360度,
" D: L+ z2 Z9 u# O* P+ P; x
. P' k3 S! M! C+ n1 y则用直尺和圆规可得
8 G3 c! @2 S, v# C' p ∠AOG=1/3 ∠AOB . (1)
; S. U+ \* |1 Y 证明 设∠AOB=N,则0<∠AOB<(或=)360度
4 W& g; _ ~1 d5 q% _* }) ]在∠AOB一边AO上,取OC=R_(1)% U4 z/ v. y; R4 E/ p
, N- E# m: x4 F/ a& m: K
以R_(1) 为半径,O点为圆心作弧,交OA于点C,交OB于点D.设CD的弧长为l_(1) ,4 @' c% M9 ?; [- Y' u0 [
根据定理1,有
# @: z* m! m7 Z2 k; M9 g+ G" V l_(1)=(NR_(1)\pi )/180 (2)/ c2 ?% ]0 C9 F3 v( g. B) l
在AO上取点E,使
. ^0 }' i& C) t; a OE=R_(2)=3OC=3R_(1) (3)3 O9 _4 w; {3 Q7 ^3 U
以点O为圆心,以R_(2) 为半径作弧交OA于点E,交OB于点F, 设EF的弧长为l_(2),! a2 \5 N) j( U2 W. J, }# i
根据定理1,(2)式,(3)式有
( d- {' s& X) k$ H8 i( e, A l_(2)=(NR_( 2)\pi )/180=(N3R_(1) \pi )/180=3 l_(1) (4)
- {6 @9 c/ @" o. X' _所以,在弧 l_(2)上,以点E为圆心,以CD长为半径作弧交 l_(2)于点G,以点G为圆心,以CD长为半径作弧交 l_(2)于点H,以点H为圆心,以CD长为半径作弧交 l_(2) 于点K,连结EG,GH,HK,因为- E, e2 H; D0 l* W% i
CD=EG=GH=HK,/ q, E/ F" A" n7 R
根据(4)式知K、F共点,所以
' h) D, r/ P6 Q8 n EG=GH=HF, (5)
$ Q( y2 U, d+ P根据定理2,(5)式,有; c( n* C* H! X7 E0 w5 Y! h' X
.∠EOG=∠GOH=∠HOF0 g6 `: h- I4 j, m" E0 h
即
6 y& }5 d% [+ R, E+ Q3 r ∠EOG=1/3 ∠EOF (6)
' e ]# E, U4 @- S y0 b由(6)式知(1)式正确.证毕.! V. V P* `9 \" e
本文的理论基础是
; S7 i7 p \) a" ^ \pi = l /2R% F# u3 V) h! A
若半径R扩大3倍,则圆周长 l 相应扩大3倍.相信本文将是尺规三等分任意角的完美终结.
! M* Z4 x0 }6 X |
|