- 611 名前：１３２人目の素数さん mailto:sage [2020/02/28(金) 10:52:23 ID:TIr8ReLJ.net]
- >>580
正解です。
中々面白い解答で素晴らしい。
想定の解答は
(tan(mπ/n))^2 が有理数でm,nが違いに素ならQ(tan(π/n))はQの2次拡大なのでこのようなnを決定すればよい。
cos(2π/n)∈Q(tan(π/n)、[Q(cos(π/2):Q]=φ(n)/2 (n≧3) なのでφ(n)≦4が必要。
よってn=1,2,3,4,5,6,8,10,12が必要。
以下ry
でした。
