あ、sin(π/n)∈Q となるのは n＝2 または n＝6 のときに限ることか。
>>621はこれを仮定している。高校数学だし、多分仮定していいのだろう。