tan゜1は有理数か? ぐらいの短い文章問題にしろ