- 在线时间
- 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 的联想5 S! O- t' h9 @3 b$ d8 Z; ]
尺规三等分任意角的逻辑原理
5 O7 K! E8 n. B$ v0 O 苏小光 w5 y" y3 n$ b% O
2011年2月20日- l9 k& w k; e3 z
一) 问题的提出3 _0 ~6 {$ J2 s2 P
古希腊人在三大几何难题中提到,尺规能否三等分任意角.有人用代数的方法证明 90度角可用尺规分成三等份,而60度 角则因为代数方程+ T8 M. X Z$ [/ ?7 H0 V, h) z4 y
8x^3-6x-1=0
; E0 g O, Z: f( t3 l( s) F没有有理根,认为60度 角无法用尺规分成三等份,所以,三等分任意角是尺规作图不能解决的问题.也有人提出了质疑,却不能给出令人满意的逻辑证明.本人由圆周率 \pi 是圆周长与直径的比这一大家熟知的常识,经严格证明,得出尺规能三等分任意角.% V7 q- @! ]/ |3 w8 u! r
二) 预备定理4 ^$ }7 I6 t2 E
定理1 设圆心角 ∠ABC=N,则半径R与弧长 l 存在
E9 n# ?7 k2 C Z l=NR\pi /180 .
* v+ P) i6 w5 |" D( x. e1 h 6 u% V1 v% t H- v! Z0 _9 H
定理2 在同圆或等圆中,如果两个圆心角、两条弧、两条弦或两条弦的弦心距中有一组量相等,那么,它们所对应的其余各组量分别相等.
/ {4 W& _1 I4 n" F: f$ i+ j 三) 问题的终结% T' m( z4 d7 X+ K2 M% ` W
定理3 若 0<∠AOB<(或=)360度,
, L( v$ q4 v4 d- n5 n% D- x, j( g ; X; Q1 s- l" K6 T- B* w
则用直尺和圆规可得
' N- v; E# K4 b+ K ∠AOG=1/3 ∠AOB . (1)
- g0 V# e4 a% f 证明 设∠AOB=N,则0<∠AOB<(或=)360度+ H& k0 g- ~+ \
在∠AOB一边AO上,取OC=R_(1)
; i) I! J3 i5 _' v9 Z
) m( d0 @' ?! m7 @( J; t, _以R_(1) 为半径,O点为圆心作弧,交OA于点C,交OB于点D.设CD的弧长为l_(1) ," W5 [8 ]1 l' ^
根据定理1,有) }6 P8 Y1 {1 p. {5 J
l_(1)=(NR_(1)\pi )/180 (2)0 S/ x1 R; J* e3 {/ U1 r4 U
在AO上取点E,使
& E# \# I/ F. _3 s3 ?6 ]8 S OE=R_(2)=3OC=3R_(1) (3)
" T. I% K" v, i2 v4 X0 Q) R5 b以点O为圆心,以R_(2) 为半径作弧交OA于点E,交OB于点F, 设EF的弧长为l_(2),
( g* ~5 R9 o! {8 ]4 ^# u根据定理1,(2)式,(3)式有
* J; C0 n$ `- h; W) K O l_(2)=(NR_( 2)\pi )/180=(N3R_(1) \pi )/180=3 l_(1) (4)
+ v3 W ^8 H, A* @所以,在弧 l_(2)上,以点E为圆心,以CD长为半径作弧交 l_(2)于点G,以点G为圆心,以CD长为半径作弧交 l_(2)于点H,以点H为圆心,以CD长为半径作弧交 l_(2) 于点K,连结EG,GH,HK,因为" \0 p$ s) k* j8 @6 U G
CD=EG=GH=HK,- q1 m3 F; h, ]/ Z1 w# ]# y
根据(4)式知K、F共点,所以
. s+ k) d, `' Q, \% O6 d EG=GH=HF, (5)
4 L% s; y& a& W! }2 w6 y根据定理2,(5)式,有* y% w. ^0 v+ J/ H! z
.∠EOG=∠GOH=∠HOF
0 w: v- q9 M2 O$ V, _, Q( U即
2 G3 E& g c7 H ∠EOG=1/3 ∠EOF (6)
! M" m) u) B. |+ j0 A. Y( v由(6)式知(1)式正确.证毕.- E; X* N! S- S0 ^* f/ L, _
本文的理论基础是% k* @. d: q4 a& F+ F$ W
\pi = l /2R. j2 g# T7 z* ?. b2 }9 q( a$ t
若半径R扩大3倍,则圆周长 l 相应扩大3倍.相信本文将是尺规三等分任意角的完美终结.5 p+ s, f2 f3 w5 |( [
|
|