>>729
倍角公式を使うなら、tanθが有理数 ⇔ cos2θ、sin2θがともに有理数
を示すのがいいかと