数学永恒定理/拿破仑定理

$\Delta LMN$ 是一个等边三角形

拿破仑定理指出，如果在一个三角形的边上构建等边三角形，无论是全部向外还是全部向内，连接这些等边三角形中心的直线本身会形成一个等边三角形。这意味着，对于一个三角形 $\Delta ABC$，如果在三角形的边上构建三个等边三角形，比如 $\Delta ACM$，$\Delta BCX$ 和 $\Delta ABZ$，无论是全部向外还是全部向内，连接三个三角形中心的三个直线，$ML$，$LN$ 和 $MN$ 会构成一个等边三角形 $LMN$.

证明

一个关于拿破仑定理的三角证明。

设 $\Delta ABC$ 为一个三角形。在此，我们构造了三个等边三角形，$\Delta BCE$, $\Delta ABD$ 和 $\Delta ACF$，三角形的重心分别为 $P$, $Q$ 和 $R$。这里，$AC=b$, $AB=c$, $BC=a$, $PQ=r$, $PR=q$ 和 $QR=p$。因此，三角形 $\Delta ABC$ 的面积 $T={\frac {1}{2}}bc\cdot \sin A$ $\Rightarrow bc\cdot \sin A=2T$

为了证明，我们将使用一个等边三角形，因为三个三角形相似（等边）。$\Delta ACF$ 的中线是 $AG=(m+k)$，其中 $AR=m$ 且 $RG=k$。 $AQ=n$，并且由于 $\Delta ACF$ 是一个等边三角形，$\angle AGC=90^{\circ }$。

这里，$m+k={\frac {b{\sqrt {3}}}{2}}$。由于三角形的重心将三角形的中线按 $1:2$ 的比例分割，因此 $m={\frac {2}{3}}\cdot {\frac {b{\sqrt {3}}}{2}}$ $={\frac {b}{\sqrt {3}}}$。类似地，$n={\frac {c}{\sqrt {3}}}$。

根据余弦定理，$a^{2}=b^{2}+c^{2}-2bc\cdot \cos A$（对于 $\Delta ABC$）以及对于 $\Delta AQR$，$p^{2}=m^{2}+n^{2}-2mn\cdot \cos(A+60^{\circ })$

$=({\frac {b}{\sqrt {3}}})^{2}+({\frac {c}{\sqrt {3}}})^{2}-2{\frac {b}{\sqrt {3}}}\cdot {\frac {c}{\sqrt {3}}}\cdot \cos(A+60^{\circ })$

$={\frac {b^{2}+c^{2}-2bc\cdot \cos(A+60^{\circ })}{3}}$

$={\frac {b^{2}+c^{2}-2bc(\cos A\cdot cos60^{\circ }-\sin A\cdot \sin 60^{\circ })}{3}}$

$={\frac {b^{2}+c^{2}-2bc(\cos A\cdot {\frac {1}{2}}-\sin A\cdot {\frac {\sqrt {3}}{2}})}{3}}$

$={\frac {b^{2}+c^{2}-bc(\cos A\cdot -\sin A\cdot {\sqrt {3}})}{3}}$

$={\frac {b^{2}+c^{2}-bc\cos A\cdot -2T{\sqrt {3}})}{3}}$

$={\frac {a^{2}+2bc\cos A-bc\cos A-2T{\sqrt {3}})}{3}}$ [根据三角形ABC的余弦定理]

$={\frac {a^{2}+bc\cos A-2T{\sqrt {3}})}{3}}$

$={\frac {a^{2}+{\frac {b^{2}+c^{2}-a^{2}}{2}}-2T{\sqrt {3}})}{3}}$

$={\frac {\frac {b^{2}+c^{2}+a^{2}-4T{\sqrt {3}}}{2}}{3}}$

因此，$p={\sqrt {{\frac {1}{6}}(a^{2}+b^{2}+c^{2}-4T{\sqrt {3}})}}$

同理，我们可以证明，$q={\sqrt {{\frac {1}{6}}(a^{2}+b^{2}+c^{2}-4T{\sqrt {3}})}}$ 和 $r={\sqrt {{\frac {1}{6}}(a^{2}+b^{2}+c^{2}-4T{\sqrt {3}})}}$。因此，$p=q=r$.

$\therefore \Delta PQR$ 是一个等边三角形。[证明完毕]