- 在线时间
- 418 小时
- 最后登录
- 2026-6-7
- 注册时间
- 2009-6-12
- 听众数
- 14
- 收听数
- 0
- 能力
- 0 分
- 体力
- 6306 点
- 威望
- 16 点
- 阅读权限
- 100
- 积分
- 2548
- 相册
- 1
- 日志
- 0
- 记录
- 0
- 帖子
- 949
- 主题
- 23
- 精华
- 1
- 分享
- 0
- 好友
- 114
升级   18.27% TA的每日心情 | 开心 2026-6-7 10:45 |
|---|
签到天数: 849 天 [LV.10]以坛为家III
|
圆周率\pi 的联想
' w5 F" k, o0 y6 ?5 K 尺规三等分任意角的逻辑原理( s& `4 Q- W4 M4 O, x
苏小光
8 p* Y' O1 w: J! K* T0 ?- U5 H 2011年2月20日5 x1 R- f1 z0 G: O) \
一) 问题的提出
2 x2 @8 u& I+ E 古希腊人在三大几何难题中提到,尺规能否三等分任意角.有人用代数的方法证明 90度角可用尺规分成三等份,而60度 角则因为代数方程8 \, w+ u+ o Q, t/ E6 b
8x^3-6x-1=0
) z; q# p7 i& Q$ Y0 R没有有理根,认为60度 角无法用尺规分成三等份,所以,三等分任意角是尺规作图不能解决的问题.也有人提出了质疑,却不能给出令人满意的逻辑证明.本人由圆周率 \pi 是圆周长与直径的比这一大家熟知的常识,经严格证明,得出尺规能三等分任意角.
1 o8 J I( S* c1 H1 h0 X" j* i, h" v$ h 二) 预备定理
! m& b5 Q9 h' N: E 定理1 设圆心角 ∠ABC=N,则半径R与弧长 l 存在. c% s7 e8 u5 y W; j
l=NR\pi /180 .
7 ~8 r w, o, n% _& P8 d+ ~
; I7 q+ Q- d5 i3 s/ w$ ?, b 定理2 在同圆或等圆中,如果两个圆心角、两条弧、两条弦或两条弦的弦心距中有一组量相等,那么,它们所对应的其余各组量分别相等.
& M3 V4 p3 |3 C( n: q4 A 三) 问题的终结! h, G2 ^4 c' ~. |
定理3 若 0<∠AOB<(或=)360度,
A3 G; B& `. F1 a; X+ ?; ]" ~ . {' m, ?9 @! _3 D! o* z4 e
则用直尺和圆规可得4 V9 l- O5 o$ P# y, X3 r
∠AOG=1/3 ∠AOB . (1)
1 _. ` l' E+ t! h, o 证明 设∠AOB=N,则0<∠AOB<(或=)360度. [& I7 W- B1 X( Z5 X
在∠AOB一边AO上,取OC=R_(1)4 m X1 G) x0 F5 y! S! [
0 _6 \6 [) ^- P以R_(1) 为半径,O点为圆心作弧,交OA于点C,交OB于点D.设CD的弧长为l_(1) ,
# T! L, V) s0 ^! Y3 L0 y: c& Z% K2 o根据定理1,有* w, J' J/ ]& \" ^- h5 A' `& k4 k* F% t
l_(1)=(NR_(1)\pi )/180 (2)
9 f1 v" F- @& Z Z4 z* S在AO上取点E,使4 o! R# B& z D3 N
OE=R_(2)=3OC=3R_(1) (3)9 |/ U( u4 l1 [3 J) v% W5 V* k
以点O为圆心,以R_(2) 为半径作弧交OA于点E,交OB于点F, 设EF的弧长为l_(2),
4 L- G6 t2 L( p4 E1 T根据定理1,(2)式,(3)式有: N! V- _; e- y6 C0 }! E1 Z
l_(2)=(NR_( 2)\pi )/180=(N3R_(1) \pi )/180=3 l_(1) (4)
3 ~% n0 L3 B* j( M4 t u/ W所以,在弧 l_(2)上,以点E为圆心,以CD长为半径作弧交 l_(2)于点G,以点G为圆心,以CD长为半径作弧交 l_(2)于点H,以点H为圆心,以CD长为半径作弧交 l_(2) 于点K,连结EG,GH,HK,因为
/ R8 I- \& V9 l+ C$ N9 x CD=EG=GH=HK,
, X& f2 i/ y9 ^+ E$ J& `( H' b- \根据(4)式知K、F共点,所以
5 @ E; E; T. k+ J h: n" J; v+ w: y EG=GH=HF, (5)
0 C4 c5 G+ O. M; l$ h根据定理2,(5)式,有2 ~2 C. _! m3 H3 J+ J( n% k
.∠EOG=∠GOH=∠HOF& b+ }) ?6 Y J
即
, [% ^3 _! T4 Y% c ∠EOG=1/3 ∠EOF (6)( V, l7 x' U& y, M0 n6 v
由(6)式知(1)式正确.证毕.; D- _3 |% b0 U
本文的理论基础是
/ J2 m5 y) j- v0 T4 E' m \pi = l /2R# e$ I1 C; ] C! }7 ~7 g
若半径R扩大3倍,则圆周长 l 相应扩大3倍.相信本文将是尺规三等分任意角的完美终结.* \& g% z H- e/ N
|
|