MathLabs

第2题

设n>6为整数,a1,a2,…,aka_1,a_2,\ldots,a_k为小于n且与n互质的全部正整数并按递增排列。若 a2−a1=a3−a2=⋯=ak−ak−1>0a_2-a_1=a_3-a_2=\cdots=a_k-a_{k-1}>0,证明n必为素数或2的幂。
第 4/5 步：被4整除的情形给出2的幂
上一步下一步
n=4m and all odd r<n are reduced ⟹ n=2sn=4m\text{ and all odd }r<n\text{ are reduced}\ \Longrightarrow\ n=2^s
详细分析

若n有奇素因子q,则q<n且为列表中的奇数,但q不与n互质。故n没有奇素因子,必为2的幂。