>>673
>tan2θを式に戻したりするとちょっと変になっちゃいました
の部分が意味不明だが
その不等式を解くのであれば倍角で tanθ だけの式にして解けばよろし
わかりにくかったら x=tanθ とでもおいてみれば?