- 在线时间
- 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 的联想) x! E* C- t( x6 x: ^) h5 @, J
尺规三等分任意角的逻辑原理
! N2 p% l7 X$ w9 O# P9 m6 y! B 苏小光& E8 r! r3 q+ Y& g
2011年2月20日2 R5 {) C. N& A- z+ w
一) 问题的提出
1 D |3 ~. M- I3 }/ N) ]( a& x 古希腊人在三大几何难题中提到,尺规能否三等分任意角.有人用代数的方法证明 90度角可用尺规分成三等份,而60度 角则因为代数方程
9 D7 R' u r \0 v 8x^3-6x-1=0
$ b! B5 ` a% M! C1 V5 l没有有理根,认为60度 角无法用尺规分成三等份,所以,三等分任意角是尺规作图不能解决的问题.也有人提出了质疑,却不能给出令人满意的逻辑证明.本人由圆周率 \pi 是圆周长与直径的比这一大家熟知的常识,经严格证明,得出尺规能三等分任意角.
& z; F8 x6 ^' a 二) 预备定理
7 V+ [2 U. j+ N# H; p8 T+ n8 J c 定理1 设圆心角 ∠ABC=N,则半径R与弧长 l 存在
9 V! H$ ?* l0 }: `$ { l=NR\pi /180 .2 `" @+ j3 |! `: T: t# s
0 L( E/ \! C0 {: C& V! n 定理2 在同圆或等圆中,如果两个圆心角、两条弧、两条弦或两条弦的弦心距中有一组量相等,那么,它们所对应的其余各组量分别相等.( ^8 B% W I& _; I* X# G1 X
三) 问题的终结
8 Q! c) u$ L% C' h6 m9 A" I 定理3 若 0<∠AOB<(或=)360度,
Z/ I) w5 e: C# _% J " Q: \, O% g6 q
则用直尺和圆规可得
- Y" P, U! G/ @/ p- W- ^ ∠AOG=1/3 ∠AOB . (1)
5 s% r; n/ [$ x$ V# c% x0 x3 n 证明 设∠AOB=N,则0<∠AOB<(或=)360度
, q2 ]5 N) n8 w. Q+ Y2 b4 ]在∠AOB一边AO上,取OC=R_(1)
0 o% ?3 W9 a5 D! v4 c1 u
! I+ }" L5 O. b以R_(1) 为半径,O点为圆心作弧,交OA于点C,交OB于点D.设CD的弧长为l_(1) ,
4 e6 f. p2 R+ K5 |; p# l根据定理1,有, a/ ]7 i4 C. X- V+ V1 U/ ^
l_(1)=(NR_(1)\pi )/180 (2)
' B5 ?! p- i- h) H+ a& r7 L在AO上取点E,使, E$ Y8 h' Z! Z. O" v
OE=R_(2)=3OC=3R_(1) (3)- p' e: K+ E F# t* J+ Y
以点O为圆心,以R_(2) 为半径作弧交OA于点E,交OB于点F, 设EF的弧长为l_(2),
5 x! `- X e/ Z$ p+ Y根据定理1,(2)式,(3)式有( ^; ^, P& }: S) |6 [
l_(2)=(NR_( 2)\pi )/180=(N3R_(1) \pi )/180=3 l_(1) (4)
. P4 B- n l* G& N+ k所以,在弧 l_(2)上,以点E为圆心,以CD长为半径作弧交 l_(2)于点G,以点G为圆心,以CD长为半径作弧交 l_(2)于点H,以点H为圆心,以CD长为半径作弧交 l_(2) 于点K,连结EG,GH,HK,因为
4 e: y- L: x; N* K9 E( ^8 ` CD=EG=GH=HK," S+ C# h, m5 f4 B% z5 p& O
根据(4)式知K、F共点,所以
' A2 d: m3 e+ c' R4 n+ Y EG=GH=HF, (5)' @/ d6 E- s* D0 ?) C$ ^
根据定理2,(5)式,有$ \/ k6 V1 I6 \4 G5 Q" U1 ^7 p
.∠EOG=∠GOH=∠HOF
$ v8 D, \% o+ C2 K即4 |2 U* a& z' [+ y+ } y ?
∠EOG=1/3 ∠EOF (6)
8 c h( \$ @& R, K+ q" K( s: y由(6)式知(1)式正确.证毕.
; R# ~* m) J9 b3 R3 H' r& p$ M 本文的理论基础是# F! n2 v% i& G+ h
\pi = l /2R* ^) {& b( \9 s5 v" h2 z8 l' c
若半径R扩大3倍,则圆周长 l 相应扩大3倍.相信本文将是尺规三等分任意角的完美终结.
3 v4 G" M, O0 E |
|