《柯西不等式》

指下述不等式：(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时，等号成立。