证明正n边形存在2n个不同对称性及相关元素集合验证

没问题，我来一步步帮你理清这两个证明，搞懂正n边形的对称性和二面体群的核心关系：

1. 证明正n边形存在2n个不同的对称性 #

我们可以把正n边形的对称性分成两类，分别计数再验证它们的唯一性：

• 旋转对称：绕正n边形的中心旋转 ( k \times \frac{360^\circ}{n} )（其中 ( k = 0, 1, ..., n-1 )）。这里k=0对应恒等变换（不旋转），每个不同的k对应不同的旋转效果——因为如果 ( k_1 \neq k_2 \mod n )，旋转后的顶点位置不会完全重合，所以这部分一共有n个不同的对称性。
• 反射对称：正n边形有n条对称轴。如果n是奇数，每条对称轴恰好经过一个顶点和对边的中点；如果n是偶数，一半对称轴经过对顶点，另一半经过对边中点。每个反射都会反转顶点的循环顺序（比如原本顶点1→2→3…变成1→n→n-1…），和旋转的保向性质完全不同，所以这n个反射和之前的n个旋转没有重复，是全新的对称性。

把两类加起来，正好是 ( n + n = 2n ) 个不同的对称性。

2. 证明集合 ( {1, r, r^2, …, r^{n-1}, t, tr, tr^2, …, tr^{n-1}} ) 包含正n边形的2n个不同对称性 #

先明确集合里每个元素的含义：

• ( 1 )：代表恒等变换（旋转0度，不改变任何顶点位置）；
• ( r )：代表绕中心旋转 ( \frac{360^\circ}{n} ) 的基本旋转操作，( r^k ) 就是连续做k次这个基本旋转，对应旋转 ( k \times \frac{360^\circ}{n} )——这部分就是我们刚才说的n个旋转对称，而且彼此不同（理由和第一部分一致）；
• ( t )：代表某个固定的反射操作（比如经过顶点1和中心的对称轴的反射）；
• ( tr^k )：代表先做k次基本旋转 ( r^k )，再做反射 ( t )（或者等价于先反射再做反向旋转，结果都是一个新的反射）。每个 ( tr^k ) 对应一条不同的对称轴，因为旋转不同角度后，反射的轴位置也不同，所以这n个元素是n个不同的反射对称，彼此之间没有重复。

接下来验证整个集合里的元素两两不同：

• 所有旋转元素 ( r^k ) 都是保向变换，而所有 ( tr^k ) 都是反向变换，保向和反向变换不可能重合（保向不会反转顶点顺序，反向会）；
• 旋转元素之间彼此不同，反射元素之间彼此不同，刚才已经论证过。

所以这个集合里正好有 ( n + n = 2n ) 个不同的元素，且每个元素都是正n边形的对称性——而我们已经知道正n边形的对称性总数就是2n，所以这个集合正好包含了所有的对称性。

补充一点：正n边形的对称群就是二面体群 ( D_n )，它的阶数（元素总数）就是2n，每个非平凡元素要么是旋转要么是反射，完全对应我们上面的分析。

内容的提问来源于stack exchange，提问作者Bad at algebra and proofs