>>26
それはtan(n)°が常に有理数ではない、という証明だと思うが・・・。
tan45°=1のときは?