- 642 名前：１３２人目の素数さん mailto:sage [2020/09/15(火) 23:41:30.68 ID:fRXUQm28.net]
- >>615
点対称の対称の中心のひとつOとして、Oに対するπ回転をgとしてgは対称軸全体の集合に自然に作用する
gとOを対称軸が通る線対称の生成する群をGとする
Gに属さない対称変換はgが自由に作用しているのでその個数は偶数であるので無視して良い。
この設定で問題は
「図形FはOに対する点対象でり、Oを通る対称軸がちょうどn本のとき、nは偶数であるか」
に還元される
対称軸はarg=πk/n (k∈Z)として良い
領域Dkを{p | (k)/nπ< arg p < (k+1)π/n}とする
D0は一回の対称移動でDnに移されるが向きは保たれる
一方でD0をn回の対称移動でDnに移されるが、nが奇数であると向きが反対になる
この二つが一致するならD0に含まれる部分はarg = π/(2n)についても対称になることになり矛盾
よってnは偶数でなければならない
