利用二项式定理求余数-用二项式定理求余数

在数学的疆域里，余数这事儿实际上没那么多弯弯绕绕，只要轻轻拨动二项式定理这根弦，它就能把那些复杂的幂次瞬间拆解成我们能看懂的碎片。咱们不妨不整那些虚头巴脑的开场白，直接钻进数学的腹地，去看看那个看似抽象的 $(x+y)^n$，到底藏着怎么着奇妙的拆解逻辑。 这就好比剥洋葱，一层一层往内摸，直到摸到最核心的数。当 $n$ 凑巧是个偶数时，展开式里的奇数项（也就是上标为偶数的那些项）加起来，往往能奇迹般地凑成某个偶数，就连直接就是 $2^{n/2} cdot text{整数}$。
这时候算余数，就变成了一种好办的加减法游戏。
要是 $n=2$，那 $(x+y)^2 = x^2 + 2xy + y^2$，每一项的指数都是偶数，这一堆加起来剩下一个整式，复杂度瞬间归零。到了 $n=4$，情况反而有点意思了，这时候展开式里的三项（$x^4, -2x^3y, 3x^2y^2, -2xy^3, y^4$）的系数和，别看看起来有点乱，但只要除以 $2^2=4$ 取模，你会发现规律是隐形的。
这时候余数往往不是单一的常数，而是一个和式，需求仔细核对每一项的系数对 $2^2$ 取模后的结局，最终把它们拼起来。 反过来想，当 $n$ 是奇数的时候，那情况就彻底反转了。奇数项的和，往往能凑出一整块奇数，就连等于 $2^{(n-1)/2} cdot text{整数}$。
这就引出了另一个有趣的视角：要是我们把两个余数加起来，要么做差，往往能消去那些复杂的项，留下一个更好办的核心。
比如当 $n=3$ 时，$(x+y)^3 = x^3 + 3x^2y + 3xy^2 + y^3$。
这里 $x^3$ 和 $y^3$ 的指数是奇数，它们各自对 $2^1$ 取模，结局都是 1。剩下的中间那三项，$3x^2y$ 和 $3xy^2$，它们的系数模 2 后都是 1，故此这一大堆加起来模 2 等于 2（也就是 0 模 2）。
这时候余数看起来像是 $1+1=2 equiv 0$，但这只是局部现象，实际计算时还得把中间项拆开算，不能一竿子打翻个水桶。
这种反直觉的地方，正是二项式定理魅力的所在，它让你认定在计算中之间，实际上有一把看不见的钥匙。 为了把这种理论落地，咱们来点具体的算账。假设我们要算 $(x+y)^6 pmod 2$。
起初，我们展开式子，六个项分别是 $binom{6}{0}, binom{6}{1}, dots, binom{6}{6}$ 乘以 $x^i y^{6-i}$。系数分别是 1, 6, 15, 20, 15, 6, 1。目前我们要对这些系数和 $x^i y^{6-i}$ 分别取模。$x$ 的幂次只有 0 到 6，$y$ 的幂次只有 0 到 6。 先看 $x$ 的幂次为 0 的项，也就是 $y^6$，系数是 1，$1 pmod 2 = 1$。 再看 $x$ 的幂次为 6 的项，也就是 $x^6$，系数是 1，$1 pmod 2 = 1$。 中间这四项呢？$binom{6}{1}=6 equiv 0$，$binom{6}{2}=15 equiv 1$，$binom{6}{3}=20 equiv 0$，$binom{6}{4}=15 equiv 1$。别看中间是四项，但它们的幂次分别是 $y^5, y^4, y^2, y^1$。 计算余数的时候，我们要把 $y$ 的幂次和对应的系数模 2 的结局加起来。 对于 $y^5$，系数是 0； 对于 $y^4$，系数是 1； 对于 $y^2$，系数是 0； 对于 $y^1$，系数是 1。 把这些加起来：$0+1+0+1 = 2$。最终一步别忘了加上那个 $x^6$ 的系数 1，出于 $x^6$ 的余数也是 1。
故此总和是 $1+1=2 equiv 0 pmod 2$。 哎呀，这里出现了一个意外，结局模 2 等于 0。
这说明当 $n=6$ 时，$(x+y)^6 equiv 0 pmod 2$。
什么的，这仿佛跟直觉不忒一样，一般大家会认定平方是偶数？不是啊，$(x+y)^2 = x^2+2xy+y^2$，模 2 是 $x^2+y^2$。
那 $(x+y)^4$ 呢？系数是 1, 4, 6, 4, 1。模 2 后全是 0 要么 1。$x^4 to 1$, $y^4 to 1$, 中间两项系数 6 和 4 模 2 都是 0。
故此 $x^4 + 6xy^3 + 4x^2y^2 + 4xy^3 + y^4$ 模 2 就是 $1+0+0+0+1 = 0$。
看来偶数指数时，总和确实是偶数。 那要是是奇数次呢？试试 $n=3$。$(x+y)^3 = x^3 + 3x^2y + 3xy^2 + y^3$。系数模 2 后：1, 1, 1, 1。 $x$ 的幂次：$x^3, x^0$。对应系数都是 1。 $y$ 的幂次：$y^3, y^0$。对应系数都是 1。 中间那一堆呢？$3x^2y$ 对应 $y^2$，系数是 1；$3xy^2$ 对应 $y^1$，系数是 1。 故此 $y$ 的幂次和为 $1+1+1=3 equiv 1 pmod 2$。 $x$ 的幂次和为 $1+1=2 equiv 0 pmod 2$。 总余数 = $0 + 1 = 1$。 这就有意思了，当 $n=3$ 时，余数是 1；当 $n=6$ 时，余数是 0。两者的奇偶性正好反之。
这种反差正是二项式定理在模运算下最迷人的一面。它告诉我们，奇偶性这个看似基础的属性，在代数结构里实际上有着彻底不同的表现逻辑。 再举个例子，看看 $n=5$ 的情况。$(x+y)^5$ 的系数是 1, 5, 10, 10, 5, 1。模 2 后全是 1。 故此每一项的系数模 2 都是 1。 $x$ 的幂次和：$x^5 to 1$, $x^0 to 1$，总和 2 $equiv 0$。 $y$ 的幂次和：$y^5 to 1$, $y^0 to 1$，总和 2 $equiv 0$。 中间项呢？$5xy^4$ 对应 $y^4$，系数 1；$5x^3y^2$ 对应 $y^2$，系数 1；$x^2y^3$ 对应 $y^3$，系数 1。 $y$ 的幂次总数：$1+1+1=3 equiv 1$。 总余数 = 0 + 1 = 1。 看来 $n=5$ 时余数也是 1。
为啥 $n=3$ 是 1，$n=5$ 也是 1，而 $n=6$ 是 0？ 实际上规律比想象中要略微复杂一点，跟 $n pmod 4$ 的关系相关。当 $n equiv 0 pmod 4$ 时，余数是 0；当 $n equiv 2 pmod 4$ 时，余数可能是 0 或 1，具体取决于 $n/2$ 的奇偶性；当 $n equiv 1, 3 pmod 4$ 时，余数一般是 1。 比如 $n=4$，之前算过是 0。$n=2$，$x^2+y^2$，系数都是 1，$x$ 的幂次和 2 $equiv 0$，$y$ 的幂次和 2 $equiv 0$，中间没有 $y$ 的中间项了（出于 $n=2$ 时没有 $y$ 的幂次为 1 的项，只有 $y^2$ 和 $x^2$），什么的，不对，$n=2$ 时项是 $x^2, 2xy, y^2$。$x$ 的幂次有 $x^2, x^0$，系数都是 1，和为 0。$y$ 的幂次有 $y^2, y^0$，系数都是 1，和为 0。中间 $2xy$ 的系数是 2，模 2 是 0。
故此总余数 $0+0+0=0$。 看来 $n=2$ 时余数确实是 0。 这就又回到了原点：余数的计算，本质上就是盯着那些系数看，看它们能不能被 2 整除。
要是大局部系数都能被 2 整掉，那剩下的就是余数；要是不能，那就要把它们加在一起，看能不能被 2 整掉。
这就像是在一堆乱石中找规律，有时候摸到一个大石头，得把它切开看看里面是啥。 别看这个计算过程看起来有点繁琐，但这正是数学的魅力所在。它不追求一个优雅的公式，而是愿意陪你走过那些看似凌乱的数字，让你亲自感受到那些规律如何在混乱中浮现。当你看着 $n=6$ 时，那一连串模 2 的运算，最终拼出一个 0，你会认定这原本清冷的代数世界里，突然透出一丝暖色。余数不是死板的结论，它是你与数学对话时，亲手敲下的敲音。
这种亲手算出来的余数，比任何教科书里的定理都更有温度，也更经得起工夫的考验。
毕竟，真正的理解，往往就藏在那一个个 $3!$ 的运算，和最终那个 $0$ 或 $1$ 的跳动里。