不妨改写一下不等式的形式:
用数学归纳法证明:
时,等式显然成立;
假设 时,该不等式成立,则有
不妨令 ,不难看出 ;
则只需证明
两端平方后做差易得
即:
故,对 不等式:
成立,当且仅当 时取等。
Remark: 根据知取等条件为 ,即 ,与 的取值无关。