莫雷角三分線定理

维基百科,自由的百科全书
跳转至: 导航搜索
Morley triangle.png

欧几里得幾何中,莫雷角三分線定理(Morley's theorem)說明對所有的三角形,其三個内角角三分線,靠近公共边三分線的三個交點,是一個等邊三角形。此定理由法蘭克·莫雷在1899年發現。对外角作外角三分線,也會有类似的性质,可以再作出4個等邊三角形。

此定理有趣的地方是我們沒辦法用尺規作圖作出其等邊三角形,因為已經證明出尺規做圖無法做出三等分角。

證明[编辑]

引理[编辑]

三倍角公式和差公式可得出:

\sin3\theta \equiv 4\sin\theta\sin(60^\circ+\theta)\sin(120^\circ+\theta)

引理證明[编辑]

\sin3\theta = 3\sin\theta-4\sin^3\theta
= \sin\theta(3-4\sin^2\theta)= \sin\theta(3\cos^2\theta-\sin^2\theta)
= \sin\theta(\sqrt{3}\cos\theta+\sin\theta)(\sqrt{3}\cos\theta-\sin\theta)
= 4\sin\theta(\tfrac{\sqrt{3}}{2}\cos\theta+\tfrac{1}{2}\sin\theta)(\tfrac{\sqrt{3}}{2}\cos\theta-\tfrac{1}{2}\sin\theta)
= 4\sin\theta\sin(60^\circ+\theta)\sin(120^\circ+\theta)
莫雷角三分線定理證明

定理證明[编辑]

\triangle ABC中:

\alpha\angle A的三等分角
\beta\angle B的三等分角
\gamma\angle C的三等分角

作6條角三分線分別為\overline{BX}\overline{XC}\overline{CY}\overline{YA}\overline{AZ}\overline{ZB},作DEF\overline{BC}上,且\overline{BC}\bot\overline{XD}\angle BXE = \angle CXF = 60^\circ

容易得出\alpha+\beta+\gamma = 60^\circ,由此等式還可以得出以下三式:

\angle BXC = 120^\circ+\alpha
\angle CYA = 120^\circ+\beta
\angle AZB = 120^\circ+\gamma

正弦定理可得出:

\sin (120^\circ+\beta) = \frac{\overline{AC}\sin \gamma}{\overline{AY}}
\sin (120^\circ+\gamma) = \frac{\overline{AB}\sin \beta}{\overline{AZ}}

從這裡可以得出\triangle XEF的三個內角,計算出\angle XEF\angle XFE正弦值:

\angle EXF = \alpha
\angle XEF = 60^\circ+\beta \Rightarrow \sin (60^\circ+\beta) = \tfrac{\overline{XD}}{\overline{XE}}
\angle XFE = 60^\circ+\gamma \Rightarrow \sin (60^\circ+\gamma) = \tfrac{\overline{XD}}{\overline{XF}}

我們知道:

\overline{AB}\sin 3\beta = \overline{AC}\sin 3\gamma

從引理我們可以得出:

\overline{AB}4\sin\beta\sin(60^\circ+\beta)\sin(120^\circ+\beta) = \overline{AC}4\sin\gamma\sin(60^\circ+\gamma)\sin(120^\circ+\gamma)
\overline{AB}4\sin\beta\frac{\overline{XD}}{\overline{XE}}\frac{\overline{AC}\sin \gamma}{\overline{AY}} = \overline{AC}4\sin\gamma\frac{\overline{XD}}{\overline{XF}}\frac{\overline{AB}\sin \beta}{\overline{AZ}}

化簡後得出:

\frac{\overline{XE}}{\overline{XF}} = \frac{\overline{AZ}}{\overline{AY}} \Rightarrow \triangle XEF \approx \triangle AZY

因為\triangle XEF\triangle AYZ相似,所以可得出:

\angle AZY = \angle XEF = 60^\circ+\beta
\angle AYZ = \angle XFE = 60^\circ+\gamma

同理可得出:

\angle BZX = 60^\circ+\alpha
\angle CYX = 60^\circ+\alpha

綜合以上結果,可得出\angle XZY = \angle XYZ = 60^\circ,因此\triangle XYZ是等邊三角形

推廣[编辑]

更一般的莫雷角三分線定理由Taylor和Marr於1914年發表,將6條角三分線順時鐘和逆時鐘旋轉120°,其交點共可得出27個不同的等邊三角形。

參見[编辑]

參考資料[编辑]