K:=Q(tan(2π/n))⊂Q(e^(2πi/n)) より K/Q はアーベル拡大であるから、
tan(2π/n)^k=p/q において k=2 とできなければならない。
あとは>>580と同じ…というのは飛ばし過ぎだろうか