探索平面几何中最优雅的定理之一，深入理解拿破仑定理的核心逻辑与旋转法证明的精妙之处。
以任意三角形的三条边为边长，分别向外（或向内）作三个等边三角形，则这三个等边三角形的中心构成一个新的等边三角形。
本页面重点解析旋转法证明。通过构造全等三角形和利用60度旋转对称性，巧妙地将分散的几何元素联系起来，是解决此类问题的经典范式。
不仅限于证明，我们将探讨拿破仑三角形的面积公式、逆定理、以及与费马点、重心等经典几何点的深刻联系。
在数学竞赛和高等几何研究中，拿破仑定理的证明方法多种多样，包括复数法、向量法、解析几何法等。然而，旋转法证明因其直观、简洁且富有几何美感，成为最受推崇的证明方式之一。以下我们将分步骤详细拆解这一过程。
设 △ABC 为任意三角形。我们在其三边 BC、CA、AB 上分别向外作等边三角形 △BCA'、△CAB'、△ABC'。
设 O1、O2、O3 分别为这三个等边三角形的中心（即外心、内心、重心重合点）。我们的目标是证明 △O1O2O3 是等边三角形。
观察图形，我们注意到 △ABC' 和 △BCA' 都涉及到顶点 B 和 C 附近的结构。然而，直接证明 O1O2 = O2O3 比较困难。我们需要寻找一个旋转中心，使得某条线段旋转后能与另一条线段重合或建立联系。
考虑围绕顶点 C 进行旋转。由于 △CAB' 是等边三角形，CA = CB' 且 ∠ACB' = 60°。同样，△BCA' 是等边三角形，CB = CA' 且 ∠BCA' = 60°。
让我们关注 △O1CO3 和 △O2CO'? 这种思路可能较为复杂。更经典的旋转法证明如下：
步骤一： 连接 O1B、O1C、O2C、O2A、O3A、O3B。
步骤二： 考虑 △O1BC 和 △O3BA 的关系？不，让我们尝试证明 △O1O2C ≅ △O3O2A 类似的三角形。
实际上，最优雅的旋转证明通常涉及以下辅助线构造：
O1 与 B，O1 与 C。由于 O1 是等边 △BCA' 的中心，∠BO1C = 120°，∠O1CB = 30°，∠O1BC = 30°。O2 是等边 △CAB' 的中心，∠CO2A = 120°，∠O2AC = 30°，∠O2CA = 30°。O3 是等边 △ABC' 的中心，∠AO3B = 120°，∠O3BA = 30°，∠O3AB = 30°。现在，我们考察 △O1CO2 和 △O3CA？不，让我们看 △O1BC 和 △O2AC 的某种变换。
让我们换一个角度，使用旋转法的标准流程：
考虑将 △O1BC 绕点 C 逆时针旋转 60°。
C 不动。B 旋转到哪里？由于 △CAB' 是等边三角形，CB 并不直接等于 CA 或 CB'。此路不通。修正的旋转法路径：
我们要证明 O1O2 = O2O3 = O3O1。这等价于证明 △O1O2C ≅ △O2O3A ≅ △O3O1B 吗？不一定全等，但边长相等。
让我们使用余弦定理结合旋转思想，或者寻找更直接的全等对。
考察 △O1BB' 和 △O3CC'？太复杂。
经典旋转证明：
连接 O1O2。在 △O1CO2 中，O1C = a / sqrt{3}，O2C = b / sqrt{3}（设 BC=a, AC=b）。
∠O1CO2 = ∠O1CB + ∠BCA + ∠ACO2 = 30° + C + 30° = 60° + C。
由余弦定理：
O1O2² = O1C² + O2C² - 2·O1C·O2C·cos(60°+C)
同理，计算 O2O3 和 O3O1。通过三角恒等变换，可以发现三者相等。
虽然代数法有效，但纯几何旋转法更受青睐。其核心在于构造一个旋转，将 O1 映射到 O2 的相对位置。
考虑 △O1BC 和 △O3BA。如果我们能证明存在一个旋转中心 P，使得 O1 旋转后对应 O2，O2 对应 O3，则结论得证。
| 三角形 | 中心 | 对边视角 | 角度特征 |
|---|---|---|---|
| △BCA' | O1 | BC | ∠BO1C = 120°, ∠O1CB = 30° |
| △CAB' | O2 | CA | ∠CO2A = 120°, ∠O2AC = 30° |
| △ABC' | O3 | AB | ∠AO3B = 120°, ∠O3BA = 30° |
旋转法证明的精髓在于识别出图形中的60度旋转对称性，并通过构造全等三角形或利用旋转不变性，将分散的中心点 O1, O2, O3 联系起来，证明它们构成的三角形三边相等。
除了基本的等边性质，拿破仑三角形还隐藏着许多有趣的几何关系。通过以下选项卡，您可以深入了解不同维度的性质。
设原三角形 △ABC 的面积为 S，外拿破仑三角形的面积为 S_out，内拿破仑三角形的面积为 S_in。则有如下美妙关系：
S_out - S_in = S
即：外拿破仑三角形的面积减去内拿破仑三角形的面积，等于原三角形的面积。这是一个非常直观且令人惊叹的结论。
外拿破仑三角形的中心、内拿破仑三角形的中心，以及原三角形 △ABC 的重心，这三点重合于同一点。这一点也被称为拿破仑点。
这一性质表明，拿破仑定理不仅关乎形状，还关乎位置的中心性，体现了几何结构的平衡美。
拿破仑定理的逆命题同样成立：如果以三角形各边为底，向内或向外作等腰三角形，其顶角为 20°（底角为 80°），且底边与原三角形边重合，若这三个等腰三角形的顶点构成等边三角形，则原三角形必为等边三角形吗？
更准确的逆定理是：若以 △ABC 三边为底向外作等腰三角形 △BCA'、△CAB'、△ABC'，且它们的顶角均为 120°（即底角 30°），若 A'B'C' 为等边三角形，则 △ABC 的重心与 A'B'C' 的中心重合。
尽管名为“拿破仑定理”，但该定理并非由拿破仑·波拿巴本人发现。以下是关于该定理历史发展的时间轴梳理。
英国数学家威廉·鲁克（William Rutherford）在《数学杂志》上首次发表了该定理。他将其作为一道谜题提出，邀请读者证明。
多位数学家给出了不同的证明方法。由于拿破仑对数学的兴趣（尽管史实存疑，但他确实受过良好教育），该定理被 erroneously 归名于他。
随着几何学的发展，拿破仑三角形的性质被进一步挖掘，包括其面积公式、与费马点的关系等。
在数学竞赛和几何研究中，拿破仑定理成为展示旋转法证明技巧的经典案例。计算机辅助证明也被用于验证其逆命题和其他变体。