- 在线时间
- 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 的联想6 D' L7 h8 B5 D' `5 u, @
尺规三等分任意角的逻辑原理
Y8 r& Z' G7 G 苏小光
2 E# `+ ]6 Y, x, ], o) Q 2011年2月20日
) d# l9 u; @& u. C; Q2 p 一) 问题的提出
9 ?+ A: P% ^- T9 ` 古希腊人在三大几何难题中提到,尺规能否三等分任意角.有人用代数的方法证明 90度角可用尺规分成三等份,而60度 角则因为代数方程
, G2 {# g; G& f/ { 8x^3-6x-1=0 . \% l _# h7 \/ G% y
没有有理根,认为60度 角无法用尺规分成三等份,所以,三等分任意角是尺规作图不能解决的问题.也有人提出了质疑,却不能给出令人满意的逻辑证明.本人由圆周率 \pi 是圆周长与直径的比这一大家熟知的常识,经严格证明,得出尺规能三等分任意角.3 R$ d6 q0 ?4 ~; v
二) 预备定理
7 x4 r4 m' q6 _) p" d) D/ S3 \! V' Z' C 定理1 设圆心角 ∠ABC=N,则半径R与弧长 l 存在
& m' l3 K" b7 x* }% ]5 a l=NR\pi /180 .( g: E6 L0 V0 b w! Q
/ t/ U/ }. F* |8 |4 l7 Y: s: N
定理2 在同圆或等圆中,如果两个圆心角、两条弧、两条弦或两条弦的弦心距中有一组量相等,那么,它们所对应的其余各组量分别相等.! O: s4 L& w/ N9 W; d3 N
三) 问题的终结
4 f2 s0 L( T- K# N 定理3 若 0<∠AOB<(或=)360度,
8 W% n2 v5 e7 `# U ' y% X. G5 |7 S B" d p
则用直尺和圆规可得
4 j% M" s( `1 { ∠AOG=1/3 ∠AOB . (1)
: h7 t" e3 i3 J! [/ F% Y 证明 设∠AOB=N,则0<∠AOB<(或=)360度3 h# K' t+ ?0 p' i1 s" e
在∠AOB一边AO上,取OC=R_(1)
) e3 u/ I* v7 g# R( `* O n
! h: h8 k' k$ v$ D2 A+ o k以R_(1) 为半径,O点为圆心作弧,交OA于点C,交OB于点D.设CD的弧长为l_(1) ,: S L6 S! Y6 x& f# ]) v3 ^, s
根据定理1,有
/ b/ S" b" j3 t l_(1)=(NR_(1)\pi )/180 (2)
2 F" u7 _1 p/ Z0 p. p, N/ j在AO上取点E,使) F: |( u h0 F! h) c9 n8 k
OE=R_(2)=3OC=3R_(1) (3)
/ o% L5 W' E. G, _2 n以点O为圆心,以R_(2) 为半径作弧交OA于点E,交OB于点F, 设EF的弧长为l_(2),3 d- t+ j- }& w0 V t9 X
根据定理1,(2)式,(3)式有
6 E$ Z/ m0 {0 z' h1 Q/ I) H& {4 U0 H l_(2)=(NR_( 2)\pi )/180=(N3R_(1) \pi )/180=3 l_(1) (4) g8 @# w$ j, U+ ], D2 y
所以,在弧 l_(2)上,以点E为圆心,以CD长为半径作弧交 l_(2)于点G,以点G为圆心,以CD长为半径作弧交 l_(2)于点H,以点H为圆心,以CD长为半径作弧交 l_(2) 于点K,连结EG,GH,HK,因为8 L9 e2 p2 L1 ~
CD=EG=GH=HK,
* u2 M$ k6 G! l0 K根据(4)式知K、F共点,所以
: t2 I0 X6 s" C5 e5 b6 P7 N x EG=GH=HF, (5)
9 l" i- P% u7 b! u& J根据定理2,(5)式,有
7 [( V& N. A- }' M' \ ^ .∠EOG=∠GOH=∠HOF3 @' r+ D) Z" ?7 p& }2 _
即) Q. h! f' k7 R# }2 {
∠EOG=1/3 ∠EOF (6)8 F* W+ H* |! w9 l
由(6)式知(1)式正确.证毕.
4 v6 D$ l( E) e6 E$ |1 [ F" l u 本文的理论基础是
2 v. W$ z3 k; X, l \pi = l /2R
$ Y1 @, m6 O7 E# I8 N. k& j# d若半径R扩大3倍,则圆周长 l 相应扩大3倍.相信本文将是尺规三等分任意角的完美终结.
' D; r J* ~ L; R0 ` |
|