(tan1°)^2は有理数か?