勒让德定理满足模运算-勒让德定理满足模运算

勒让德定理，要么说勒让德符号，这事儿实际上挺有意思，但比起那些在课本里堆成山的证明，它更像是一种带着点“江湖气”的经验公式。好办来说，就是判断一个数是不是模 $p$ 的二次剩余。
比如你要问 $3$ 是不是模 $7$ 的二次剩余？答案直接就是“是”，出于 $2$ 的平方模 $7$ 等于 $4$，再乘以 $3$ 还是 $1$。
反过来，$5$ 模 $7$ 算出来是负的。 这种符号啊，本质上是 $3$ 和 $7$ 之间的博弈结局。
要是 $7$ 能整除 $3$，那模运算就失效了，符号就得归零。但要是 $7$ 不整除 $3$，那还能持续拌嘴。
这时候，勒让德定理就登场了，它告诉你这个博弈的结局，彻底取决于 $3^{frac{p-1}{2}} pmod p = 1$ 这个条件。
这听起来像点抽象，实际上就一句话：要是 $3$ 是 $7$ 的二次剩余，那么它的指数 $e$ 得是偶数；要是奇数，那就不是。 举个具体的例子吧，看看模 $17$ 的情况。$3$ 在这个模数下是不是二次剩余？算一下 $3^{frac{16}{2}} = 3^8 pmod{17}$。$3^4$ 等于 $81$，模 $17$ 后是 $13$。$3^8$ 就是 $13^2$，也就是 $169$。$169$ 除以 $17$ 等于 $10$，余数也是 $1$。完美，等于 $1$，说明 $3$ 是二次剩余的。再试个负数，比如 $5$ 模 $17$。$5^{frac{16}{2}} = 5^8$。$5^2=25 equiv 8$，$5^4 equiv 64 equiv 13$，$5^8 equiv 169 equiv 16 equiv -1$。结局不是 $1$，故此 $5$ 模 $17$ 是二次非剩余。
这个逻辑链条实际上挺清楚，就是看指数能不能凑成 $1$。 不过话说回来，勒让德定理在数论图景里实际上挺“脆弱”的。它是个局部检验器，能告诉你某个数是不是剩余，但彻底搞不清全局的分布。
比方说，对任意素数 $p$，二次剩余的个数一定是 $frac{p-1}{2}$ 个，非剩余的也是 $frac{p-1}{2}$ 个，加起来正好是 $p-1$。
这就像是一个池子里有 $p-1$ 个泳道，每个人务必跳进一个，要么前 $12$ 个靠岸，剩下的 $10$ 个都不中。数学上这叫“拉普拉斯定理”要么“哥德巴赫猜想”的变体，但勒让德定理只是我们手里的一张一张小票，用来确认某个特定商品能不能进购物车。 大量人可能当作知道 $3^{frac{p-1}{2}} = 1$ 就能彻底断定 $3$ 是二次剩余，这实际上有个致命的漏洞。勒让德符号 $left(frac{3}{7}right)$ 确实等于 $1$，但直接推导结论时，你得确保底数是 $3$ 而不是 $-3$。出于 $-3$ 本身模 $7$ 等于 $4$，而 $4$ 的平方就是 $16 equiv -1$，它根本不是二次剩余，但它的符号也等于 $-1$，故此直接套公式得小心点，别把负号搞混了。
还有啊，要是模数不是素数，比如 $15$，那 $3$ 和 $15$ 互质吗？不互质，直接算 $3^{8}$ 就得除以 $3$，那就没法用了。 实际上勒让德定理的了得之处，在于它能把那些看起来毫无规律的模运算难题，强制变成了一种“二选一”的结构。
要么是 1，要么是 -1，没有中间地带。
这就像赌博，要么是大顺，要么是大发，绝不会出现平局要么黄了。但这种“二选一”的结构，在更高阶的数论里往往行不通。
比如狄利克雷定理，它说在模 $p$ 下，二次剩余按照同余类分布是均匀的，每个类里大约占一半。勒让德定理只能告诉你“类”里有没有，不能告诉你“类”的密度是多少。 再往深了扯，要是 $p$ 是素数 $p$，勒让德符号等于 $1$ 的数，恰好就是模 $p$ 的彻底剩余系里的平方数。
这就像是一个魔术，你把 $1, 2, dots, p-1$ 这些数扔进一个盒子里，再选一个幸运数字 $a$，然后算 $a^2 pmod p$，拿到的结局一定在 $1 dots p-1$ 之间，并且这三个数里一定有两个是素数，一个是非素数。
这个结论别看诱人，但勒让德符号只是我们用来做初筛的工具，真正的“彩票中奖”还得看那个指数是不是偶数。 还有个细节，一般我们说 $3$ 是二次剩余，实际上是说 $3$ 是某个余数的平方，比如 $3 equiv 2^2 pmod 7$。勒让德符号 $left(frac{3}{7}right) = 1$ 这个属性，确实意味着 $3$ 是二次剩余，但反过来不一定。
比如 $-3$ 模 $7$ 是 $4$，平方就是 $16 equiv -1$，故此它不是剩余，但它的符号是 $-1$，这也符合逻辑。
故此勒让德符号本身没有那么多“故事”，它就是个冷冰冰的机器，读入底数，读入模数，吐出一个 $1$ 要么 $-1$。 最终还得提个痛点，就是当 $p$ 挺大时，算 $3^{frac{p-1}{2}} pmod p$ 有时候确实卡壳。别看理论上 $p le 10^7$ 就能搞定，但在实际计算里，特别是 $p$ 是庞大的素数时，大数乘法效率低到让人绝望。
这时候咱们就得依赖计算机集群，要么用智慧的数论算法做近似。勒让德定理在纸质书里是个漂亮的定理，但在机器眼里，它就是个好办的字典查询：输入 "3 模 7"，输出 "是"；输入 "5 模 7"，输出 "否"。 说到底，勒让德定理不过是一场数学界的盲盒。你一辈子不知道里头的故事是啥，只知道翻开袋子，抽出一张票，要是是 $1$，那这就是一张好票，代表里面有平方数；要是是 $-1$，那就是废纸，代表全是空隙。至于那张票到底是哪位抽的，要么里面具体藏了啥数字，那就不关键了，关键的是它符合那个数学上的对称律。
这就是勒让德定理全体的精华，简洁、粗暴、又彻底。