查看“︁外森比克不等式”︁的源代码

{{Unreferenced|time=2014-11-15T01:35:12+00:00}}
'''外森比克不等式'''（{{lang|en|Weitzenböck's inequality}}）是有关三角形边长和面积的一个不等式。設[[三角形]]的邊長為<math>a,b,c</math>，[[面積]]為<math>A</math>，則外森比克不等式声称<math>a^2+b^2+c^2 \ge 4 \sqrt{3} A</math>成立。若且唯若三角形為[[等邊三角形]]，等號成立。[[佩多不等式]]是外森比克不等式的推广。

在1961年[[国际奥林匹克数学竞赛]]中，此题曾被拿來要求学生证明。

==证明一==
除了“所有平方数非负”以外，这个证明不用到其它任何不等式。

: <math>
\begin{align}
{} & (a^2 - b^2)^2 + (b^2 - c^2)^2 + (c^2 - a^2)^2 \geq 0 \\
{} \iff & 2(a^4+b^4+c^4) - 2(a^2 b^2+a^2c^2+b^2c^2) \geq 0 \\
{} \iff & \frac{4(a^4+b^4+c^4)}{3} \geq \frac{4(a^2 b^2+a^2c^2+b^2c^2)}{3} \\
{} \iff & \frac{(a^4+b^4+c^4) + 2(a^2 b^2+a^2c^2+b^2c^2)}{3} \geq 2(a^2 b^2+a^2c^2+b^2c^2)-(a^4+b^4+c^4) \\
{} \iff & \frac{(a^2 + b^2 + c^2)^2}{3} \geq (4A)^2,
\end{align}
</math>

两边取平方根，即得证。

==证明二==
这个证明用到了[[排序不等式]]和[[算术-几何平均值不等式]]。

: <math>
\begin{align}
& & a^2 + b^2 + c^2 & \geq & & ab+bc+ca \\
\iff & & 3(a^2 + b^2 + c^2) & \geq & & (a + b + c)^2 \\
\iff & & a^2 + b^2 + c^2 & \geq & & \sqrt{3 (a+b+c)\left(\frac{a+b+c}{3}\right)^3} \\
\iff & & a^2 + b^2 + c^2 & \geq & & \sqrt{3 (a+b+c)(-a+b+c)(a-b+c)(a+b-c)} \\
\iff & & a^2 + b^2 + c^2 & \geq & & 4 \sqrt3 A.
\end{align}
</math>

==证明三==
内[[拿破仑三角形]]的面积的平方的6倍等于不等式左边减去右边，显然面积平方不小于 0，从而不等式成立。

[[Category:几何不等式]]
[[Category:三角形几何]]