>>171
tan1が有理数と仮定するとtan2も有理数
そしたら帰納的にtan30も有理数でこれは矛盾