1. No category

(1) tanθ が有理数ならば, cos 2θ も有理数であることを示せ。