高中数学-不等式专题13.docVIP

不等式专题（tobeenough编译） 第 PAGE 4 页 4.2幂平均不等式 凹凸性是数学分析的重要概念之一，琴生不等式是不等式理论的最有力工具。本节，我们采用两种方法，用琴生不等式建立幂平均不等式。我们由两个简单的引理开始： 引理4.1：设为正实数，在实数空间定义函数： 其中：. 则. 证明：，则： 引理4.2：设为实数空间的连续函数，假设在区间单调递增，且在区间单调递增，则为实数空间单调递增。 证明：首先证明在区间单调递增。根据假设，对所有都有 那么，对所有，总有。因为在点连续，故： 同样，在区间单调递增，我们现在证明，为实数空间单调递增。 若，由假设我们得到结果。若，则. 定理4.1：（三变量的幂平均不等式）设为正实数，定义实数空间的函数： ，（） 则：为单调递增连续函数。 证明一：记，首先是连续的，在所有的空间连续。 这足以证明：. 设，其中： . 因为,引理4.2是指： 因为是连续函数，即： 现在，我们证明是单调递增函数。由引理4.2，足以证明在空间是单调递增的，在空间也是单调递增的。 我们首先证明在空间是单调递增的。 设，我们要证明： = 1 \* GB3 ① 即证明在空间单调递增。 作换元：设，，，代入 = 1 \* GB3 ①式得： = 2 \* GB3 ② 因为三个变量地位均等，所以我们将之标准化为：，代入 = 2 \* GB3 ②式