17/09/20 14:48:00.57 jgmli1ek.net
>>493
は加法定理で（1-tanαtanβ）が０になってはまずいので
０度以上９０未満の範囲内に限定しないといけないな。
tan()の加法定理
tan（α+β）=（tanα+tanβ）/（1-tanαtanβ）
により
もしtan（α）が有理数で、かつ 0 <= nα < 90なら
tan（nα） (n = 1,2,3,4・・・)
も全て有理数
このため
整数 n ( 0 <= n < 90 ) により
tan（n）が無理数なら
nの約数全てによるtan()が無理数
ここで
tan(60)＝√３
が無理数なのは簡単に証明されるため、
tan(1)
も無理数