>>681
背理法ですぐ示せると思う。
tan1°
が有理数と仮定したら、加法定理で
tann°が有理数となってしまう。