>>79
tan1゚が有理数だと仮定
→加法定理よりtan2゚も有理数
・・・(帰納的に)有理数になるtanが存在せず、矛盾