tan1は有理数か。 みたいなネットで有名な問題しか出さない