>>79　ってか、同期かよ。

tan1゜が有理数であると仮定する。
正接の倍角の公式より、tan2θ={2tanθ}/｛1-(tanθ)^2｝
より、tanθが有理数⇒tan2θが有理数。
よって、tan1゜が有理数なので、tan2°及びtan32°が有理数となる。
正接の加法定理より、tan32°=(tan2°+tan30°)/(1-(tan2°)*(tan30°))
ところが、tan30°=1/√3 より、これは、tan32°が有理数であることに矛盾。
したがって、背理法により、tan1°は無理数である。