设a1，a2，a3，…，an（n∈N*）都是正数，且a1a2a3•…an=1，试用数学归纳法证明：a1+a2+a3+…+an≥n．

题目

设a₁，a₂，a₃，…，a_n（n∈N^*）都是正数，且a₁a₂a_3^•…a_n⁼¹，试用数学归纳法证明：a₁+a₂+a_3⁺…+a_n≥n．

答案

证明：①当n=1时，不等式成立
②假设当n=k-1时成立，则当n=k时，考虑等式a₁a₂a_3^•…•a_k=1
若a₁，a₂，a₃，…，a_k相同，则都为1，不等式得证
若a₁，a₂，a₃，…，a_k不全相同，则a₁，a₂，a₃，…，a_k的最大数和最小数不是同一个数
不妨令a₁为a₁，a₂，a₃，…，a_k的最大数，a₂为a₁，a₂，a₃，…，a_k的最小数．
则∵a₁a₂a_3^•…•a_k=1，∴最大数a₁≥1，最小数a₂≤1
现将a₁a₂看成一个数，利用归纳假设，有a₁a₂+a₃+…+a_k≥k-1…（1）
由于a₁≥1，a₂≤1，所以（a₁-1）（a₂-1）≤0
所以a₁a₂≤a₁+a₂-1…（2）
将（2）代入（1），得
（a₁+a₂-1）+a₃+…+a_k≥k-1，即a₁+a₂+a₃+…+a_k≥k
∴当n=k时，结论正确
综上可知，a₁+a₂+a₃+…+a_n≥n．