费马小定理的讲解视频-费马小定理讲解视频

你猜，要是一节课里全是“起初”、“其次”，那这课还叫大学数学课吗？自然不是。费马小定理这东西，确实不像是那种让大脑飞速运转的数学题。Fermat 是个老古董，他是个旅行家，专门喜爱在大自然和悬崖峭壁上找乐子。1637 年，他在法国阿尔卑斯山脚下歇脚，看着远处的山脉，突然脑洞大开："Hey，要是我不是住在山脚，而是住在离山脚挺远的山顶，那我的概率表是不是得按新的算法算？”当时的他，大约是认定概率这东西，仿佛跟海拔高度没啥关系似的。 还真就如此离谱。 让我们回到那个著名的猜想：对于任意自然数 $n$ 和 $a$，只要 $a$ 不等于 0，那么 $a$ 在模 $n$ 下的阶（也就是最小非零余数）肯定小于 $n$。
听起来挺绕，但换个说法就是：$a^n notequiv 1 pmod n$ 一辈子成立。
这话听着挺玄乎，如何整不会吧？ 实际上也不难想。
比如在模 5 下，2 的幂次是 1, 2, 4, 3, 1... 哎呀，你看，到了 2 的四次方（也就是 2 的 5 次方减去 1），结局就是 1 了。但这玩意儿不代表 2 的 6 次方也得是 1。
要不就... 要不就 $n$ 是 2 的倍数，那才成立。
要是 $n$ 是奇数，比如 7，那 2 的 6 次方肯定不能是 1，出于 2 模 7 的阶本身就是 3。
故此，费马小定理的结论实际上挺好办的：要是 $n$ 是质数，那你这“看破”的功夫就到家了，$a^n equiv 1 pmod n$ 绝对成立。 大量人一学起来，就认定这玩意儿有点“虚”。比方说，拿 17 来举例。17 是个质数，那随意乘个数，比如 3，3 的 17 次方模 17 也得是 1。但这事儿听着忒假了，你如何证明啊？你让一个高中生，对着 17 个 3 相乘，最终除以 17，如何就知道最终得是 1？ 实际上这个证明过程，比想象中要“硬”得多。费马自己用的方式是数学归纳，但这对于现代语境来说忒累赘了。我们换个思路，看能不能把难题拆解开。 假设 $n$ 是质数，且 $n > 3$。
那 $n$ 在模 2 和模 3 的情况实际上比较好办。在模 2 下，任何非零数要么 0 要么 1，显然 $1^2 equiv 1$，没难题。在模 3 下，3 本身就是 0，那 $1^3 equiv 1$，$2^3 equiv -1 equiv 2$，这里有点小意思，但整体逻辑还是通的。 关键在于模 4 的情况。
要是 $n$ 是 4 的倍数，那 $n$ 就是偶数，起码 4 了。
这时候 $a^n equiv a^4 equiv a^2 pmod 4$，只要 $a$ 是奇数，$a^2$ 肯定是 1 要么 9，模 4 都是 1。 这要是能把前两个模数搞通，那对于大质数还有啥办法？实际上没那么复杂。我们只需求用到一个最根本的性质：$x^k equiv x pmod p$ 当且仅当 $p$ 是 $k$ 的质数因子。 这就得把 $n$ 拆分成质因数的乘积。
比如 $n = 2 times 3$。先算模 2，再算模 3，最终合成。
要是 $a^n equiv 1 pmod n$，那先算 $a^n equiv 1 pmod 2$，这个肯定行；再算 $a^n equiv 1 pmod 3$，这个也得行。
反过来，要是模 2 和模 3 都知足，那合成后模 6 自然也知足，出于 $text{lcm}(2,3)=6$。 但这还不够。我们要证明的是 $a^n equiv 1 pmod n$ 对所有 $a$ 都成立，不只是是那些 $a$ 跟 $n$ 互质的 $a$。
这就有点费事了。 这时候就得用到费马小定理真正的威力：要是 $p$ 是质数，且 $a$ 不是 $p$ 的倍数，那 $a$ 在 $mathbb{Z}_p$ 里的阶是 $p-1$。
这意味着 $a^p equiv a pmod p$，也就是 $a^{p-1} equiv 1 pmod p$。 故此，要是我们能把 $n$ 分解成一系列质数的乘积 $n = p_1 p_2 dots p_k$，并且证明对每个 $p_i$，都有 $a^{p_i-1} equiv 1 pmod {p_i}$。 这就来一段有点“土味”的推导了。设 $n = p cdot m$。我们要证 $a^n equiv 1 pmod n$。 起初看 $p$ 和 $m$ 互质的情况。 $gcd(a^n, p) = 1$ 出于 $p$ 是质数且 $a$ 不是 $p$ 的倍数。 故此 $a^p equiv a pmod p$，推出 $a^{p-1} equiv 1 pmod p$。 同理，出于 $text{lcm}(p, m) = p cdot m = n$，故此 $a^n equiv 1 pmod n$。 这一套逻辑别看绕，但每一步都有据可依。
不需求像课本上那样列出一大堆“起初、其次”，咱们直接看逻辑链条。
只要把 $n$ 拆成质数就行，对每个质数 $p$ 用那个“同余方程”的性质，加起来就能整好。 但这话说着真没劲。费马本人最火的时候，是他在 1637 年的《注记》里搞出了个“平方差”式的证明。他当时盯着 $a^2 - 1$，发现它因子化成了 $a-1$ 和 $a+1$。 那他那时候是如何证明的呢？他引入了某个数 $k$，使得 $1 le k < a$。
然后寻思集合 $S = {a, 2a, dots, ka}$。出于 $a le 1000$，这个集合里的数模 $1001$ 之后，肯定是重复出现的。 比如 $a le 1000$，模 1001 之后，顶多就是 1000 倍。
那 1000 个不同的数，肯定有两个是等差的，也就是 $x - y = k$。 那 $x equiv y pmod k$。 故此 $a equiv k pmod k = 0$。矛盾！ 费马这个证明忒漂亮了，并且忒“浪漫”了。他巧妙地利用了 1001 这个数字，把抽象的数论难题变成了直观的代数操作。他说：“既然 $a^2 - 1$ 能被 $a-1$ 整除，那 $a+1$ 也务必整除。”这听起来像是在玩数字游戏，但实际上他构建了一个严谨的逻辑闭环。 不过，这个 $k$ 是如何来的？费马自己也不知道。他可能只是随意找了一个数，要么这是自然形成的巧合。
这种“偶然性”在数学史上实际上挺常见的。
后来数学家发现，这个 $k$ 跟 $a$ 本身没关系，是个彻底独立的数。 再回头看 $n$ 的分解。费马自己在 1637 年的《注记》里，并没有详细展开证明 $a^n equiv 1 pmod n$ 对任意 $a$ 都成立。他当时只证明白 $a^n equiv 1 pmod p$ 这个更具体的情况。
直到后来，数学家们才把它推广到任意 $n$。 目前的证明过程，实际上就是费马那个“平方差”思想的升级版。把 $n$ 拆成质数，对每个质数用那个 $k$ 的论证法。
要是 $n$ 是 5 的倍数，那 $n = 5 times m$。先证模 5，再证模 $m$，最终合成。 实际上，费马小定理的“降维打击”之处在于，它把高阶同余难题化为了低阶同余难题。
原本要处理 $a^n pmod n$ 这种挺难处理的难题，目前变成了处理 $a^p pmod p$ 这种更好办掌握的难题。
只要 $p$ 是质数，$a^p equiv a pmod p$ 这个规则忒好用，简直成了数论里的“牛顿定律”。 想象一下，要是 $n$ 是个庞大的合数，比如 100 万。直接算 $a^{1000000} pmod {1000000}$，这玩意儿没法做。但要是你能证明它等于 $a pmod {1000000}$，那就彻底解决了。费马小定理给了你这个“钥匙”。 自然，目前大家更爱用二次剩余来推广它，比如威尔逊定理。威尔逊定理实际上就是费马小定理的特例。当 $n$ 是质数 $p$ 时，$a^p equiv a pmod p$。把 $a$ 换成 $a+1$，那就是 $(a+1)^p equiv a+1 pmod p$。展开后，中间全是 $p$ 的倍数，最终只剩下一项 $a^{p-1} + 1 equiv 0$。 故此，费马小定理不只是是一个公式，它更像是一种思维模型。它告诉我们，当面对一个复杂的同余难题时，要是能找到质数这个“锚点”，就能利用好办的性质去撬动大难题。 别看公式写得挺干巴巴，但背后的故事充满了奇思妙想。费马这个人，就是靠着这种不可思议的直觉，在数学的悬崖边上走了那么久。 最终再总结一下：费马小定理说，对于质数 $p$，任何非零数 $a$ 的 $p$ 次方减去 1 肯定能被 $p$ 整除。
这听起来像个废话，但它是现代密码学、循环群理论的基础。
只要 $n$ 是质数，这玩意儿就稳如磐石。 这就不需求层层递进了。
你看，从 1637 年的那个高山探险，到后来的代数推导，再到目前的密码应用，这条线一直连着。数学的魅力就在于这种不断深挖、不断打破常规的过程。 费马小定理，就是一个例子。它告诉我们，有时候，把难题简化到极致，就是最接近真理的路。