设g(x)=sinx-2x/pai
则g'(x)=cosx-2/pai.
根据函数单调性g(x)在(0,arccos(2/pai))单调递增,在(arccos(2/pai),pai/2)单调递减。
又可得g(0)=g(pai/2)=0
所以在(0,pai/2)上g(x)>0
f(x)>2x/pai
很简单。
构造函数 再利用单调性证明
令 y=sinx-2x/pi
y(0)=0
y'=cosx-2/pi [0,arccos(2/pi)] 单增
x=arccos(2/pi)时 y=max
[arccos(2/pi),pi/2] y 单减 y(pi/2)=0
故成立
打赏点吧...
当0