从基本不等式到多元加权均值，构建完整的数学不等式知识体系。深入解析几何平均数、算术平均数及其推广形式，助力学术研究与应试突破。
在数学分析、线性代数及概率论中，均值定理（Mean Value Theorem）通常指微积分中的中值定理，但在不等式理论及初等数学竞赛语境下，我们更常讨论的是均值不等式（Inequality of Arithmetic and Geometric Means），简称均值定理。
它揭示了有限个正数的算术平均数与几何平均数之间的大小关系。其核心思想在于：对于任意正实数序列，其算术平均数恒大于或等于其几何平均数，当且仅当所有变量相等时取等号。这一性质不仅是解决最值问题的有力工具，更是连接代数与几何的桥梁。
基础的二元均值定理 虽然简单，但在处理多元变量、加权变量或特定约束条件时显得力不从心。通过均值定理公式推广，我们可以：
这是均值定理最基础的形式，适用于两个正数。
取等条件：当且仅当 时，等号成立。
几何意义：半弦长不大于半径。在直角三角形中，斜边上的高是两直角边在斜边上射影的比例中项；半弦长不大于半径。
推广至三个正数，形式依然简洁优美。
对于 个正实数 ：
取等条件：当且仅当 时，等号成立。
证明思路：通常使用数学归纳法或向前向后归纳法（Cauchy证明法）进行推导。对于高考及竞赛而言，掌握其结构特征及应用场景比证明过程更为重要。
当各变量重要性不同时，需引入权重系数 。
其中 且 。
应用场景：
1. 计算混合溶液的平均浓度。
2. 金融领域计算加权平均收益率。
3. 解决变量系数不对称的不等式证明。
均值定理是幂平均不等式的特例。定义 个正数的 次幂平均为：
若 ，则 。
著名链式不等式：
即：调和平均 几何平均 算术平均 平方平均。
当变量系数不为1时，通过拆分项或添加系数，构造出和为定值或积为定值的形式。
例：求 的最小值。 解：。
利用代数恒等式，将复杂表达式转化为可直接应用均值定理的结构。
例：证明 。 解：。
引入新变量简化结构，特别是处理根式或高次幂时。
例：求 的最值。 解：令 ，则 。
在不等式证明中，适当放大或缩小某一项，以便使用均值定理。
例：证明 。 解：通过逐项放缩，利用均值不等式性质进行推导。
虽然欧几里得并未直接提出代数形式的均值不等式，但其几何作图中蕴含了算术平均与几何平均的几何关系，即半弦长不大于半径的直观体现。
随着微积分的诞生，数学家开始研究函数的极值问题，均值不等式作为工具之一，在优化问题中初露端倪。
奥古斯丁-路易·柯西（Augustin-Louis Cauchy）给出了均值不等式的一个著名证明——向前向后归纳法（Cauchy's Induction），这成为数学分析中的经典技巧。
随着实数理论的完善，均值不等式被推广到加权形式、幂平均形式，并成为赫尔德不等式、闵可夫斯基不等式等现代分析基石的特例。