Question

用数学归纳法证明：（a₁²+a₂²+…+a_n²）（b₁²+b₂²+…+b_n²）≥（a₁b₁+a₂b₂+…+a_nb_n）²，n∈N^*．

Answer 1

考点：数学归纳法

专题：证明题,不等式的解法及应用

分析：验证n=1、2时，不等式成立，假设（a₁²+a₂²+…+a_n-1²）（b₁²+b₂²+…+b_n-1²）≥（a₁b₁+a₂b₂+…+a_n-1b_n-1）²成立，证明（a₁²+a₂²+…+a_n²）（b₁²+b₂²+…+b_n²）≥（a₁b₁+a₂b₂+…+a_nb_n）²，n∈N^*．成立．

解答： 证明：①当n=1时，a₁²b₁²≥（a₁b₁）²显然成立；
②当n=2时，（a₁²+a₂²）（b₁²+b₂²）=a₁²b₁²+a₂²b₂²+a₂²b₁²+a₁²b₂²≥a₁²b₁²+a₂²b₂²+2a₂b₁a₁b₂=（a₁b₁+a₂b₂）²；
③假设（a₁²+a₂²+…+a_n-1²）（b₁²+b₂²+…+b_n-1²）≥（a₁b₁+a₂b₂+…+a_n-1b_n-1）²成立，n∈N^*．
则（a₁²+a₂²+…+a_n²）（b₁²+b₂²+…+b_n²）
=[（a₁²+a₂²+…+a_n-1²）+a_n²][（b₁²+b₂²+…+b_n-1²）+b_n²]
=（a₁²+a₂²+…+a_n-1²）（b₁²+b₂²+…+b_n-1²）+（a₁²+a₂²+…+a_n-1²）b_n²+（b₁²+b₂²+…+b_n-1²）a_n²+a_n²b_n²
∵（a₁²+a₂²+…+a_n-1²）b_n²+（b₁²+b₂²+…+b_n-1²）a_n²
=a₁²b_n²+a₂²b_n²+…+a_n-1²b_n²+b₁²a_n²+b₂²a_n²+…+b_n-1²a_n²
=（a₁²b_n²+b₁²a_n²）+（a₂²b_n²+b₂²a_n²）+…+（a_n-1²b_n²+b_n-1²a_n²）
≥2a₁b_nb₁a_n+2a₂b_nb₂a_n+…+2a_n-1b_nb_n-1a_n
=2（a₁b₁+a₂b₂+…+a_n-1b_n-1）a_nb_n
则原式≥（a₁²+a₂²+…+a_n-1²）（b₁²+b₂²+…+b_n-1²）+2（a₁b₁+a₂b₂+…+a_n-1b_n-1）a_nb_n+a_n²b_n²
≥（a₁b₁+a₂b₂+…+a_n-1b_n-1）²+2（a₁b₁+a₂b₂+…+a_n-1b_n-1）a_nb_n+a_n²b_n²
=（a₁b₁+a₂b₂+…+a_nb_n）²．
即：（a₁²+a₂²+…+a_n²）（b₁²+b₂²+…+b_n²）≥（a₁b₁+a₂b₂+…+a_nb_n）²
所以，（a₁²+a₂²+…+a_n²）（b₁²+b₂²+…+b_n²）≥（a₁b₁+a₂b₂+…+a_nb_n）²，n∈N^*．

点评：数学归纳法首先要验证开始时成立，再通过假设前一个成立，推更多项成立的方法，化简非常重要．属于难题．