- 在线时间
- 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 的联想3 ?' C* w) t7 J; x `% L
尺规三等分任意角的逻辑原理- E' k; m) S8 R! }/ \/ q: g
苏小光
! U2 c1 J+ F. X l 2011年2月20日
' C9 E/ h' A9 Z 一) 问题的提出
8 }) h) F0 N0 G% B. f 古希腊人在三大几何难题中提到,尺规能否三等分任意角.有人用代数的方法证明 90度角可用尺规分成三等份,而60度 角则因为代数方程% ~# c7 h, F+ ?4 @& P) U- J
8x^3-6x-1=0
( b& A/ C2 \+ _% S没有有理根,认为60度 角无法用尺规分成三等份,所以,三等分任意角是尺规作图不能解决的问题.也有人提出了质疑,却不能给出令人满意的逻辑证明.本人由圆周率 \pi 是圆周长与直径的比这一大家熟知的常识,经严格证明,得出尺规能三等分任意角.
. n, h T' g8 G" n3 _' N/ L 二) 预备定理. [" p9 `" D1 a9 Y- o
定理1 设圆心角 ∠ABC=N,则半径R与弧长 l 存在
+ U- w% `- I5 a% a4 ` G$ G' ~ l=NR\pi /180 .
/ L) ?/ @" C! o8 r
% {! _/ q6 b! D* W 定理2 在同圆或等圆中,如果两个圆心角、两条弧、两条弦或两条弦的弦心距中有一组量相等,那么,它们所对应的其余各组量分别相等.
! r4 ?+ q/ d# ]2 i: D" i2 R 三) 问题的终结& P+ y1 ]- Y/ q1 Q
定理3 若 0<∠AOB<(或=)360度,
# \( V; q) Q9 q3 @# Q: [ " {/ G, u$ }% _( a4 Y" d: m
则用直尺和圆规可得
7 T" w- m6 m* Z1 u- r ∠AOG=1/3 ∠AOB . (1)
' G H. ]) q' | 证明 设∠AOB=N,则0<∠AOB<(或=)360度2 s6 l+ F8 I7 s6 i
在∠AOB一边AO上,取OC=R_(1)0 y, [# L3 @% ~! n
0 }; K; ~2 T, j+ _5 U$ \1 y以R_(1) 为半径,O点为圆心作弧,交OA于点C,交OB于点D.设CD的弧长为l_(1) ,
- }# b5 b) ^; C ?1 j! c: p' d l+ C根据定理1,有
% n6 Y% L* d% c5 n' g' B l_(1)=(NR_(1)\pi )/180 (2)
& r; [, T9 [1 Y' {在AO上取点E,使
1 }, u3 x, f x5 s5 q* ` OE=R_(2)=3OC=3R_(1) (3)
5 x$ @! ^+ X. G7 c2 [; i以点O为圆心,以R_(2) 为半径作弧交OA于点E,交OB于点F, 设EF的弧长为l_(2),
3 v$ H9 k+ v& w0 ~& B! Q根据定理1,(2)式,(3)式有- z1 s; w3 k+ w) I3 h2 [
l_(2)=(NR_( 2)\pi )/180=(N3R_(1) \pi )/180=3 l_(1) (4)
( \( F s1 U1 @! w2 U所以,在弧 l_(2)上,以点E为圆心,以CD长为半径作弧交 l_(2)于点G,以点G为圆心,以CD长为半径作弧交 l_(2)于点H,以点H为圆心,以CD长为半径作弧交 l_(2) 于点K,连结EG,GH,HK,因为
" g% t, x* z$ E2 k8 i7 p CD=EG=GH=HK,
( L+ ~. X- U& I根据(4)式知K、F共点,所以
: S# W6 o' o; b; M. Q. s- b/ _+ ] EG=GH=HF, (5)8 X7 a) [# Z- g5 X4 }! r
根据定理2,(5)式,有9 r9 {( n) Q: j- G0 w" E. v: D
.∠EOG=∠GOH=∠HOF
, a" n6 ]$ _3 o2 I y# ?7 @即
5 v$ Y9 W% M- \0 }7 d7 m( P ∠EOG=1/3 ∠EOF (6)
+ Y6 }* ?! e e1 M3 z由(6)式知(1)式正确.证毕.
1 ^* V" d; C D$ b- @) A 本文的理论基础是6 ~% ?! _9 u3 a
\pi = l /2R5 v3 {, C, G" w w% O! |
若半径R扩大3倍,则圆周长 l 相应扩大3倍.相信本文将是尺规三等分任意角的完美终结.
2 b0 ` h6 ?) }& x% \; n1 D |
|