设
证明：

【参考答案】

令

因为θ-tanθ＜0，
故f(θ)单调减，
当θ＞0时，有f(θ)＜f(0)=1；
当
因此有
即