- 在线时间
- 416 小时
- 最后登录
- 2025-10-10
- 注册时间
- 2009-6-12
- 听众数
- 14
- 收听数
- 0
- 能力
- 0 分
- 体力
- 6280 点
- 威望
- 16 点
- 阅读权限
- 100
- 积分
- 2538
- 相册
- 1
- 日志
- 0
- 记录
- 0
- 帖子
- 945
- 主题
- 23
- 精华
- 1
- 分享
- 0
- 好友
- 114
升级   17.93% TA的每日心情 | 开心 2025-10-10 18:05 |
|---|
签到天数: 845 天 [LV.10]以坛为家III
|
圆周率\pi 的联想' Z) l1 Y! `/ _, \8 y
尺规三等分任意角的逻辑原理& A s8 X/ e" U |( T5 n0 }& A# x
苏小光/ y7 c% O" B0 M+ g' s# V
2011年2月20日
4 R. C3 N+ z j/ W w( v 一) 问题的提出
# ^( P$ o+ c" E) \( P# R 古希腊人在三大几何难题中提到,尺规能否三等分任意角.有人用代数的方法证明 90度角可用尺规分成三等份,而60度 角则因为代数方程4 S" W2 o( Y: N$ @* `( h
8x^3-6x-1=0
- ]+ r. \9 b' b0 [! w没有有理根,认为60度 角无法用尺规分成三等份,所以,三等分任意角是尺规作图不能解决的问题.也有人提出了质疑,却不能给出令人满意的逻辑证明.本人由圆周率 \pi 是圆周长与直径的比这一大家熟知的常识,经严格证明,得出尺规能三等分任意角.
+ \5 i6 l( y) X& E, g) }5 ] 二) 预备定理% F/ ?3 g i9 j' f
定理1 设圆心角 ∠ABC=N,则半径R与弧长 l 存在
* m( R/ ?0 t+ x l=NR\pi /180 .
3 ~7 y5 ]2 i% |8 |
$ K* u* C- [/ u( t 定理2 在同圆或等圆中,如果两个圆心角、两条弧、两条弦或两条弦的弦心距中有一组量相等,那么,它们所对应的其余各组量分别相等.
; i X) \( J6 }( Y9 I. Q% N. N 三) 问题的终结9 D2 K e( x) n( Y. X
定理3 若 0<∠AOB<(或=)360度,0 {2 ]0 C% ^" m1 H% ?
5 I5 h) ^$ `4 ?1 Y
则用直尺和圆规可得
. F! s) [4 R7 |5 o$ N( C ∠AOG=1/3 ∠AOB . (1)
4 M$ Q* u% m9 `/ S0 ?- n/ u 证明 设∠AOB=N,则0<∠AOB<(或=)360度8 ~/ {) e6 j) O) i& e- z
在∠AOB一边AO上,取OC=R_(1)
# ~8 H1 i7 }4 F8 T . J- R% L |. l$ {
以R_(1) 为半径,O点为圆心作弧,交OA于点C,交OB于点D.设CD的弧长为l_(1) ,% E- \$ y. W4 k5 P6 P" W! a& S
根据定理1,有, W- z% a; }' j1 b) f. Z
l_(1)=(NR_(1)\pi )/180 (2)
+ {8 U0 c1 E* L在AO上取点E,使
7 x. q- d/ n7 A! Y( C. X OE=R_(2)=3OC=3R_(1) (3)
4 ]1 R8 v$ P. j* R# \6 u$ O; A! A以点O为圆心,以R_(2) 为半径作弧交OA于点E,交OB于点F, 设EF的弧长为l_(2),, ]5 [0 n; u3 X* | {; v6 X
根据定理1,(2)式,(3)式有
+ [ O9 k j" M7 E' y( H( o l_(2)=(NR_( 2)\pi )/180=(N3R_(1) \pi )/180=3 l_(1) (4)
! L2 M- Y7 t5 j3 p所以,在弧 l_(2)上,以点E为圆心,以CD长为半径作弧交 l_(2)于点G,以点G为圆心,以CD长为半径作弧交 l_(2)于点H,以点H为圆心,以CD长为半径作弧交 l_(2) 于点K,连结EG,GH,HK,因为 K6 z" P& e# ]' w; p& ^+ V5 h
CD=EG=GH=HK,
! f$ b; l! w, v3 b# s( ?根据(4)式知K、F共点,所以+ B- @- {% A6 H1 g- P! N+ V, C) x
EG=GH=HF, (5)" |2 I& G* E: r5 [: U9 b& ^8 S( a" o
根据定理2,(5)式,有) z! ?( q5 \! z
.∠EOG=∠GOH=∠HOF
' k3 m4 U# f, w即
5 p g7 N- V s& k$ F ∠EOG=1/3 ∠EOF (6)9 J: b g9 e! ^- F+ `% ?
由(6)式知(1)式正确.证毕.
% G- C% M# `2 x 本文的理论基础是. @! `& m1 {0 x3 g; U2 k
\pi = l /2R1 U, W: {" l+ u( F1 E+ z
若半径R扩大3倍,则圆周长 l 相应扩大3倍.相信本文将是尺规三等分任意角的完美终结.$ W5 f! q- f ^! b2 U/ v1 ^% a7 L s
|
|