指下述不等式：(a_1b_1+a_2b_2+…+a_nb_n)^2≤(a^2_1+a^2_2+…+a^2_n)·(b^2_1+b^2_2+…+b^2_n)，其中a_i、b_i(i＝1，2，…，n)可取一切實數，當且僅當a_1b_1＝a_2b_2＝…＝a_nb_n時，等號成立。