柯西---许瓦兹不等式 http://www.cbe21.com/subject/maths/html/040401/2002_09/20020911_1793.html 切比雪夫不等式：若 a1 >= a2 >= ... >= an， b1 >= b2 >= ... >= bn 则：n*(a1b1 + a2b2 + ... + anbn) >= (a1+a2+...+an)(b1+b2+...+bn)
柯西不等式可以用于推导其它不等式、求极值、解方程等。发展简史 定理发展 该不等式最初于1821年被柯西提出，其积分形式在1859被布尼亚克夫斯基提出，证明由施瓦兹于1888年给出。因而该不等式经常被称为“柯西不等式”，也被称为柯西-布尼亚科夫斯基-施瓦茨不等式。该不等式可以推广到其它多种形式，并且可以应用于许多...