それは>>681にあるじゃん。tan1 (1はラジアン)は有理数か?