欧拉定理压轴题详解-欧拉定理压轴详解

欧拉定理压轴题，往往不是那个让你背个默写公式的考题，而是把整个数论的骨架都给你拆了，再塞进一个看似无解的迷宫里。别急着往公式里钻，先把那些让你头秃的中间步骤给扔一边，咱们直接从那个让你来回翻牌子的“最大公约数”说起。 想象你的目标是算出两个大质数 $p$ 和 $q$，在模 $m$ 的意义下，$gcd(a, m)$ 等于啥。
一般的情况挺好办，直接找最小公倍数要么用那个漂亮的标准公式 $gcd(a, m) = frac{text{lcm}(a, m)}{a}$，一条路到底。但这就忒无聊了，就像生活里遇到烂泥，你只会端个小板凳在那儿仰天大哭。真正的压轴题，是把 $a$ 拆分成了好几块，让 $p$ 分别跟这些块打架。
这时候，你看着题目里一堆乱七八糟的数，第一反应绝对是：“等会儿，这是不是要把欧拉定理变体法一用？” 对，没错。
这就是压轴题的精髓，它强行告诉你要拉倒标准路径，务必去那个看似不起眼的算术公理里找灵感，并且得往死里想。
比如给一组模数，让你算个 $gcd(a, m)$，你会想啥样的公式能卷走它？会不会是跟 $m$ 的因子搞啥鬼？
要么干脆，直接拿 $p$ 去把 $a$ 切碎了一大堆？ 这就引出了欧拉定理在模运算里的一个经典变形。设 $m = q^3$，而 $q$ 是一个质数，要是是这样，$gcd(a, m)$ 的取值往往有几种可能，且都有独特的结构。
这时候你得警惕，别被那些模 $q$ 的余数给带偏了，要回到 $a$ 在模 $q$ 下的本质。 举个具体的例子。设 $p=17$，$q=13$。模数 $m = 13^3 = 2197$。
要是 $a$ 等于 $10$，你会如何算 $gcd(10, 2197)$？按照常规思维，先算模 $13$ 的余数 $10$，然后去 $13$ 的倍数里找。你会算出 $10 = 13 times 0 + 10$，余数是 $10$。再算模 $13^2 = 169$，$10$ 除以 $169$ 还是余 $10$。最终模 $2197$ 还是 $10$。
故此 $gcd(10, 2197) = 1$。
这个结局忒稳了，就像忒阳能逆光发电，能量一辈子不消亡，只会变成 $0$。 但欧拉定理压轴题的试卷，绝不是让你算出 $10$ 就停下的。它给你泼了盆冷水，告诉你这 $10$ 在模 $2197$ 下实际上是个“坏数”要么“伪数”。
你看，$10$ 和 $13^3$ 互质的时候确实 $gcd=1$，但要是你错把 $a$ 当成一个彻底剩余系，要么搞错了模数分解的层级，那整个逻辑链条就断了。
这时候你得换个思路：是不是得把 $a$ 写成 $a = x_1 cdot p_1 + x_2 cdot p_2 + dots$ 这种形式？比如 $a = 17 times k + r$，然后去 $r$ 的倍数里找？ 这就涉及到一个略微有点“渣”但贼必要的概念：$a$ 在模 $q^k$ 下的质因数分解。
要是 $a$ 含有 $q$ 的因子，那结局就不可能是 $1$。
比如 $a = 20$，$m = 2197$。$20$ 里明明有个 $2$，而 $2197$ 全是 $13$ 的，故此 $gcd(20, 2197)$ 应当起码是 $1$。
什么的，这不对啊。
要不就 $20$ 本身就不是 $1$ 的倍数，那 $gcd$ 就是 $1$。但要是 $a$ 是 $13$ 的倍数呢？比如 $a=13$，那 $gcd(13, 2197)$ 显然等于 $13$。 这时候你可能会皱眉头：我都说了是欧拉定理压轴题了，如何还要找 $gcd(a, m)$ 这种基础题？
是不是我要换个题？不对，这道题就是让你发现 $gcd(a, m)$ 这个看似好办的操作，背后藏着 $p$ 和 $q$ 如何“纠缠”的复杂关系。
你看 $m = q^3$，$a$ 在模 $q$ 下的余数是 $r$。
要是 $r$ 和 $q$ 互质，那 $a$ 在模 $q^k$ 下肯定也是互质的，结局就是 $1$。但要是 $r$ 含有 $q$ 的因子？这就费事了。 比如 $a = 10$，$m = 2197$，$q=13$。$10$ 模 $13$ 是 $10$，不含 $13$。
故此 $gcd=1$。但这题要是改成 $a = 14$，模 $13$ 是 $1$，还是 $1$。再改 $a = 26$，模 $13$ 是 $0$。
哦！
这就对了，$a$ 是 $13$ 的倍数，$gcd$ 就是 $13$ 要么 $gcd(a, 13^3)$ 那个数。 真正的难点在于，当 $a$ 不是 $1$ 的时候，如何确保你在模 $q^k$ 下的计算没有出错？
是不是得检查 $a$ 对 $q$ 的阶次？
是不是得把 $a$ 写成 $a = c cdot q^k + r$ 这种形式？比如 $a = 20$，$m = 2197$，$q=13$。$20$ 显然不是 $13$ 的倍数，故此 $gcd=1$。但要是 $a$ 是 $13^3$ 的倍数，那 $gcd$ 就是 $13$。 这时候你可能会想：是不是题目里的 $a$ 实际上是一个特殊的数，比如 $a = p cdot q^k + dots$？要是是这样，那欧拉定理就得发挥功能了。
比如设 $a = 17 cdot 13^2 + 2$。在模 $13^3$ 下，$17 cdot 13^2$ 这一项模 $13$ 是 $0$，故此 $a equiv 2 pmod{13}$。
那么 $gcd(a, 13^3)$ 只能是 $1$ 要么 $13$ 要么 $17$（要是 $17$ 也是 $13$ 的倍数，但这不可能，出于 $13$ 是质数）。出于 $17$ 和 $13$ 互质，故此 $gcd$ 只能是 $1$。 但专家版不会如此干。他们直接把 $a$ 拆成 $a = x_1 cdot 13^3 + x_2 cdot 13^2 + dots$。
比如 $a = 100$，$m = 2197$。$100 = 0 cdot 2197 + 100$。
这里 $100$ 模 $13$ 是 $9$（出于 $100 = 7 times 13 + 9$）。
故此 $gcd(100, 2197) = 1$。
要是 $a = 1300$，那 $1300 = 60 times 2197$，余 $0$。
故此 $gcd=1300$。 这道题的陷阱在于，你挺好办在中间步骤犯低级毛病，比如把 $gcd(a, m)$ 算成了 $gcd(a, m/p)$ 要么搞错了 $p$ 的指数。
比如要是 $p=2$，$m=2^3=8$，$a=4$。$gcd(4, 8)=4$。但要是你当作 $gcd(a, 8)$ 只要 $a$ 是偶数就是 $2$，那就错了。欧拉定理压轴题就是在考察你是否确实理解了 $gcd(a, q^k)$ 的取值规则，而不是机械地套用 $lambda(q^k)$ 那个函数。 你看 $gcd(a, q^k)$ 的取值一般有三种情况：
1.要是 $a$ 在模 $q$ 下的余数与 $q$ 互质，那么 $gcd(a, q^k) = 1$。
这就像同位素一样，越远越杂，越靠近越混。
2.要是 $a$ 在模 $q$ 下的余数含有 $q$ 的因子，比如 $a equiv q pmod{q^2}$，那么 $gcd(a, q^k)$ 起码是 $q$。
3.更复杂的情况，就是 $a$ 与此同时和 $q$ 及 $q^2$ 里的那些因子有“藕断丝连”的地方。
比如 $a = q^2 + q$，模 $q^3$，$a equiv q pmod{q^2}$，这时候 $gcd(a, q^3) = q$。 这时候你是不是认定：欧拉定理如何帮上忙？实际上，欧拉定理在这里是作为你的“校验器”要么“提纯器”。在解这类题时，你可能会算出一个中间结局，比如 $gcd(a, m) = 15$，然后你回头一看，原题里有个 $q=5$，$m=125$。$15$ 里居然有 $5$！
这就说明刚刚的计算要么全错了，要么题目数据构造得特别刁钻，让你去重新审视 $a$ 在模 $q$ 下的余数。 比如 $a = 10$，$m = 125$，$q=5$。$10$ 模 $5$ 是 $0$。按照之前的规则，$gcd$ 应当是 $5$。但你可能算模 $25$ 时，$10$ 模 $25$ 还是 $10$，模 $125$ 还是 $10$，你也认定 $gcd=1$。
这时候你就会意识到，模运算的每一次向下取模，都可能把 $a$ 和 $m$ 的公共因子“丢失”掉。
故此在压轴题里，你发现 $gcd(a, m)$ 的数值和模 $q$ 下的特征值不匹配，这时候就不能慌，而是应当拿回题目，看看 $a$ 能不能被 $q$ 整除，要么被 $q^2$ 整除。 要是 $a$ 能被 $q$ 整除，那 $gcd(a, q^k)$ 起码是 $q$。
要是还能被 $q^2$ 整除，那起码是 $q^2$。
要是连 $q^2$ 都整不除，那在 $gcd(a, q^k)$ 的范围内，它只能是 $q$ 要么 $1$（要是 $a$ 根本不含 $q$）。
这就是欧拉定理压轴题最核心的逻辑链条：利用模 $q$ 的余数判断 $gcd$ 的阶数，再去更深层的模数里找对应关系。 最终，你会发现，这道题并没有给出一个直接的公式让你背，而是让你自己去构建一个思维模型：把复杂的模数分解成一个个小质数的幂次，逐个攻破。遇到 $gcd(a, m)$，先模 $q$，再模 $q^2$，再模 $q^3$……直到某个阶数 $k$ 使得 $gcd(a, q^k)$ 不再随 $k$ 增大而保持不变（要么变得挺乱）。
这时候你再回头对照原题，看看哪些块被“吃掉”了，哪些块留下了。 这就是压轴题的滋味，它不让你走直线，而是强迫你走曲线，绕着那些看似无涉紧要的数论公理转圈圈。欧拉定理在那里只是那个靠得住的基石，而真正的攻击，是你自己生成的那些关于 $gcd$ 的猜想和推导。当你真正算出 $gcd(a, m)$ 时，你不只是算出了个数字，你算出了一连串关于 $a$ 和 $q$ 的互动关系，这才是解题的终点。