三元柯西不等式公式：lo=a+b+c。柯西不等式是由大数学家柯西(Cauchy)在研究数学分析中的“流数”问题时得到的。但从历史的角度讲，该不等式应称作Cauchy-Buniakowsky-Schwarz不等式。
一般地，用纯粹的大于号“>”、小于号“<”连接的不等式称为严格不等式，用不小于号（大于或等于号）“≥”、不大于号（小于或等于号）“≤”连接的不等式称为非严格不等式，或称广义不等式。总的来说，用不等号(<，>，≥，≤，≠)连接的式子叫做不等式。