- 在线时间
- 417 小时
- 最后登录
- 2026-5-22
- 注册时间
- 2009-6-12
- 听众数
- 14
- 收听数
- 0
- 能力
- 0 分
- 体力
- 6298 点
- 威望
- 16 点
- 阅读权限
- 100
- 积分
- 2545
- 相册
- 1
- 日志
- 0
- 记录
- 0
- 帖子
- 948
- 主题
- 23
- 精华
- 1
- 分享
- 0
- 好友
- 114
升级   18.17% TA的每日心情 | 开心 2026-5-2 14:34 |
|---|
签到天数: 848 天 [LV.10]以坛为家III
|
圆周率\pi 的联想
( J! c! B4 Y- F4 j9 u8 e2 B3 m 尺规三等分任意角的逻辑原理
3 ^ z/ v% u' v 苏小光
6 P% E% i8 k0 \. w! r8 J1 \ 2011年2月20日
/ d1 j$ E. N' f% C* a4 a1 X; @ 一) 问题的提出0 ?2 W5 X, i8 H' L% E7 X2 G0 G
古希腊人在三大几何难题中提到,尺规能否三等分任意角.有人用代数的方法证明 90度角可用尺规分成三等份,而60度 角则因为代数方程
) k& @* _! i7 ^- r 8x^3-6x-1=0
+ b: H* `. h# P. `# m0 z没有有理根,认为60度 角无法用尺规分成三等份,所以,三等分任意角是尺规作图不能解决的问题.也有人提出了质疑,却不能给出令人满意的逻辑证明.本人由圆周率 \pi 是圆周长与直径的比这一大家熟知的常识,经严格证明,得出尺规能三等分任意角.3 R- V- Q! j! T/ H- Z, j
二) 预备定理! }% p8 Q+ g6 R& c4 g# D
定理1 设圆心角 ∠ABC=N,则半径R与弧长 l 存在( P1 W- u/ o$ V9 t- O' W
l=NR\pi /180 .' y3 e& b. N: P" R
7 y$ P2 i* K( k+ m 定理2 在同圆或等圆中,如果两个圆心角、两条弧、两条弦或两条弦的弦心距中有一组量相等,那么,它们所对应的其余各组量分别相等.
6 [4 y) ~# E6 o, F# A. X 三) 问题的终结+ w0 D' P! v/ A* c, m& Z% U+ q
定理3 若 0<∠AOB<(或=)360度,! w6 P5 v8 ], l9 n% {* q5 e6 u
. p/ F4 V4 t! K" n) h2 \( b
则用直尺和圆规可得1 ? `' e9 j3 R* J7 f. a5 [
∠AOG=1/3 ∠AOB . (1)
: m% d6 q) `# M0 o 证明 设∠AOB=N,则0<∠AOB<(或=)360度7 ?/ Y6 S) w9 D
在∠AOB一边AO上,取OC=R_(1)
* a/ R! d( E- {4 S3 ^, y 4 f& U5 s% ?6 h$ r8 Q" h
以R_(1) 为半径,O点为圆心作弧,交OA于点C,交OB于点D.设CD的弧长为l_(1) ,
" X3 ]! K6 S; X j3 a, m y; Z根据定理1,有/ a) I9 F! g! ^
l_(1)=(NR_(1)\pi )/180 (2)- q, v1 _) Q# Q O, R6 s" q
在AO上取点E,使8 h k9 P$ |+ m7 _% Z, U
OE=R_(2)=3OC=3R_(1) (3)8 X6 T1 a* U B3 R; J
以点O为圆心,以R_(2) 为半径作弧交OA于点E,交OB于点F, 设EF的弧长为l_(2),
$ ]/ K# u* T4 u: h' R3 L% x& U根据定理1,(2)式,(3)式有
' Z8 e V; n/ i/ l6 E1 `! m# V% a l_(2)=(NR_( 2)\pi )/180=(N3R_(1) \pi )/180=3 l_(1) (4)
4 i) q) d0 n. \+ K所以,在弧 l_(2)上,以点E为圆心,以CD长为半径作弧交 l_(2)于点G,以点G为圆心,以CD长为半径作弧交 l_(2)于点H,以点H为圆心,以CD长为半径作弧交 l_(2) 于点K,连结EG,GH,HK,因为
# |+ A' S% Q/ l: W) } CD=EG=GH=HK,3 } L" K. F1 Q" U
根据(4)式知K、F共点,所以
% `" a3 @7 L2 f! t EG=GH=HF, (5)* s3 e! F, z! G3 B
根据定理2,(5)式,有
+ u' s* b( A! k .∠EOG=∠GOH=∠HOF, d$ Q& |: B: @+ p
即
5 C0 S R& T6 m% ~0 w7 U1 ] ∠EOG=1/3 ∠EOF (6)8 A$ s9 p3 K! g/ M- n
由(6)式知(1)式正确.证毕." U2 M2 v w6 p) ^
本文的理论基础是0 k# s& j% l7 v/ b3 |5 @0 O$ |7 R
\pi = l /2R
- t- T" J$ m0 P9 j6 f% I9 d若半径R扩大3倍,则圆周长 l 相应扩大3倍.相信本文将是尺规三等分任意角的完美终结., p, U+ q" ^; r9 H
|
|