- 在线时间
- 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 的联想4 ~2 f) O+ c) g. w d
尺规三等分任意角的逻辑原理
% ^! I- T: ^1 r1 o 苏小光6 _" U4 u) W2 D
2011年2月20日
& O* l& N. u6 t 一) 问题的提出! t* G9 z5 D& t0 {- U7 r+ t
古希腊人在三大几何难题中提到,尺规能否三等分任意角.有人用代数的方法证明 90度角可用尺规分成三等份,而60度 角则因为代数方程
% g/ l; |5 W- G7 Z! T/ r/ q1 e 8x^3-6x-1=0
" h- V4 _( |) r, L没有有理根,认为60度 角无法用尺规分成三等份,所以,三等分任意角是尺规作图不能解决的问题.也有人提出了质疑,却不能给出令人满意的逻辑证明.本人由圆周率 \pi 是圆周长与直径的比这一大家熟知的常识,经严格证明,得出尺规能三等分任意角.
, U. ?" V' v' q4 a7 u: Y1 y 二) 预备定理: X: M; t5 c T9 ^$ W
定理1 设圆心角 ∠ABC=N,则半径R与弧长 l 存在
, |, O5 T) h( ` w3 b* O/ x2 E l=NR\pi /180 .
# E& m2 H8 F- [3 ^$ _4 O1 { 5 B$ k8 f9 @6 N( {" K w
定理2 在同圆或等圆中,如果两个圆心角、两条弧、两条弦或两条弦的弦心距中有一组量相等,那么,它们所对应的其余各组量分别相等.% c+ G" i" I* L; m5 H2 o1 j
三) 问题的终结) e% Y) H3 I! Y& n
定理3 若 0<∠AOB<(或=)360度,% V7 W( T) d5 z7 I( `& M- K |
$ m/ E1 s5 {, w# i! o则用直尺和圆规可得
( ^1 l) C7 G7 o& @3 o6 A' b& r ∠AOG=1/3 ∠AOB . (1)
5 n/ O; v2 G# D 证明 设∠AOB=N,则0<∠AOB<(或=)360度
, N& J/ v5 m6 q( A9 D7 F在∠AOB一边AO上,取OC=R_(1)
' v8 i9 Z% U8 }4 \/ K# p) ` * U! H$ i% t0 E" P4 ]) J: N
以R_(1) 为半径,O点为圆心作弧,交OA于点C,交OB于点D.设CD的弧长为l_(1) ,
( x: y# o5 B5 C9 c: c$ c$ |9 v7 S根据定理1,有 I( F# T. [3 c- [) K- i
l_(1)=(NR_(1)\pi )/180 (2)
+ Q3 W7 ~5 E* l( ~在AO上取点E,使
9 |: `7 J/ R- M8 _4 C3 h6 c3 B OE=R_(2)=3OC=3R_(1) (3)5 L, d5 S% I* K5 g8 Z
以点O为圆心,以R_(2) 为半径作弧交OA于点E,交OB于点F, 设EF的弧长为l_(2),
5 P4 ^5 T8 N( V/ K0 }8 a: u根据定理1,(2)式,(3)式有3 U/ s8 i: s9 z, `" G
l_(2)=(NR_( 2)\pi )/180=(N3R_(1) \pi )/180=3 l_(1) (4)% r% F: T; u/ t' ^8 X
所以,在弧 l_(2)上,以点E为圆心,以CD长为半径作弧交 l_(2)于点G,以点G为圆心,以CD长为半径作弧交 l_(2)于点H,以点H为圆心,以CD长为半径作弧交 l_(2) 于点K,连结EG,GH,HK,因为
$ z3 q) s* U" r+ x9 x, c. h CD=EG=GH=HK,
8 [2 u7 {2 _/ j$ T# a$ a, D1 Z根据(4)式知K、F共点,所以
$ U; a( L/ K8 y) N EG=GH=HF, (5)
$ t% B4 h$ c, u; _' R根据定理2,(5)式,有& Z: L. \ X2 P2 |% V& u2 M
.∠EOG=∠GOH=∠HOF3 j* \1 S9 u0 l( b3 s/ ?. z
即1 V+ L# x" w4 o7 q; Z1 ]
∠EOG=1/3 ∠EOF (6)3 S7 S* Q. ?& N
由(6)式知(1)式正确.证毕.
- ^9 e: k7 ]/ N4 \& Q0 O l 本文的理论基础是
8 w) j3 {1 J- A+ ?5 e- o8 B \pi = l /2R1 v" L. e. C) S/ Z9 c* X
若半径R扩大3倍,则圆周长 l 相应扩大3倍.相信本文将是尺规三等分任意角的完美终结.
2 {* H p6 [: o3 T1 L0 o6 a |
|