- 在线时间
- 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 的联想. ]% @4 P! D0 x; z7 \$ X; y
尺规三等分任意角的逻辑原理
: N* V/ R: t( M9 T 苏小光
- X% Z% u- N( I 2011年2月20日
# q2 Z- ?, ^9 ?* _( `$ | 一) 问题的提出
9 D/ e( a5 {+ Z9 X4 ?4 Z: [$ f6 | 古希腊人在三大几何难题中提到,尺规能否三等分任意角.有人用代数的方法证明 90度角可用尺规分成三等份,而60度 角则因为代数方程
/ W1 ?; r$ t$ l, }! Z( t2 z, z 8x^3-6x-1=0 ' x! J: f$ x" s
没有有理根,认为60度 角无法用尺规分成三等份,所以,三等分任意角是尺规作图不能解决的问题.也有人提出了质疑,却不能给出令人满意的逻辑证明.本人由圆周率 \pi 是圆周长与直径的比这一大家熟知的常识,经严格证明,得出尺规能三等分任意角.- y+ r! B' s, k/ h( e9 R( Q; E
二) 预备定理
( P6 f+ y! t9 t" _# ?# B: v 定理1 设圆心角 ∠ABC=N,则半径R与弧长 l 存在/ j, G1 L0 e0 _* J: C
l=NR\pi /180 .
# f: J7 q, e5 }' z* U! V
3 O- G* \! ]. ]4 x+ C. @" A2 e 定理2 在同圆或等圆中,如果两个圆心角、两条弧、两条弦或两条弦的弦心距中有一组量相等,那么,它们所对应的其余各组量分别相等.- [ T4 M9 U: A. d0 T
三) 问题的终结
8 j r7 Y4 V e$ X 定理3 若 0<∠AOB<(或=)360度,9 W" N& \4 [8 Y8 j( ] c
( D/ y: H4 `2 C# e
则用直尺和圆规可得
6 G' J) `4 U) s/ K0 @ ∠AOG=1/3 ∠AOB . (1) 1 Y# E& H% C9 w, v; S$ o
证明 设∠AOB=N,则0<∠AOB<(或=)360度; _0 ^, j5 e+ W! ]
在∠AOB一边AO上,取OC=R_(1)+ Q7 {, Y! {; f8 g: z6 ~- |
$ d5 Y& o- d7 a# q
以R_(1) 为半径,O点为圆心作弧,交OA于点C,交OB于点D.设CD的弧长为l_(1) ,1 L' Y8 J. D' r% d
根据定理1,有
' [/ |: ^* S1 N9 F* J3 {% q* R l_(1)=(NR_(1)\pi )/180 (2)' f0 I2 @, ^; _8 _2 {) k9 N1 |
在AO上取点E,使0 ]5 ~; @$ @5 {" r4 Z. o7 E9 l' `( h
OE=R_(2)=3OC=3R_(1) (3)) d0 `+ w( r8 G n1 R" A
以点O为圆心,以R_(2) 为半径作弧交OA于点E,交OB于点F, 设EF的弧长为l_(2),# w& T6 K, \: f0 V1 W
根据定理1,(2)式,(3)式有
& u5 v+ I! q2 D- y* ?, H l_(2)=(NR_( 2)\pi )/180=(N3R_(1) \pi )/180=3 l_(1) (4)
8 L7 c! \$ l& J- w) u* s8 ?所以,在弧 l_(2)上,以点E为圆心,以CD长为半径作弧交 l_(2)于点G,以点G为圆心,以CD长为半径作弧交 l_(2)于点H,以点H为圆心,以CD长为半径作弧交 l_(2) 于点K,连结EG,GH,HK,因为$ f* y5 ]9 ?+ t; z* @
CD=EG=GH=HK,
) @5 W, d. x# I$ i$ a9 F0 D9 [3 W根据(4)式知K、F共点,所以
/ V T. b. v5 T4 W( f- z EG=GH=HF, (5)
* c! z- @2 b: i$ e根据定理2,(5)式,有, H P3 T( c- d l+ `0 c T
.∠EOG=∠GOH=∠HOF! A( Q& L- y4 S7 @
即* |9 f3 W2 ]4 S/ N1 u/ _! q
∠EOG=1/3 ∠EOF (6)
; Y* z0 e9 j( ~, v# L, m) K0 m由(6)式知(1)式正确.证毕.
" b5 {: H. a6 ^- S 本文的理论基础是! B' p! M- V' e j
\pi = l /2R
) P( o7 B6 n, A# a( |+ ~若半径R扩大3倍,则圆周长 l 相应扩大3倍.相信本文将是尺规三等分任意角的完美终结.
6 E$ z. b( D3 @- _. b" q |
|