- 在线时间
- 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 s4 Z& g2 d9 l; _0 b, M. M; E; y
尺规三等分任意角的逻辑原理3 s2 K& e3 |& G
苏小光- n8 F% I5 k7 Z; N
2011年2月20日& W2 @( ~+ ]" k+ b
一) 问题的提出
, y5 ?' d8 b4 {' ^ 古希腊人在三大几何难题中提到,尺规能否三等分任意角.有人用代数的方法证明 90度角可用尺规分成三等份,而60度 角则因为代数方程
1 z) R l+ z E( [& m, F5 c& k# G 8x^3-6x-1=0
% F2 v A$ Z: }( w没有有理根,认为60度 角无法用尺规分成三等份,所以,三等分任意角是尺规作图不能解决的问题.也有人提出了质疑,却不能给出令人满意的逻辑证明.本人由圆周率 \pi 是圆周长与直径的比这一大家熟知的常识,经严格证明,得出尺规能三等分任意角." W: o& h3 a" C5 ~+ z! S
二) 预备定理
! M! s" S5 a0 H2 w 定理1 设圆心角 ∠ABC=N,则半径R与弧长 l 存在7 M L8 K! k4 P! A
l=NR\pi /180 ." Z( k* |" D+ y P
$ Y, D) B( n4 ? }+ `5 r
定理2 在同圆或等圆中,如果两个圆心角、两条弧、两条弦或两条弦的弦心距中有一组量相等,那么,它们所对应的其余各组量分别相等.
) C# o, |! c( @2 v 三) 问题的终结
$ ]* c: p" X! O 定理3 若 0<∠AOB<(或=)360度,
* w/ Y! \ K/ O/ s5 g$ B' M5 |* \. ] - p; R7 P( t- b0 I
则用直尺和圆规可得, {6 U- z$ l+ }& Z3 g
∠AOG=1/3 ∠AOB . (1)
, N$ T3 ~' [( _% P$ d. O 证明 设∠AOB=N,则0<∠AOB<(或=)360度: v( U, G& a) f& ~; d& L
在∠AOB一边AO上,取OC=R_(1)$ u; {+ F! A: e' N) A: R
7 Z/ D4 m v$ J以R_(1) 为半径,O点为圆心作弧,交OA于点C,交OB于点D.设CD的弧长为l_(1) ," C$ _& H8 |) [! f9 B# ?
根据定理1,有6 M; I8 r, V9 w2 q( {2 P- i7 G& n
l_(1)=(NR_(1)\pi )/180 (2)
3 @# ?. r1 \; c u在AO上取点E,使
/ g- e" a& r, J% x- x& _ OE=R_(2)=3OC=3R_(1) (3)( p9 w* l2 u' @& j. ~4 N/ |: H
以点O为圆心,以R_(2) 为半径作弧交OA于点E,交OB于点F, 设EF的弧长为l_(2),) r8 f& h5 P/ G m" _
根据定理1,(2)式,(3)式有$ y9 e/ I1 i% `7 `4 i5 T8 O
l_(2)=(NR_( 2)\pi )/180=(N3R_(1) \pi )/180=3 l_(1) (4)
! U/ E) v7 z( p2 f所以,在弧 l_(2)上,以点E为圆心,以CD长为半径作弧交 l_(2)于点G,以点G为圆心,以CD长为半径作弧交 l_(2)于点H,以点H为圆心,以CD长为半径作弧交 l_(2) 于点K,连结EG,GH,HK,因为2 I$ u+ ?+ u) {) ]7 F P
CD=EG=GH=HK,
( q9 N8 f+ b8 I8 S根据(4)式知K、F共点,所以
0 Z- H; x( c% h: Y3 M EG=GH=HF, (5): B9 N* J- `8 H
根据定理2,(5)式,有
$ D4 x: y! w& n1 U& \+ R7 W" S .∠EOG=∠GOH=∠HOF$ V7 ^# v" u6 o4 ~ P+ r9 l
即 R- u% i" K' q: N
∠EOG=1/3 ∠EOF (6)
5 ?1 @/ [' c f- @' }* U由(6)式知(1)式正确.证毕.
( M" F C% }1 S2 f: x 本文的理论基础是
' u) y' q/ R2 |9 R; h5 d/ { \pi = l /2R- H) c* X2 |( C
若半径R扩大3倍,则圆周长 l 相应扩大3倍.相信本文将是尺规三等分任意角的完美终结.. u) ]0 j1 {+ u: N# V
|
|