在线时间 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
尺规三等分任意角的证明(轨迹)
1 _; {! K7 p! j* z1 V 苏小光- w. J+ b' l( O4 s) Y; ` s
2011年2月22日
7 G- U7 z2 X3 ?1 @2 L5 q 我本无意研究尺规三等分任意角,一旦研究,又收不住手,现对三等分角又给出新的证明.* p2 K9 y t" H) j1 P
公式1:设N为圆心角,R为半径,l_{1}为扇形弧长,则有9 L; O! b4 M' e5 ?1 A
l_{1}=(NR\pi )/180 .- i% P3 A0 }" ^6 Q, @
公式2:设l_{2}为圆周长,r为半径,则/ j5 V& C# l: V
l_{2}=2r\pi .
* g# V V+ @6 ^) u4 W# E5 A0 } 定理1 若0<∠BAC<(或等于)360度,则尺规作图可得
! ~1 c* ~, c+ H, G$ Z+ k ∠BAG=1/3 ∠BAC
; u7 o. K& I$ m# w: G9 Q1 |* T% v; l 证明 以∠BAC一边AB为半径,以A点为圆心作弧BC,设弧BC为l_{1},∠BAC=N,则
! R3 | I0 P/ g' ~ 根据公式1 有
8 I7 X6 a0 b5 ^) M B# f# \( J l_{1}=(NAB\pi )/180) z! ?0 S9 t: ^. n9 F
设圆周长 l_{2}=l_{1},根据公式 2,有
: I6 H; T5 T5 q& V+ T+ N* ] 2r\pi=(NAB\pi )/180
0 K% \8 P1 k! Y0 J3 U3 x 所以圆半径
' d2 Q% ~( r* T8 @9 d4 H, C r=NAB/360,
3 t6 V) V, o! n 在AB的延长线上取点D,使
) f) d2 ?1 @0 `* h; p r=BD,, Q# N: l& E# d4 b
以点D为圆心,以r为半径,作圆D,用圆规三等分圆周,得三等分点B、E、F,圆D在弧BC上旋转,使点F与点G重合,点E与点H重合,点B与点I 重合,显然弧BG的长等于三分之一l_{1},连接AG所以( H8 m) F; k. N6 a! a' o. N
∠BAG=1/3 ∠BAC2 N( ?2 E5 T$ h
证毕.8 Z8 Y- p9 n1 l7 g& g$ H
例:∠BAC=60(度),尺规作图,使∠BAG=20(度).7 `! B0 C; O9 w" F( C# C. W
解 以∠BAC一边AB为半径,以A点为圆心作弧BC,设弧BC为l_{1},∠BAC=60(度),- y# r7 H. b9 b ?4 Y
根据公式1 有4 N+ v1 j% i _3 y
l_{1}=(60AB\pi )/1801 o0 a$ |0 R) m. N2 p( l: ^; N3 q
设圆周长 l_{2}=l_{1},根据公式 2,有' r) g7 z6 {+ v6 a( `; n# k: d
2r\pi=(60AB\pi )/180( }/ }* e- Q+ e4 [1 @5 r- ]
所以圆半径
% ]1 d# A0 Z5 Q% N r=AB/6,
! q# [' T% {1 i1 ^ 在AB的延长线上取点D,使
, K1 z2 C; s0 U7 ]1 V BD=AB/6& V; e/ [' S/ G' M/ y, q
以点D为圆心,以AB/6为半径,作圆D,用圆规三等分圆周,得三等分点B、E、F,圆D在弧BC上旋转,使点F与点G重合,点E与点H重合,点B与点I 重合,显然弧BG的长等于三分之一l_{1},连接AG.所以
% z: |4 D- T: @. r ∠BAG=20(度).8 L i, Z& w' u, K$ R4 y: K# ]
(附图)
zan