- 在线时间
- 417 小时
- 最后登录
- 2026-5-22
- 注册时间
- 2009-6-12
- 听众数
- 14
- 收听数
- 0
- 能力
- 0 分
- 体力
- 6298 点
- 威望
- 16 点
- 阅读权限
- 100
- 积分
- 2545
- 相册
- 1
- 日志
- 0
- 记录
- 0
- 帖子
- 948
- 主题
- 23
- 精华
- 1
- 分享
- 0
- 好友
- 114
升级   18.17% TA的每日心情 | 开心 2026-5-2 14:34 |
|---|
签到天数: 848 天 [LV.10]以坛为家III
|
圆周率\pi 的联想1 S7 D2 m- r( Y$ c( g% F
尺规三等分任意角的逻辑原理4 `2 X) K o; C/ o, i& n/ Y; d
苏小光
& D0 S" q; t6 G6 T7 I" \ 2011年2月20日5 d$ M' C( [/ q
一) 问题的提出* q6 ^ {' H: R& e
古希腊人在三大几何难题中提到,尺规能否三等分任意角.有人用代数的方法证明 90度角可用尺规分成三等份,而60度 角则因为代数方程
8 ` u9 z, Z( c, m6 z9 A" w; a 8x^3-6x-1=0 ; M* l" y/ \7 \0 z) I
没有有理根,认为60度 角无法用尺规分成三等份,所以,三等分任意角是尺规作图不能解决的问题.也有人提出了质疑,却不能给出令人满意的逻辑证明.本人由圆周率 \pi 是圆周长与直径的比这一大家熟知的常识,经严格证明,得出尺规能三等分任意角.
2 W* O `' o$ x( g3 V3 V- m% T 二) 预备定理
+ o8 d9 \# u0 \& I- p 定理1 设圆心角 ∠ABC=N,则半径R与弧长 l 存在3 _" O+ Z: e+ I8 u( u; z0 Q
l=NR\pi /180 .& f9 e8 ~ S! i, J0 r+ g1 r- ~3 y
# Q! k8 N* A2 q& L/ n 定理2 在同圆或等圆中,如果两个圆心角、两条弧、两条弦或两条弦的弦心距中有一组量相等,那么,它们所对应的其余各组量分别相等.
4 W2 O8 ~, z6 }1 u" ~! g 三) 问题的终结
0 N' ?+ y3 P z! x! r3 o 定理3 若 0<∠AOB<(或=)360度,
1 e3 m& g# U( r N3 q' A6 T 0 a3 i0 K! F& c7 \) j/ v
则用直尺和圆规可得
0 G' w$ F# @( {; k2 A ∠AOG=1/3 ∠AOB . (1) % M: |" n) q/ v. d0 Q
证明 设∠AOB=N,则0<∠AOB<(或=)360度
5 c! e5 J7 T- S# _: \在∠AOB一边AO上,取OC=R_(1)! S- ^2 w9 V. ^- s+ y7 a5 o
( t9 j& W/ D, c/ u6 P9 ~+ J以R_(1) 为半径,O点为圆心作弧,交OA于点C,交OB于点D.设CD的弧长为l_(1) ,
2 \. S1 |3 {# q+ g. d. p( W, P5 A根据定理1,有, H4 F9 D e7 g* m9 d
l_(1)=(NR_(1)\pi )/180 (2)4 m' q9 Y* o0 a: Y5 w! [: {2 V, O4 _
在AO上取点E,使5 M+ c, P2 x; k+ d
OE=R_(2)=3OC=3R_(1) (3). l- Q Y: u9 C; M5 S
以点O为圆心,以R_(2) 为半径作弧交OA于点E,交OB于点F, 设EF的弧长为l_(2),- s2 u* B8 A9 O, A3 D6 m
根据定理1,(2)式,(3)式有
# q- ^ M5 H+ }6 K" U+ b: V- h l_(2)=(NR_( 2)\pi )/180=(N3R_(1) \pi )/180=3 l_(1) (4)$ f: z8 v2 y( k; w, w
所以,在弧 l_(2)上,以点E为圆心,以CD长为半径作弧交 l_(2)于点G,以点G为圆心,以CD长为半径作弧交 l_(2)于点H,以点H为圆心,以CD长为半径作弧交 l_(2) 于点K,连结EG,GH,HK,因为3 N/ x$ C r9 X2 l
CD=EG=GH=HK,, l0 b* ], x! A B0 Z w
根据(4)式知K、F共点,所以
. p. L/ W: v0 I1 Y EG=GH=HF, (5)0 F6 o. X! d3 U G$ X
根据定理2,(5)式,有
" h% }3 j: f" O, F }+ d" c .∠EOG=∠GOH=∠HOF
! F* U4 U/ w- e+ {即
- M, [) `2 |& t/ H" w' [' b, _ ∠EOG=1/3 ∠EOF (6)
' J) r8 }) e$ E; V m7 h由(6)式知(1)式正确.证毕.
0 ~) H' I. a7 d' y+ A+ | 本文的理论基础是
* u2 N% A1 p' e8 i7 ^ \pi = l /2R
1 B# Z" U: I2 g6 c5 ?: F若半径R扩大3倍,则圆周长 l 相应扩大3倍.相信本文将是尺规三等分任意角的完美终结.
8 L- \4 d1 X5 v1 M! h8 L0 }9 g3 @ |
|