刍议拿破三角形及其对应的三角恒等式.docVIP

刍议拿破仑三角形及其对应的三角恒等式 ——兼议“Napoleon定理的一个初等证明”的改进 缪选民 江苏省泰州市海陵区教育局教研室 225300 拿破仑在军事和政治上的才能是世人所公认的，然而他对几何学的浓厚兴趣和造诣却鲜为人知，其中“拿破仑三角形”就是典型的一例。 图1如图1 ，以△ABC的三边为边分别向形外作等边三角形，所作的三个三角形的中心分别为P、Q、R，则△PQR是一个等边三角形，它以“拿破仑三角形”而著称于几何学。 图1 它的证明有多种方法，其中，适合当前初中学生水平的一种纯 几何证法如下：如图1，连结AP、AR，因为P、R分别是等边 △ABD和等边△ACF的中心，所以， 而∠PAR=∠DAC=∠BAC+60°，所以△PAR∽△DAC，因此PR=DC； 同理PQ =DC，QR=BF；又△ADC≌△ABF（这是全等三角形的一道基本题），所以DC=BF，由此PR=PQ=QR，即△PQR是等边三角形。 图2拿破仑三角形分为“外拿破仑三角形”和“内拿破仑三角形”，上面所给出的是外拿破仑三角形的证明。如果以△ABC的三边为边分别向形内作三个等边三角形，（图2） 图2 则所作三个等边三角形的中心的连线也是等边三角形，它叫做“内拿破 仑三角形”，证明的方法与上面一样（上述证明中的字母顺序无须改动， 只是∠P’AR’=∠D’AC=60°-∠BAC），这里不再赘述。 有趣的是，拿破仑三角形对应着三角恒等式。如图1，记△ABC 的三个内角分别为A、B、C，它们所对的边依次为a、b、c，由前可知：AP=，AR=， 在△APR中由余弦定理得：+， 即3=； 同理：3=，3=， 又PR=PQ=QR，所以得到下列三角恒等式： 在△ABC中，= =。….....① ①式常作为三角中的恒等变形训练之用，上世纪80年代的课堂上经常见到它的踪影。当初，在三角学中，究竟如何想到这组恒等式，笔者无法考证，但由“外拿破仑三角形”而来肯定不失为一种途径。据此，由“内拿破仑三角形”（图2）同样可以得到另一组不多见的三角恒等式： 在△ABC中，= =,[注] ….....② 从形数结合的角度看，①、②分别寓意着“外拿破仑三角形”和“内拿破仑三角形”。它们的三角证法并不难，如果用表示△ABC面积的话，易得 == = ， 同理 == ， 因此①式成立；类似的方法也可以证明②式。 文[1]用较长篇幅证明了Napoleon定理，其实无须这么复杂。前面介绍的拿破仑三角形实际上证明了文[1]中所提到的“Napoleon定理”的前一部分，接着上面的思路，我们有： -=PR2-=+]－ +]=[] []=（） （） = ，从而有“外拿破仑三角形”与“内拿破仑三角形”面积之差等于原三角形的面积。 这里我们看到，平面几何与三角恒等式结合起来证明Napoleon定理是何等简单！最后，以H.G.弗德的话来结束本文：“谁看不起欧氏几何，谁就好比是从国外回来看不起自己的家乡”。 参考文献： [1] 刘运宜. Napoleon定理的一个初等证明. 数学通报,2009.1 [注] 由图2得到的恒等式实际上是= =