>>567
tan1°が有理数であるならばtan30°も有理数で矛盾