如何证明当p≡1(mod 4)时，p减原根也是模p的原根

云原生阿岚

2026-5-19

这道题的核心是紧扣原根的定义，结合模p下的幂运算性质来推导，咱们一步步拆解：

证明过程

先明确几个关键前提：

原根的定义：如果r是模p的原根，那么r的阶ordₚ(r) = p-1——意思是最小的能让rᵏ ≡ 1 mod p成立的正整数k就是p-1，没有更小的了。
已知p≡1(mod4)，所以p是奇素数，而且p-1是4的倍数，也就是说(p-1)/2是个偶数。
注意到p−r ≡ -r (mod p)，所以问题等价于证明**-r是模p的原根**。

接下来分两步推导：

第一步：分析-r的阶的约束

设d = ordₚ(-r)（也就是-r的阶），根据费马小定理，(-r)^(p-1) ≡ 1 mod p，所以d肯定是p-1的约数（阶的基本性质：如果aⁿ≡1 mod p，那么a的阶一定整除n）。我们要证明的就是d=p-1，也就是排除d是p-1的真因子的可能。

根据阶的定义，(-r)^d ≡ 1 mod p，把它展开：
(-1)^d * r^d ≡ 1 mod p
移项后得到：
r^d ≡ (-1)^d mod p

第二步：排除d为p-1真因子的情况

先对上面的等式两边平方，左边是r^(2d)，右边是[(-1)^d]^2 = 1，所以：
r^(2d) ≡ 1 mod p
因为r是原根，它的阶是p-1，所以p-1必须整除2d（阶的性质：如果aᵐ≡1 mod p，那么a的阶整除m）。又因为p≡1(mod4)，p-1是4的倍数，gcd(p-1,2)=2，所以：
(p-1)/2 整除 d

现在，d是p-1的约数，同时(p-1)/2又整除d，那d只能是两种情况：要么d=(p-1)/2，要么d=p-1。我们来排除第一种情况：

假设d=(p-1)/2，那么代入(-r)^d ≡1 mod p的话：
(-r)^((p-1)/2) ≡1 mod p
拆开来算：
(-1)^((p-1)/2) * r^((p-1)/2) ≡1 mod p
因为p≡1(mod4)，(p-1)/2是偶数，所以(-1)^((p-1)/2)=1；另外，r是原根，r^((p-1)/2)≡-1 mod p（这是原根的一个性质：原根的(p-1)/2次方是模p的-1，因为它满足x²≡1 mod p但又不等于1）。代入后得到：
1*(-1) ≡1 mod p
也就是 -1≡1 mod p，这意味着p能整除2，但p是≡1(mod4)的素数（最小都是5），显然矛盾。所以d不可能是(p-1)/2，只能是d=p-1。