- 在线时间
- 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 的联想
3 |+ `' F+ y$ n8 s% Y 尺规三等分任意角的逻辑原理* a% Y8 ^) D K
苏小光; @# w; x& s/ z* \
2011年2月20日
8 P" T% F* E* `/ @ 一) 问题的提出! M" E7 b$ z; @0 g
古希腊人在三大几何难题中提到,尺规能否三等分任意角.有人用代数的方法证明 90度角可用尺规分成三等份,而60度 角则因为代数方程
, j5 K$ d) K$ X3 K* l 8x^3-6x-1=0
* R- F9 L" F# d7 O) s! q4 X没有有理根,认为60度 角无法用尺规分成三等份,所以,三等分任意角是尺规作图不能解决的问题.也有人提出了质疑,却不能给出令人满意的逻辑证明.本人由圆周率 \pi 是圆周长与直径的比这一大家熟知的常识,经严格证明,得出尺规能三等分任意角.9 i" W' ?: u. h" g9 i& x0 ]: Z( p
二) 预备定理
6 g9 v/ K1 E% s! p6 Q 定理1 设圆心角 ∠ABC=N,则半径R与弧长 l 存在
+ }' T, n* s. y) }# V6 U. _0 X l=NR\pi /180 .. h" [: H8 F" D: R
& z0 S' f% k4 A: `4 a9 [ J 定理2 在同圆或等圆中,如果两个圆心角、两条弧、两条弦或两条弦的弦心距中有一组量相等,那么,它们所对应的其余各组量分别相等.9 y; g; N* V2 R3 @
三) 问题的终结9 e' e8 p6 G" T3 ?( Z2 ]6 z
定理3 若 0<∠AOB<(或=)360度,
; T8 Y' n J |( [- Y
- D4 H, h' c2 H则用直尺和圆规可得
8 `! |3 \- d" Z- G5 a ∠AOG=1/3 ∠AOB . (1)
+ V' d( y4 m' Z, M* v0 d/ M) B2 G 证明 设∠AOB=N,则0<∠AOB<(或=)360度
; o8 }; C" v1 ^3 k在∠AOB一边AO上,取OC=R_(1)
/ C8 q2 Q: o0 C0 `2 \ ) k+ m: L/ t. b! w% g+ U
以R_(1) 为半径,O点为圆心作弧,交OA于点C,交OB于点D.设CD的弧长为l_(1) ,
' T, q& w8 U4 z$ ]" T Q6 }, h根据定理1,有4 \0 X4 d: }- s3 p; o' y
l_(1)=(NR_(1)\pi )/180 (2)
. C7 @+ S" K6 C* Z$ J在AO上取点E,使( @* i, \" d* d% X- ~
OE=R_(2)=3OC=3R_(1) (3)( o7 h0 q/ n. F; R
以点O为圆心,以R_(2) 为半径作弧交OA于点E,交OB于点F, 设EF的弧长为l_(2), s) h: b' x7 v# _) R5 P
根据定理1,(2)式,(3)式有
1 o/ u# W. G" [: I' s" m, F/ \ l_(2)=(NR_( 2)\pi )/180=(N3R_(1) \pi )/180=3 l_(1) (4)
. A/ W/ y) I6 C: H所以,在弧 l_(2)上,以点E为圆心,以CD长为半径作弧交 l_(2)于点G,以点G为圆心,以CD长为半径作弧交 l_(2)于点H,以点H为圆心,以CD长为半径作弧交 l_(2) 于点K,连结EG,GH,HK,因为
7 Y: k) z& r! G CD=EG=GH=HK,& o; ^4 s9 R1 ?
根据(4)式知K、F共点,所以8 u5 m5 J6 I; Q: ?# Y2 ~# f4 F
EG=GH=HF, (5)
5 e: W6 u/ L. Z# r ^( x根据定理2,(5)式,有) V: f5 v5 [ M- Q$ l' y
.∠EOG=∠GOH=∠HOF$ T$ E1 ]8 e5 S. O& q% G
即
( Y' G Y) V* h: t; y ∠EOG=1/3 ∠EOF (6)/ N2 B( x* L) t* ~
由(6)式知(1)式正确.证毕. i7 d% {( x9 f0 h: `' e
本文的理论基础是 `' j* }; }' n* u# @6 O% Q
\pi = l /2R# c6 n7 S- e4 r* Q2 P5 X
若半径R扩大3倍,则圆周长 l 相应扩大3倍.相信本文将是尺规三等分任意角的完美终结.
' n& c, g7 P( M$ G! I2 f |
|