莫雷角三分线定理

在欧几里得几何中，莫雷角三分线定理（Morley's theorem）说明对所有的三角形，其三个内角作角三分线，靠近公共边三分线的三个交点，是一个等边三角形。此定理由法兰克·莫雷在1899年发现。对外角作外角三分线，也会有类似的性质，可以再作出4个等边三角形。

此定理没办法用尺规作图作出其等边三角形，因为已经证明出尺规作图无法作出三等分角。

证明

引理

由三倍角公式及和差公式可得出：

$\sin 3\theta \equiv 4\sin \theta \sin(60^{\circ }+\theta )\sin(120^{\circ }+\theta )$

引理证明

$\sin 3\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}}$，作$D$、$E$、$F$在${\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}}\sin \beta {\frac {\overline {XD}}{\overline {XE}}}{\frac {{\overline {AC}}\sin \gamma }{\overline {AY}}}={\overline {AC}}\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个不同的等边三角形。

参见

• 三等分角
• 三角恒等式

参考资料

• Johnson, R. A. Modern Geometry: An Elementary Treatise on the Geometry of the Triangle and the Circle. Boston, MA: Houghton Mifflin, pp. 253-256, 1929.
• Morley's Miracle — Several proofs of Morley's theorem （页面存档备份，存于互联网档案馆）
• Morleys Theorem （页面存档备份，存于互联网档案馆） MathWorld
• Morley's Trisection Theorem MathPages