|
kuing
Post time 2014-9-15 15:58
下面证明当 $x\in(0,\pi/2)$ 时 $x\cos x<\sin45\du$。
设 $f(x)=x\cos x$, $x\in(0,\pi/2)$,求导得 $f'(x)=\cos x-x\sin x$,故易见 $f(x)$ 先增后减,取最大值时 $x=x_0$ 满足 $x_0=\cot x_0$。
由 $\cot x_0=x_0<\tan x_0 \riff \tan x_0>1 \riff x_0>45\du$,故此
\[f(x)_{\max}=f(x_0)=x_0\cos x_0=\cot x_0\cos x_0=\frac{1-\sin^2x_0}{\sin x_0}<\frac{1-\sin^245\du}{\sin45\du}=\sin45\du,\]
即得 $x\cos x<\sin45\du$。
由此即有 $\sin y=x\cos x<\sin45\du \riff y<45\du$。 |
|