- 在线时间
- 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 的联想
+ c2 `1 [2 W' K/ l3 } 尺规三等分任意角的逻辑原理
! z6 r; b" Y+ v# i" H2 e* Y 苏小光
h' ?9 F& F2 N [ 2011年2月20日
; @! S1 E' _1 Z* v- [/ r 一) 问题的提出
7 G1 n/ _' P# _ 古希腊人在三大几何难题中提到,尺规能否三等分任意角.有人用代数的方法证明 90度角可用尺规分成三等份,而60度 角则因为代数方程2 P" U* Y! t$ R4 \
8x^3-6x-1=0 ( \0 U9 ^: [) U v: i1 t
没有有理根,认为60度 角无法用尺规分成三等份,所以,三等分任意角是尺规作图不能解决的问题.也有人提出了质疑,却不能给出令人满意的逻辑证明.本人由圆周率 \pi 是圆周长与直径的比这一大家熟知的常识,经严格证明,得出尺规能三等分任意角.
O* J9 E! V% @; n- e( z% h 二) 预备定理
8 ^9 Y& q9 c9 l& P+ O7 f7 P% W 定理1 设圆心角 ∠ABC=N,则半径R与弧长 l 存在' u; h3 l+ g$ X1 v
l=NR\pi /180 ., O2 g* B$ P. G, E. m& g
( J# M* J* c2 Z# N d. J$ Z 定理2 在同圆或等圆中,如果两个圆心角、两条弧、两条弦或两条弦的弦心距中有一组量相等,那么,它们所对应的其余各组量分别相等.
" L) i8 t1 H) z$ }* i+ v 三) 问题的终结
3 A6 A- c% z: h 定理3 若 0<∠AOB<(或=)360度,, W8 }0 Q0 ^5 I2 K, X7 K) r
$ h% x1 k4 y. ^& W5 E) j( u则用直尺和圆规可得+ t: @& ?: f* [8 T
∠AOG=1/3 ∠AOB . (1)
: q" ^. J* y. n0 {6 X: ~ 证明 设∠AOB=N,则0<∠AOB<(或=)360度9 a0 b9 @: G1 A" w9 X
在∠AOB一边AO上,取OC=R_(1)6 @1 S7 |6 Q3 B7 Y! ?
7 w1 K0 j" T) Z7 X2 h* ^, E" i: w以R_(1) 为半径,O点为圆心作弧,交OA于点C,交OB于点D.设CD的弧长为l_(1) ,8 d5 `. ]' o6 G$ w" p! J7 G O" K" y
根据定理1,有5 d6 g' o! \5 U& J+ L2 P
l_(1)=(NR_(1)\pi )/180 (2)3 Z& v8 }- M% m; i* p
在AO上取点E,使
: l/ k9 V. e2 n% u" \ OE=R_(2)=3OC=3R_(1) (3)/ G9 p* A4 Z/ z( @4 h
以点O为圆心,以R_(2) 为半径作弧交OA于点E,交OB于点F, 设EF的弧长为l_(2),/ ?1 L1 \& h: C2 N1 e3 r5 V% z
根据定理1,(2)式,(3)式有
+ h; V# J+ g! t$ O/ h! m l_(2)=(NR_( 2)\pi )/180=(N3R_(1) \pi )/180=3 l_(1) (4)
+ x7 F* x# w8 q& \所以,在弧 l_(2)上,以点E为圆心,以CD长为半径作弧交 l_(2)于点G,以点G为圆心,以CD长为半径作弧交 l_(2)于点H,以点H为圆心,以CD长为半径作弧交 l_(2) 于点K,连结EG,GH,HK,因为
% J7 j/ t1 B* R7 ^ CD=EG=GH=HK,3 r& e3 `5 d$ w
根据(4)式知K、F共点,所以# \+ A# j7 t- T0 _" v8 k6 o
EG=GH=HF, (5)
) R0 M2 Z3 D& z, j% \; F8 o+ ^" G Q根据定理2,(5)式,有! B0 \1 ^- N- {
.∠EOG=∠GOH=∠HOF w Q0 Z, v6 l+ r
即 q8 m% @: b# |1 K0 P, Q" A/ E7 c
∠EOG=1/3 ∠EOF (6)6 {/ z; I, P) L- p5 A' B- v
由(6)式知(1)式正确.证毕.& H, J+ j7 ]9 X
本文的理论基础是+ G! [6 o+ G% s. s
\pi = l /2R
/ G+ {% c5 P& e- b2 @* K若半径R扩大3倍,则圆周长 l 相应扩大3倍.相信本文将是尺规三等分任意角的完美终结.
3 \& s$ b( P- L/ W* g |
|