tan1°は有理数か?