>>673
与式
⇔2tanθ/(1-tan^2θ)≦tanθ
(1-tan^2θ)の符号で場合わけして二次不等式。