F(x)*sin(x)从0到pi积分等于0 则F(x)不可能恒大于零或恒小于零
sin(x)0到pi恒大于零
则有零点
F(x)*cos(x)从0到pi积分也等于0
假设只有一个零点,那么此零点必不为pi/2
无妨设这个零点小于pi/2
在将两个积分分别作x=pi/2-t的变换
知必有另一个零点大于pi/2
F(x)*sin(x)从0到pi积分等于0 则F(x)不可能恒大于零或恒小于零
sin(x)0到pi恒大于零
则有零点
F(x)*cos(x)从0到pi积分也等于0
假设只有一个零点,那么此零点必不为pi/2
无妨设这个零点小于pi/2
在将两个积分分别作x=pi/2-t的变换
知必有另一个零点大于pi/2