设
证明：

【参考答案】

令



因为θ-tanθ＜0，

故f(θ)单调减，

当θ＞0时，有f(θ)＜f(0)=1；
当

因此有

即