BG
学学学！
太具体的证明就不放了
我们要解决的是这样一类问题，求
x
2
≡
n
(
m
o
d
p
)
x^2\equiv n\pmod {p}
x2≡n(modp)
其中n为常数，x是未知数，对于这样的方程
n
n
n有
p
−
1
2
\frac{p-1}{2}
2p−1种取值使得方程有解。
证明：设存在不同整数u和v它们的平方相等，那么有
(
u
+
v
)
(
u
−
v
)
∣
p
\left(u+v\right)\left(u-v\right)|p
(u+v)(u−v)∣p
由于
u
≠
v
u\ne v
u̸=v因此
u
−
v
̸
∣
p
u-v\not| p
u−v̸∣p，那么
(
u
+
v
)
∣
p
\left(u+v\right)|p
(u+v)∣p，也就是正负两解，比较直观
我们定义勒让德符号为
(
a
p
)
=
{
1
,
a
在模
p
意义下是二次剩余
−
1
,
a
在模
p
意义下是非二次剩余
0
,
a
≡
0
(
m
o
d
p
)
\left(\frac{a}{p}\right)= \begin{cases} 1,&a\text{在模$p$意义下是二次剩余}\\ -1,&a\text{在模$p$意义下是非二次剩余}\\ 0,&a\equiv0\pmod p \end{cases}
(pa)=⎩⎪⎨⎪⎧1,−1,0,a在模p意义下是二次剩余a在模p意义下是非二次剩余a≡0(modp)
并且 ( a p ) ≡ a p − 1 2 ( m o d p ) \left(\frac{a}{p}\right)\equiv{a}^{\frac{p-1}{2}}\pmod{p} (pa)≡a2p−1(modp)
求解上面的x，我们需要随机一个a使得 ( a 2 − n p ) ≡ − 1 ( m o d p ) \left(\frac{a^2-n}{p}\right)\equiv -1\pmod{p} (pa2−n)≡−1(modp)，随机出解的期望次数为2。我们记 ω = a 2 − n \omega =a^2-n ω=a2−n
什么意思呢？这等价于我们在模p意义下定义了一个类似单位复数i的东西
并且有
x
2
≡
(
a
+
ω
)
p
+
1
≡
(
a
−
ω
)
(
a
+
ω
)
≡
a
2
−
ω
2
≡
n
(
m
o
d
p
)
x^2\equiv{\left(a+\omega\right)}^{p+1}\equiv\left(a-\omega\right)\left(a+\omega\right)\equiv a^2-{\omega}^2\equiv n\pmod{p}
x2≡(a+ω)p+1≡(a−ω)(a+ω)≡a2−ω2≡n(modp)
其中有几个有趣的结论：
(
a
+
ω
)
p
≡
a
p
+
ω
p
{\left(a+\omega\right)}^p\equiv a^p+{\omega}^p
(a+ω)p≡ap+ωp，这个证明可以用二项式展开把带p的去掉即可
a
p
−
1
≡
1
(
m
o
d
p
)
a^{p-1}\equiv1\pmod{p}
ap−1≡1(modp)不要忘了由于这里是同余的因此满足费马小定理
522
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
