用数学归纳法证明：（a12+a22+…+an2）（b12+b22+…+bn2）≥（a1b1+a2b2+…+anbn）2，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^*．