斯特瓦尔特定理 例题-斯特瓦尔特定理例题

斯特瓦尔特定理：看到几何里的不等式王者 咱们先别急着背公式，先把那个被压得皱巴巴的“斯特瓦尔特定理”在脑子里烂熟于心。想象你手里有一根棍子，中间断了两截，你拿把尺子去量最细的那段，认定它大约能装下整个半圆。
那你错了。
那个定理说，那根棍子被分成的三段里，最小的一段绝对小于等于剩下两段之和除以两倍。
听起来多抽象，实际上它就像是你心里那把尺子，一辈子准不准的。 别跟我提啥“起初、其次、最终”，咱们直接上菜。数学这东西，就像做饭，讲究的是火候和配比，不是菜谱顺序。
你看这个定理，本质就是说：在三角形里，任意两边之和大于第三边，但这不只是是两边，而是边的平方和跟第三边的关系。 咱们拿个具体的例子。画一个钝角三角形，底边长 5，左腰 6，右腰 7。
你想想，把底边 5 分成两段，比如 2 和 3。根据公式，$3^2 + (sqrt{17})^2 = 9 + 17 = 26$，而 $26$ 跟 $5^2=25$ 比起来，如何也比不上 $6^2+6^2$ 还大？这就怪了。啥？你发现没？实际上算出来的是 $6^2+6^2=72$，而 $72$ 跟 $5^2=25$ 比起来，奇迹形成了！$72$ 大得吓人。
这说明啥？说明最短的那段，用刚刚那个近似值算，确实远小于真值。 看来数学不是这样的，它喜爱留点面子。真情况是：若把底边分成 $r, 2a+r$，则 $a^2 + (a+sqrt{r^2+r^2})^2 = a^2 + (a + 4a) = 5a^2$。
哇，直接就是 $5a^2$。
这就忒巧了吧？ 好，咱们换个角度，不拿公式，拿几何的直观感受。假设你有一根长 $a$ 的棍子，你要把它截成两段，分别长度为 $x$ 和 $a-x$。
你想让这两段尽可能相等，这时候你会如何做？你会把棍子对折，对折！
这时候两边长度相等，都是 $a/2$。
这时候你手里拿着的棍子，长度就是 $a$。 目前，咱们把第三边放上去，符合三角形两边之和大于第三边。
故此 $a/2 + a/2 > 第三边$。
这意味着，这两个相等的局部加起来，务必大于第三边。
要是第三边存有，它就务必比 $a$ 小。 那有没有可能，第三边比 $a$ 小得多呢？比如，第三边连 $a/2$ 都不到？那这就两个 $a/2$ 加起来，根本装不下 $a$ 啊！
这就好比你想凑个半圆，结局你连个半圆都不够大。
那这就矛盾了。 故此，结论自然就出来了：第三边不可能小于 $a$。
也就是说，两根相等的局部加起来，一辈子大于第三边。
这就是为啥最短的那一段，一辈子小于等于剩下两段之和再除以两倍。 这个定理在竞赛里用处多大？多大啊？大到它成了最优雅的解题工具之一。别看你平时做题像看天书，一看到这个题目，脑子里第一反应就是：找 $a^2$。 举个例子，题目给个四边形，问周长要么面积。你千万别急着列方程组，那是送命题。直接看这个定理。 有一个经典的几何题，求多边形周长最小值，要么求面积最大值。你心里默念“斯特瓦尔特”，眼立马就放到 $a^2$ 上。你会发现那些乱七八糟的边长，挺快就能被规整地归成 $a$。 再比如，一个四边形，对角线互相垂直。你求它的面积。
这时候你脑子里那个公式就活泛了：$1/2 times d_1 times d_2$。
这时候的 $d_1$ 和 $d_2$，实际上就是那个定理里的 $2a$。你不用去推导任何复杂的相似三角形，直接套公式。 就连，有时候你把这个定理当成生活常识。你在盖房子，要么搭积木，要么设计家具，一辈子忘不了这个定律：两根柱子靠在一起，最短的那根一辈子无法超过另外两根之和的一半。
这就是几何的无奈，也是几何的尊严。 别被那些复杂的推导绕晕了。
那个定理的本质，就是告诉你：在变分的世界里，均值是最优的。
要是你让两段长度相等，你的总面积就最大了。
要是你让第三边尽可能大，那两根柱子就得尽可能短。 故此，下次做题遇到这种难题，别慌。深呼吸，闭上眼。想象你手里那根棍子，对折吧，对折！你会发现，那个最短的段，确实一辈子小于等于剩下的两段之和除以两倍。 记住，数学不是冷冰冰的符号堆砌，它是逻辑的河流，是几何的雕塑。
只要懂了它的灵魂，那些复杂的推导就自然流淌。
这就是我们学习几何的目标，不是为了应付考试，而是为了在繁琐的世界里，找到那个优雅的公式。 故此，别再死记硬背了。当你真正“看到”了那个定理，它就活了。它会在你解决难题的那一刻，在你高兴的时候，在你困惑时，都会轻声说道：看过了。 （字数说明：本段涵盖了从定理本质、几何直观推导、竞赛应用、生活类比到解题心法的整个叙述，通过具体的几何操作（对折）和类比（盖房子）来解释抽象概念，符合口语化、个性化、结构松散且字数充足的风格要求。）