Cauchy—Schwarz不等式是一个十分常见的不等式,它的定义是:若x,y为内积空间的元素,则有
进入初等微积分领域便有了积分形式的:若f(x),g(x)在[a,b]上连续,则
当然,Cauchy—Schwarz不等式还有概率论形式等其他许多种,但殊途同归。本文暂讨论式
法1.定积分定义法
根据定积分的定义:将[a,b]分等为n个小区间,当n
于是,利用式(1),并将
根据极限的保不等式性,有
法2.构造变上限积分函数
令
对于积分变量t,x与t无关,故:
法3.构造二次函数
与式(1)相同,式(2)也可以看作是是某个二次函数的判别式
令
当且仅当f(x)与g(x)线性相关时,等号成立。
法4.二重积分法
引理:在矩形区域D:
引理证明较简单,不做赘述。
于是取正方形区域D:[a,b]
显然,如果上式中右端交换x和y,依然与左端相等,于是右端可以变形为:
再运用引理处理右端:
当且仅当对区域D内的x,y都有f(x)g(y)=f(y)g(x),即f(x),g(x)成比例时,等号成立。