- 在线时间
- 418 小时
- 最后登录
- 2026-6-7
- 注册时间
- 2009-6-12
- 听众数
- 14
- 收听数
- 0
- 能力
- 0 分
- 体力
- 6306 点
- 威望
- 16 点
- 阅读权限
- 100
- 积分
- 2548
- 相册
- 1
- 日志
- 0
- 记录
- 0
- 帖子
- 949
- 主题
- 23
- 精华
- 1
- 分享
- 0
- 好友
- 114
升级   18.27% TA的每日心情 | 开心 2026-6-7 10:45 |
|---|
签到天数: 849 天 [LV.10]以坛为家III
|
圆周率\pi 的联想) f! s7 T8 C- c! P% [
尺规三等分任意角的逻辑原理
/ Y2 f1 y5 q Z' n 苏小光- R- `! a( p# @5 O8 \+ o: v. v
2011年2月20日6 e3 I' C/ u2 Y* P$ K
一) 问题的提出
; s+ H6 ^+ E$ w, O1 G. Z- x 古希腊人在三大几何难题中提到,尺规能否三等分任意角.有人用代数的方法证明 90度角可用尺规分成三等份,而60度 角则因为代数方程
" F: ]6 K }" E, H9 v 8x^3-6x-1=0 7 `% L( X1 q# Y* `
没有有理根,认为60度 角无法用尺规分成三等份,所以,三等分任意角是尺规作图不能解决的问题.也有人提出了质疑,却不能给出令人满意的逻辑证明.本人由圆周率 \pi 是圆周长与直径的比这一大家熟知的常识,经严格证明,得出尺规能三等分任意角. [ N2 s0 T9 V$ v3 o# o& o1 W) N
二) 预备定理1 z; U/ k9 }" a. ^ d+ h
定理1 设圆心角 ∠ABC=N,则半径R与弧长 l 存在
% Q; ~8 S* B- Y+ n& S l=NR\pi /180 .
8 [; D" ~9 n7 T* m: ~. _ & ^8 M; C- A1 r* z
定理2 在同圆或等圆中,如果两个圆心角、两条弧、两条弦或两条弦的弦心距中有一组量相等,那么,它们所对应的其余各组量分别相等.
6 N/ j' P2 k5 k 三) 问题的终结# w' d z. `( r
定理3 若 0<∠AOB<(或=)360度,
& |# `- e% ]% q# m: Z. f8 c 4 S% n8 t0 O- K8 C+ }+ Y( e# w
则用直尺和圆规可得! z; N% P1 ~% I; G
∠AOG=1/3 ∠AOB . (1)
- {" r6 }& {2 d2 M& I2 [9 Z e 证明 设∠AOB=N,则0<∠AOB<(或=)360度
! I5 }& S& p! S, Q在∠AOB一边AO上,取OC=R_(1)
4 w, a/ \' J5 W/ Z $ f' X |: y5 p G
以R_(1) 为半径,O点为圆心作弧,交OA于点C,交OB于点D.设CD的弧长为l_(1) ,# h1 G# |$ { F- W& _4 `. a: C% C
根据定理1,有) C+ M! d6 o7 N
l_(1)=(NR_(1)\pi )/180 (2)
( h, r! m" I- h9 O; d6 C, A在AO上取点E,使
. Y4 J5 T. {- j1 K0 D' Y OE=R_(2)=3OC=3R_(1) (3)9 J7 E5 e. s0 z1 }) u& \' P
以点O为圆心,以R_(2) 为半径作弧交OA于点E,交OB于点F, 设EF的弧长为l_(2),
) F& N! w2 e: a7 k1 }根据定理1,(2)式,(3)式有- ~8 B0 ~" q, Q- e% H
l_(2)=(NR_( 2)\pi )/180=(N3R_(1) \pi )/180=3 l_(1) (4)# O8 }* ?( u! e0 E8 g* g
所以,在弧 l_(2)上,以点E为圆心,以CD长为半径作弧交 l_(2)于点G,以点G为圆心,以CD长为半径作弧交 l_(2)于点H,以点H为圆心,以CD长为半径作弧交 l_(2) 于点K,连结EG,GH,HK,因为+ x: i3 V' _/ P0 Y! t: i0 _
CD=EG=GH=HK,8 `' P. `( m7 \9 a/ n4 J' t; |
根据(4)式知K、F共点,所以8 Y+ Q( g. ~7 D1 {5 G) C: }: N
EG=GH=HF, (5)
2 ~. o0 u1 l0 f3 a3 [根据定理2,(5)式,有5 e" Q- p- B4 C2 d8 n3 @8 Z w3 \
.∠EOG=∠GOH=∠HOF
' s+ [, m4 T) I8 w4 w7 S7 J- U即
) W) j$ z) {! U( w ∠EOG=1/3 ∠EOF (6)+ [) R" V& f$ P% F
由(6)式知(1)式正确.证毕.
5 R- G! C w: v8 y4 d7 _2 l 本文的理论基础是
' |* k: n% B% H, m- w" _ \pi = l /2R, y/ Z! s4 O# Y7 K3 r6 L
若半径R扩大3倍,则圆周长 l 相应扩大3倍.相信本文将是尺规三等分任意角的完美终结.# H* f/ Q) R j. h' [; A6 U3 J6 U& ]
|
|