平方差：一把拆开整数的钥匙

你刚学完平方差公式 $a^2-b^2=(a+b)(a-b)$。多数人把它当成”考试要用的工具”。可它其实是一台 X 光机——能照出整数内部的骨架。

先玩个心算。$99\times101$ 等于几？把它看成 $(100-1)(100+1)=100^2-1^2=9999$。再来：$53\times47=(50+3)(50-3)=2500-9=2491$。平方差让乘法瞬间坍缩成”一个平方减一个小数”。

但真正有意思的问题要反过来问：

哪些整数，能写成两个完全平方数之差？

设 $n=a^2-b^2=(a-b)(a+b)$。记 $s=a-b,\ t=a+b$，于是 $n=st$，并且 $a=\frac{s+t}{2},\qquad b=\frac{t-s}{2}.$ 要让 $a,b$ 都是整数，$s$ 与 $t$ 必须同奇偶（要么都奇，要么都偶）。就这一个条件，把所有整数悄悄分成了两类：

• $n$ 是奇数：取 $s=1,\ t=n$（都是奇数），立刻得到 $n=\left(\tfrac{n+1}{2}\right)^2-\left(\tfrac{n-1}{2}\right)^2$。所有奇数都行。
• $n$ 是 $4$ 的倍数：取 $s=2,\ t=\tfrac n2$（都是偶数），也行。
• $n$ 形如 $4k+2$（除以 $4$ 余 $2$，比如 $6,10,2026$）：要乘出它，$s,t$ 必须一奇一偶——可那样 $a,b$ 就不是整数了。它永远拆不开。

判据干净得惊人：只看这个数除以 $4$ 的余数。 余 $2$ 的数，被一道看不见的墙挡在门外。

你看，一个你以为只是”背公式”的小东西，背后却站着一条管着全体整数的法则。更迷人的是那句潜台词：一个局部的小规则（模 $4$），决定了一件全局的事（能不能拆）。 数学最动人的地方常常正在这里——世界里”可能”与”不可能”的边界，往往被一条你看不见的结构悄悄划定。

---

☝️ 今日开放思考（可讨论）

平方差把数拆成两个因子。如果换成立方差 $a^3-b^3=(a-b)(a^2+ab+b^2),$ 它又能告诉我们整数的什么秘密？哪些正整数能写成两个正整数的立方之差？ 先动手试试 $1,\,7,\,19,\,26,\,37\ldots$ 你能从中看出一条规律吗？它和平方差那条”模 $4$“的墙，像还是不像？

🧩 今日难题

⭐ 挑战　$2026$ 能不能写成两个完全平方数之差？给出理由。 （再想想：为什么所有形如 $4k+2$ 的数都不行？提示——看完全平方数除以 $4$ 的余数。）

🌟 星标（初联）　求方程 $x^2-y^2=2025$ 的正整数解 $(x,y)$ 的组数。 （彩蛋提示：$2025=3^4\times5^2$，而且它本身就是 $45^2$。）

参考答案与解析（点击展开） ⭐ 挑战｜不能。 完全平方数除以 $4$，余数只可能是 $0$（偶数的平方）或 $1$（奇数的平方）。于是 $a^2-b^2$ 模 $4$ 只能落在 $0,1,3$，永远不是 $2$。而 $2026=4\times506+2\equiv2\pmod4$，故拆不开。一切 $4k+2$ 同理。

🌟 星标｜共 $7$ 组。 $x^2-y^2=(x-y)(x+y)=2025$。$2025$ 是奇数，两因子自动同奇。设 $x-y=d,\ x+y=\dfrac{2025}{d}$，要 $y>0$ 须 $d<45$。$2025=3^4\cdot5^2$ 有 $15$ 个因子，其中小于 $45$ 的为 $1,3,5,9,15,25,27$——恰 $7$ 个，故 $7$ 组解。（$d=45$ 时 $y=0$，舍。）

☝️ 开放题｜讨论方向。 相邻立方差 $(n{+}1)^3-n^3=3n^2+3n+1$ 给出 $1,7,19,37,61,\ldots$；但立方差没有平方差那种”模 $4$ 一刀切”的干净判据（如 $26=3^3-1^3$、$56=4^3-2^3$）。让学生先撞墙、再发现”找不到简单的余数规律”，正是开放题的价值。可提示：$a^3-b^3$ 必含因子 $a-b$，不妨按”差为 $1$、差为 $2$……”分家族去试。

---

下篇引线：余数能挡住”平方差”，那它还能挡住别的什么？我们会遇到一个反复出现的老朋友——不变量。