第一部分
发现不等式：从具体数字中看见规律
① 问题登场：三条边能"撑起"多大的面积？
给你三根棍子，长度分别是 $a$、$b$、$c$。把它们首尾相连拼成一个三角形。
这个三角形的面积 $S$ 由三边完全决定（海伦公式），但我们今天问一个不同的问题：
💡 核心问题
$a^2 + b^2 + c^2$（边长平方和）与面积 $S$ 之间，是否存在一个对一切三角形都成立的不等关系？
要回答这个问题，我们从一个最"公平"的三角形开始——等边三角形。
🤔 为什么从等边三角形入手？
等边三角形是"最对称"的三角形，任何对一切三角形成立的规律，在等边三角形上一定成立——而且往往是边界情况。先算出来，把它当作"基准线"。
② 探索：等边三角形——基准线的诞生
设等边三角形的边长为 $t$。
1
边长平方和：$a^2 + b^2 + c^2 = t^2 + t^2 + t^2 = 3t^2$
2
面积：等边三角形面积公式 $S = \frac{\sqrt{3}}{4}t^2$
3
计算 $4\sqrt{3}S$：$4\sqrt{3} \cdot \frac{\sqrt{3}}{4}t^2 = 3t^2$
等边三角形：三边相等，面积 $S = \frac{\sqrt{3}}{4}t^2$
$\underbrace{a^2 + b^2 + c^2}_{3t^2} \;=\; \underbrace{4\sqrt{3}S}_{3t^2}$
✅ 记下结果
对等边三角形，$a^2+b^2+c^2$ 和 $4\sqrt{3}S$ 恰好相等。这是巧合，还是某个更大规律的边界？
③ 发现一：不等式浮出水面
换个三角形试试——经典的 $3$-$4$-$5$ 直角三角形：
$3$-$4$-$5$ 直角三角形：面积 $S = \frac{1}{2} \cdot 3 \cdot 4 = 6$
1
$a^2+b^2+c^2 = 3^2 + 4^2 + 5^2 = 9 + 16 + 25 = \mathbf{50}$
2
$S = 6$，所以 $4\sqrt{3}S = 4\sqrt{3} \cdot 6 = 24\sqrt{3} \approx \mathbf{41.57}$
$\underbrace{50}_{a^2+b^2+c^2} \;>\; \underbrace{24\sqrt{3}}_{4\sqrt{3}S} \approx 41.57$
💡 规律浮现
等边三角形：相等；$3$-$4$-$5$ 三角形：左边更大。多试几个——左边从不小于右边！
用几组不同的三角形验证（所有边长构成合法三角形）：
| 边长 $(a,b,c)$ | $a^2+b^2+c^2$ | $4\sqrt{3}S$ | 比较 |
|---|---|---|---|
| $(1,1,1)$ | $3$ | $3$ | 相等 ✓ |
| $(3,4,5)$ | $50$ | $41.57$ | 大于 |
| $(5,5,6)$ | $86$ | $72.75$ | 大于 |
| $(2,3,4)$ | $29$ | $19.74$ | 大于 |
| $(7,8,9)$ | $194$ | $159.35$ | 大于 |
✅ 外森比克不等式（Weitzenböck, 1919）
对任意三角形，设三边为 $a,b,c$，面积为 $S$，则：
$a^2 + b^2 + c^2 \geq 4\sqrt{3}S$
等号成立当且仅当三角形为等边三角形。
$a^2 + b^2 + c^2 \geq 4\sqrt{3}S$
等号成立当且仅当三角形为等边三角形。
⚠️ 现在的问题是
表格里的数字只是"证据"，不是"证明"。我们需要一个对所有三角形都严格成立的几何证明。接下来，我们就用等边三角形面积构造来完成这件事。
第二部分
几何证明：用等边三角形面积"称量"原三角形
④ 发现二：翻译成"等边三角形面积"的语言
注意一个关键事实：
💡 关键事实
$\frac{\sqrt{3}}{4}a^2$ 恰好是边长为 $a$ 的等边三角形的面积。记作 $S_a$。
原不等式两边同乘 $\frac{\sqrt{3}}{4}$：
$\underbrace{\frac{\sqrt{3}}{4}a^2}_{S_a} + \underbrace{\frac{\sqrt{3}}{4}b^2}_{S_b} + \underbrace{\frac{\sqrt{3}}{4}c^2}_{S_c} \;\geq\; 3S$
不等式变成了一个纯粹的几何陈述：
💡 几何翻译
在三角形三条边上各自向外作等边三角形，它们的面积之和，至少是原三角形面积的 3 倍。
三个等边三角形：在 BC、CA、AB 上各自向外作等边三角形
蓝 Sa + 紫 Sb + 青 Sc ≥ 3 × 橙 S
蓝 Sa + 紫 Sb + 青 Sc ≥ 3 × 橙 S
现在，我们的任务变成了：证明 $S_a + S_b + S_c \geq 3S$。这看起来仍然不显然——三个"外围"的大等边三角形和里面那个小三角形有什么关系？
⚠️ 问题来了
我们需要找到一种方式，把原三角形 $S$ 和外围等边三角形联系起来。答案藏在一个神奇的点里。
⑤ 发现三：费马点——$120^\circ$ 的魔力
先假设三角形的每个内角都小于 $120^\circ$（钝角的情况稍后单独处理）。
💡 费马点（Fermat–Torricelli Point）
三角形内部存在唯一的点 $F$，使得 $F$ 到三个顶点的连线两两成 $120^\circ$：
$\angle AFB = \angle BFC = \angle CFA = 120^\circ$
$\angle AFB = \angle BFC = \angle CFA = 120^\circ$
费马点把三角形 $ABC$ 分成了三个小三角形：$\triangle BFC$、$\triangle CFA$、$\triangle AFB$。它们的面积加起来恰好是 $S$。
费马点 $F$：到三顶点的连线两两成 $120^\circ$，将三角形分成三块
✅ 记下关键关系
$\text{Area}(\triangle BFC) + \text{Area}(\triangle CFA) + \text{Area}(\triangle AFB) = S$
现在聚焦一个子三角形——$\triangle BFC$——看看它和等边三角形 $S_a$ 有什么联系。
⑥ 核心洞察：$S_a$ 与 $3 \cdot \text{Area}(\triangle BFC)$ 的比较
在 $\triangle BFC$ 中：
- 边 $BC = a$（原三角形的边）
- $\angle BFC = 120^\circ$（费马点的定义）
- $BF$ 和 $CF$ 是从 $F$ 到 $B$、$C$ 的距离
聚焦 $\triangle BFC$：比较蓝色等边三角形 $S_a$ 和橙色子三角形 Area(BFC)
从 $\triangle BFC$ 出发，两路并进：
A
子三角形面积（用 $BF, CF$ 和夹角 $120^\circ$）
$\text{Area}(\triangle BFC) = \frac{1}{2} \cdot BF \cdot CF \cdot \sin 120^\circ = \frac{\sqrt{3}}{4} \cdot BF \cdot CF$
$\text{Area}(\triangle BFC) = \frac{1}{2} \cdot BF \cdot CF \cdot \sin 120^\circ = \frac{\sqrt{3}}{4} \cdot BF \cdot CF$
B
等边三角形 $S_a$（用余弦定理展开 $a^2$）
在 $\triangle BFC$ 中，由余弦定理（$\cos 120^\circ = -\frac{1}{2}$）：
$a^2 = BF^2 + CF^2 - 2 \cdot BF \cdot CF \cdot \cos 120^\circ = BF^2 + CF^2 + BF \cdot CF$
所以 $S_a = \frac{\sqrt{3}}{4}a^2 = \frac{\sqrt{3}}{4}(BF^2 + CF^2 + BF \cdot CF)$
在 $\triangle BFC$ 中，由余弦定理（$\cos 120^\circ = -\frac{1}{2}$）：
$a^2 = BF^2 + CF^2 - 2 \cdot BF \cdot CF \cdot \cos 120^\circ = BF^2 + CF^2 + BF \cdot CF$
所以 $S_a = \frac{\sqrt{3}}{4}a^2 = \frac{\sqrt{3}}{4}(BF^2 + CF^2 + BF \cdot CF)$
💡 思路大转弯（关键）
别直接比较 $S_a$ 和 $\text{Area}(\triangle BFC)$——它们的量纲不同。我们要比较的是 $S_a$ 与 $3 \cdot \text{Area}(\triangle BFC)$。
⑦ 关键推导：$S_a - 3\cdot\text{Area}(\triangle BFC) = \frac{\sqrt{3}}{4}(BF - CF)^2$
把上面两个式子代入，做减法：
$S_a = \dfrac{\sqrt{3}}{4} \cdot \bigl(BF^2 + CF^2 + BF \cdot CF\bigr)$
$3 \cdot \text{Area}(\triangle BFC) = 3 \cdot \dfrac{\sqrt{3}}{4} \cdot BF \cdot CF = \dfrac{\sqrt{3}}{4} \cdot \bigl(3 \cdot BF \cdot CF\bigr)$
1
作差：
$S_a - 3\cdot\text{Area}(\triangle BFC) = \frac{\sqrt{3}}{4}\bigl[BF^2 + CF^2 + BF\cdot CF - 3\cdot BF\cdot CF\bigr]$
$S_a - 3\cdot\text{Area}(\triangle BFC) = \frac{\sqrt{3}}{4}\bigl[BF^2 + CF^2 + BF\cdot CF - 3\cdot BF\cdot CF\bigr]$
2
合并同类项：
$= \frac{\sqrt{3}}{4}\bigl[BF^2 + CF^2 - 2\cdot BF\cdot CF\bigr]$
$= \frac{\sqrt{3}}{4}\bigl[BF^2 + CF^2 - 2\cdot BF\cdot CF\bigr]$
3
识别完全平方：
$= \frac{\sqrt{3}}{4}(BF - CF)^2$
$= \frac{\sqrt{3}}{4}(BF - CF)^2$
$S_a - 3\cdot\text{Area}(\triangle BFC) = \dfrac{\sqrt{3}}{4}(BF - CF)^2 \;\geq\; 0$
✅ 第一个不等式
$S_a \;\geq\; 3 \cdot \text{Area}(\triangle BFC)$，等号成立 当且仅当 $BF = CF$。
🤔 为什么这是关键？
$\frac{\sqrt{3}}{4}(BF-CF)^2$ 是一个平方项——它永远非负，而且非负性的来源如此干净：完全平方公式。这意味着 $S_a$ 比 $3\cdot\text{Area}(\triangle BFC)$ 多出来的部分，恰好就是 $\frac{\sqrt{3}}{4}$ 乘以 $BF$ 和 $CF$ 的"不对称程度"的平方。$BF$、$CF$ 越接近，差值越小；当 $BF=CF$ 时，差值归零。
⑧ 三式相加——大功告成
对另外两个子三角形做完全相同的推导：
$S_b \;\geq\; 3 \cdot \text{Area}(\triangle CFA)$，等号当 $CF = AF$
$S_c \;\geq\; 3 \cdot \text{Area}(\triangle AFB)$，等号当 $AF = BF$
三式相加：每个不等式贡献一个 $3\times$子三角形面积，合起来 = $3S$
三个不等式相加，右边 $3\cdot[\text{Area}(BFC)+\text{Area}(CFA)+\text{Area}(AFB)] = 3S$：
$S_a + S_b + S_c \;\geq\; 3S$
代回 $S_a = \frac{\sqrt{3}}{4}a^2$、$S_b = \frac{\sqrt{3}}{4}b^2$、$S_c = \frac{\sqrt{3}}{4}c^2$：
$\dfrac{\sqrt{3}}{4}(a^2 + b^2 + c^2) \;\geq\; 3S$
两边同乘 $\frac{4}{\sqrt{3}}$：
$\large a^2 + b^2 + c^2 \;\geq\; 4\sqrt{3}\,S \qquad \blacksquare$
✅ 证明完成
我们从费马点出发，通过三个独立的"子三角形 vs 等边三角形"比较，最后三式相加——干净利落地得到了外森比克不等式。
⑨ 等号条件——为什么只有等边三角形能取等？
回头看三个不等式的等号条件：
$S_a = 3\cdot\text{Area}(\triangle BFC) \iff BF = CF$
$S_b = 3\cdot\text{Area}(\triangle CFA) \iff CF = AF$
$S_c = 3\cdot\text{Area}(\triangle AFB) \iff AF = BF$
三个不等式同时取等号，当且仅当：
$BF = CF = AF$
$F$ 到三个顶点的距离相等——这意味着 $F$ 既是外心（到三顶点等距），又是费马点（角度均为 $120^\circ$）。一个三角形的外心和费马点重合，只有一种可能：
✅ 结论
外森比克不等式取等号 $\iff$ 三角形是等边三角形。
这与我们在一开始的"基准线"完全一致——等边三角形做了一次完美的"预言"。
这与我们在一开始的"基准线"完全一致——等边三角形做了一次完美的"预言"。
从图形上看也很有美感：当三角形是等边的，费马点 = 中心 = 重心 = 内心 = 外心，一切都重合到了一起。两个"不对称"度量——$(BF-CF)^2$、$(CF-AF)^2$、$(AF-BF)^2$——全部归零。
第三部分
延伸与回顾：探索、推广、全篇地图
⑩ 探索计算器：亲手验证不等式
调节滑块改变三边长度，观察 $a^2+b^2+c^2$ 与 $4\sqrt{3}S$ 之间的差距。差距永远非负——试试看能不能让它变成零。
⚠️ 注意钝角三角形
上面的证明假设每个角都小于 $120^\circ$。当一个角 $\geq 120^\circ$ 时，费马点退化到该钝角顶点。此时对应的一项比较退化为平凡不等式，而另外两项比较变得更"宽松"，总和不等式仍然严格成立。所以外森比克不等式对一切三角形无例外成立。
⑪ 推广与彩蛋：Hadwiger–Finsler 不等式
外森比克不等式有一个更强的版本——Hadwiger–Finsler 不等式（1937）：
$a^2 + b^2 + c^2 \;\geq\; 4\sqrt{3}S + (a-b)^2 + (b-c)^2 + (c-a)^2$
🤔 为什么说它"更强"？
Hadwiger–Finsler 的右边比 Weitzenböck 多了三项平方和 $(a-b)^2+(b-c)^2+(c-a)^2$，这些平方项永远 $\geq 0$。所以 Hadwiger–Finsler $\implies$ Weitzenböck。等号条件相同——等边三角形。
回顾我们的证明，从 $\frac{\sqrt{3}}{4}(BF-CF)^2$ 这个平方项就能看到 Hadwiger–Finsler 的影子：如果把三个平方项全部保留而非简单地"只证非负"，就能推出更强的形式。
外森比克不等式还在以下领域出现：
- 优化问题：给定周长，等边三角形面积最大（等周不等式的三角形特例）
- 刚体力学：三角形框架的刚度下界
- 组合几何：离散点集的能量最小化
💡 彩蛋
外森比克不等式可以看作二维 等周不等式 的一个离散版本：在固定"边长平方和"（类似于边界"能量"）的情况下，等边三角形最大化面积——正如圆在固定周长下最大化面积一样。等边三角形是"多边形世界里的圆"。
⑫ 全篇地图：从等边三角形到一般证明
回顾整个推导链。这个不等式看似简单，背后的证明却串联了多个几何概念：
① 等边三角形
发现等号情况：$a^2+b^2+c^2 = 4\sqrt{3}S$
发现等号情况：$a^2+b^2+c^2 = 4\sqrt{3}S$
② 非等边三角形验证
计算特例：不等式严格成立
计算特例：不等式严格成立
③ 翻译：$S_a + S_b + S_c \geq 3S$
$\frac{\sqrt{3}}{4}a^2$ = 边长 $a$ 的等边三角形面积
$\frac{\sqrt{3}}{4}a^2$ = 边长 $a$ 的等边三角形面积
④ 费马点 $F$（$120^\circ$ 连接）
分成三个子三角形 $\triangle BFC, \triangle CFA, \triangle AFB$
分成三个子三角形 $\triangle BFC, \triangle CFA, \triangle AFB$
⑤ 核心不等式：$S_a \geq 3\cdot\text{Area}(\triangle BFC)$
$S_a - 3\text{Area}(BFC) = \frac{\sqrt{3}}{4}(BF-CF)^2 \geq 0$
$S_a - 3\text{Area}(BFC) = \frac{\sqrt{3}}{4}(BF-CF)^2 \geq 0$
⑥ 三式相加 $\implies$ 外森比克不等式
$a^2+b^2+c^2 \geq 4\sqrt{3}S$，等号 $\iff$ 等边三角形
$a^2+b^2+c^2 \geq 4\sqrt{3}S$，等号 $\iff$ 等边三角形
✅ 你现在已经能……
- 陈述外森比克不等式并说出等号条件
- 把不等式翻译成"三个等边三角形面积 $\geq 3\times$ 原面积"的几何语言
- 利用费马点的 $120^\circ$ 性质，从完全平方公式推导出核心不等式
- 通过三式相加完成证明
- 把它推广到 Hadwiger–Finsler 不等式的方向