这篇文章探讨了数学中不等式的几何形态，通过圆形、半圆和三维容器等图形，直观展示了HM-AM-GM-QM不等式、平方和不等式以及Nesbitt不等式等数学原理，揭示了对称性在数学中的深层意义。

标题：不等式中的几何之美

引言

作者在浏览网页时偶然发现一张有趣的几何图（1985年加拿大纽芬兰纪念大学Roland H. Eddy绘制），激发了用几何图形直观展现代数不等式的灵感。在完成上一篇关于不等式的文章后，作者尝试通过圆、三角形、立方体等基础几何形状，为不等式赋予几何意义。部分动画是经典教学素材，部分则是原创构思，展现了数学的物理骨架之美。

核心不等式链：HM-AM-GM-QM

这是数学中最经典的不等式链，以三数为例：
调和平均数（HM）≤几何平均数（GM）≤算术平均数（AM）≤平方平均数（QM）
- HM（调和平均）：如往返速度问题中，平均速度为 ( \frac{2}{\frac{1}{v1}+\frac{1}{v2}} )。
- GM（几何平均）：适用于增长率计算，例如第一年投资增长100%，第二年亏损50%，实际平均增长率为 ( \sqrt{2 \times 0.5} -1 = 0\% )。
- AM（算术平均）：最基础的均值。
- QM（平方平均）：常见于工程领域，如欧洲电压的RMS值。

几何证明

1. 双圆模型

   • 大圆直径 ( a )，小圆直径 ( b )，两圆外切。通过勾股定理可证，两圆半径和 ( \frac{a+b}{2} )（AM）恒大于垂直投影距离 ( \sqrt{ab} )（GM），仅当 ( a=b ) 时相等。

2. 半圆模型

   • 直径 ( a+b )，任取一点分成长度为 ( a ) 和 ( b ) 的线段。垂直弦长 ( \sqrt{ab} )（GM）始终小于半径 ( \frac{a+b}{2} )（AM）。进一步构造直角三角形可导出QM和HM，形成完整不等式链：
     HM（投影线段）< GM（垂直弦）< AM（半径）< QM（斜边）

3. 容器类比（2D与3D）

   • 2D正方形：边长为 ( \frac{a+b}{2} )，面积恒大于同周长矩形面积 ( ab )，直观体现 ( \frac{a+b}{2} \geq \sqrt{ab} )。
   • 3D立方体：类似地，体积 ( \left(\frac{a+b+c}{3}\right)^3 \geq abc )，对称性（( a=b=c )）时取等。

平方和不等式

不等式 ( a^2 + b^2 + c^2 \geq ab + bc + ca ) 可通过几何拼接验证：
- 三个正方形面积总和 ( a^2 + b^2 + c^2 ) 恒大于其交错构成的三个矩形面积之和 ( ab + bc + ca )，当且仅当 ( a=b=c ) 时相等。

内斯比特不等式

内斯比特不等式 ( \frac{a}{b+c} + \frac{b}{c+a} + \frac{c}{a+b} \geq \frac{3}{2} ) 的几何化尝试：
- 基于维维亚尼定理，在等边三角形内任取一点，到三边的距离 ( x, y, z ) 满足 ( x+y+z = h )（高）。通过变量替换 ( a=y+z )、( b=x+z )、( c=x+y )，将不等式转化为距离函数形式，拖动点位置可观察最小值仅在中心取得。

结论

尽管复杂不等式难以完全几何化，但通过基础图形（如圆、三角形、立方体）的约束，我们能窥见数学的“物理本质”。对称性不仅是美学偏好，更是自然效率的体现——正如容器实验所示，对称形态（如正方形）总能最大化容积。这种几何直觉为抽象的代数真理提供了生动的具象诠释。

以下是评论内容的总结：

1. 数学趣闻与均值关系

   • 作者incognito124分享了一个关于几何-调和均值的数学游戏：通过反复计算HM和GM，最终会收敛到GM。
     引用："Every step brings the results together... sandwiching the value in the limit."
     引用："playing the game with AM and HM, the value they converge to is GM !!"
   • Sniffnoy补充指出这是广义幂均值不等式的特例，并附上维基百科链接。

2. 数学教育的中间地带

   • dhosek提到一些数学知识介于高中和大学水平之间，例如通过单位圆推导三角函数关系。
     引用："cos/sin, tan/cot and sec/csc all can be derived from right triangles on a unit circle."
     引用："I ended up missing/glossing over stuff... much to my detriment."

3. 动画与视觉呈现的争议

   • 部分用户对动画效果提出批评：foldU认为动画中应调整b的值而非圆的位置；StefanKarpinski希望增加暂停按钮以便理解；kwar13指出第一个图表中OP线长度变化与公式矛盾。
     引用："it should be varying the value of b, not the location of the circle."
     引用："The OP line is changing size as the circles move, yet (a-b)/2 is a constant."
   • delhanty则单纯表达了对内容发布的感谢。

4. 技术改进建议

   • StefanKarpinski建议增加动画控制功能以辅助理解。
     引用："A pause button would be greatly appreciated."

总结呈现了数学趣闻、教育讨论和视觉设计反馈三个主要维度，平衡了正反观点。