- 在线时间
- 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 的联想
5 K' P- S5 M3 b' C 尺规三等分任意角的逻辑原理: [( @ g% k5 ^0 {4 K
苏小光1 z% T" o' ]% W+ j
2011年2月20日
2 v; a `/ ^: E: s+ e 一) 问题的提出# R; x( U1 o# o; t# R0 I
古希腊人在三大几何难题中提到,尺规能否三等分任意角.有人用代数的方法证明 90度角可用尺规分成三等份,而60度 角则因为代数方程
2 \* [4 n! {- u' A 8x^3-6x-1=0
3 n( y) ~9 N3 n2 [" E1 \没有有理根,认为60度 角无法用尺规分成三等份,所以,三等分任意角是尺规作图不能解决的问题.也有人提出了质疑,却不能给出令人满意的逻辑证明.本人由圆周率 \pi 是圆周长与直径的比这一大家熟知的常识,经严格证明,得出尺规能三等分任意角.& m3 m* ?9 Y, P( N. g
二) 预备定理
7 z5 i0 A# g/ ], m2 o 定理1 设圆心角 ∠ABC=N,则半径R与弧长 l 存在' f" |' J; T' @
l=NR\pi /180 .
8 \! e. k6 j+ U, m & a/ _8 r# |! V+ }4 i& D
定理2 在同圆或等圆中,如果两个圆心角、两条弧、两条弦或两条弦的弦心距中有一组量相等,那么,它们所对应的其余各组量分别相等.+ L/ d: L, {- ^
三) 问题的终结: Z) |+ z/ T9 C/ g
定理3 若 0<∠AOB<(或=)360度,1 J# l5 m+ W0 O6 ~9 t4 K8 j
# y: \$ d4 p5 ]+ d7 P
则用直尺和圆规可得/ P! ^# m# U% T; Z
∠AOG=1/3 ∠AOB . (1)
2 m" X; ?. Z3 ~( k% }4 Z; @ 证明 设∠AOB=N,则0<∠AOB<(或=)360度
& J" I; O+ ^& O/ g. t: C在∠AOB一边AO上,取OC=R_(1)
/ Y, K- E- L! E: K7 d% A
, ]) f$ I& K$ V& j) \8 D6 ~以R_(1) 为半径,O点为圆心作弧,交OA于点C,交OB于点D.设CD的弧长为l_(1) ,
5 a& {' f0 S( _+ k根据定理1,有* D" R' s5 m7 D7 \1 G* S
l_(1)=(NR_(1)\pi )/180 (2)3 q2 e, |: [& F- J: X! {! f
在AO上取点E,使
% ~! Z0 a- i' ^2 e2 T OE=R_(2)=3OC=3R_(1) (3)/ B; n% Y; q& q; h; e5 R5 A# i3 x1 O
以点O为圆心,以R_(2) 为半径作弧交OA于点E,交OB于点F, 设EF的弧长为l_(2),0 T3 S9 ^% S: v
根据定理1,(2)式,(3)式有
- H9 e( Y% _2 W" C& ~ l_(2)=(NR_( 2)\pi )/180=(N3R_(1) \pi )/180=3 l_(1) (4)+ J% D/ o: T9 C3 M
所以,在弧 l_(2)上,以点E为圆心,以CD长为半径作弧交 l_(2)于点G,以点G为圆心,以CD长为半径作弧交 l_(2)于点H,以点H为圆心,以CD长为半径作弧交 l_(2) 于点K,连结EG,GH,HK,因为
7 m2 j7 q2 \) F8 C3 B i CD=EG=GH=HK,. B a# o" ?1 h) r( ~1 Q
根据(4)式知K、F共点,所以
2 t: Z4 A& R0 C5 T: j5 N( L$ H* m8 w EG=GH=HF, (5)% Z: V& a! Y* ?8 A: o
根据定理2,(5)式,有2 T6 J. U9 g0 ?8 O W0 x- ~& n
.∠EOG=∠GOH=∠HOF
0 {! e) m; h* p! H即/ P' c% R2 _& c6 u4 z( A
∠EOG=1/3 ∠EOF (6)- z! Y5 }' }- A6 p
由(6)式知(1)式正确.证毕.
5 m7 l6 M# \9 m2 i S; e# f 本文的理论基础是
6 _7 n1 }* i/ j0 Z, p \pi = l /2R
' a) `$ w# K- t& e" r3 w若半径R扩大3倍,则圆周长 l 相应扩大3倍.相信本文将是尺规三等分任意角的完美终结.
5 M/ \1 Q+ I. b |
|