第2卷 第2章 勾股定理

学习目标

• 能用奇偶性、模 4 和最大公约数证明基本勾股数的必要条件
• 能从平方差和质因数分解唯一性推导欧几里得参数化，并验证参数的互质与奇偶条件
• 能用固定点直线参数化单位圆有理点，解释它与整数勾股三元组的双向对应
• 能实现参数检查和小规模枚举，验证无穷构造不会重复且覆盖所有基本勾股数

从两个“无穷存在”问题开始

第 2 卷第 2 章给出两张卡片：是否存在无穷多个基本勾股数？单位圆上是否存在无穷多个有理点？一个问题谈自然数三元组，另一个问题谈平面上的点，看起来分属代数与几何。章节的任务不只是分别回答“有”，而是揭示两张卡片本质上询问同一个结构。

先预测：(6,8,10) 满足平方和关系，为什么不是基本勾股数？在基本三元组中两条直角边能否同奇或同偶？把平方和移项后为何要坚持写成乘积？两个互质整数的乘积是平方，为什么它们各自必须是平方？单位圆上一条有理斜率直线为何会制造有理点？

本章沿两条路线前进：整数路线进入奇偶性、质因数与互质，再得到欧几里得参数；几何路线用一条转动的直线得到同一组公式。每一步都留下可计算的验收证据。

一、勾股定理与基本勾股数

勾股定理写成

$$a^2+b^2=c^2.$$

勾股数 是满足这个方程的正整数三元组，例如 (3,4,5)、(5,12,13)、(6,8,10)。若再满足

$$\gcd(a,b,c)=1,$$

就叫作基本勾股数或本原勾股三元组。(6,8,10) 是 2(3,4,5)，所以不是基本；任何勾股数除以三者最大公约数后都会得到一个基本勾股数。

这里的核心问题是“基本勾股数是否无穷”。列举有限个例子能建立直觉，却不能凭省略号证明无穷；需要一个接收参数、稳定产出新三元组且能反向覆盖的通式。

先动手：切换参数看两个世界同步变化

先猜一猜：把 m 或 n 调大，三角形的三条边、面积和单位圆上的点会怎样变化？先在实验中观察，再回到下面的证明检查哪些变化是公式必然保证的。

m=2,n=1m=3,n=2m=4,n=1重置

二、基本勾股数的奇偶性约束

先问两条直角边 a,b 的奇偶性。若二者都是偶数，则方程使 c² 为偶数，从而 c 也是偶数；三者共同含因子 2，与基本条件冲突。

若 a,b 都是奇数，可写成 a=2J+1,b=2K+1。每个奇数平方除以 4 余 1，因此

$$a^2+b^2\equiv1+1\equiv2\pmod4.$$

但方程右侧 c² 的模 4 余数只能是 0 或 1，不可能是 2，产生矛盾。因此“基本勾股数的奇偶性约束”排除了同偶和同奇两种情况，留下“两直角边一奇一偶而斜边为奇数”。交换两条直角边不改变方程，以下不妨设 a 为奇数、b 为偶数；此时 c² 为奇数，故 c 也为奇数。

三、平方差的乘积形式与互质结构

平方差的乘积形式

从平方和移项并使用平方差公式：

$$b^2=c^2-a^2=(c-a)(c+a).$$

因为 a,c 都是奇数，c-a 与 c+a 都是偶数；又因 b 为偶数，可定义

$$c-a=2A,\qquad b=2B,\qquad c+a=2C.$$

代回得到

$$4B^2=(2A)(2C),\qquad B^2=AC.$$

“平方差的乘积形式”把原来的三元平方和问题变成一个平方数如何分布在两个因数中的问题。这里的关键中间式是“B平方等于AC”：减半不是随意换变量，而是去掉已知公共因子 2，让后面的互质结构显现。

基本勾股数成对互质

成对互质 基本条件还能加强为三者成对互质。若某个 g 同时整除 a,c，则由 b²=c²−a² 可知 g 整除 b；这与三者没有公共因子矛盾，其他两对同理。这便是“基本勾股数成对互质”。

接着证明 A,C 互质。若某个 d 同时整除 A,C，由

$$a=C-A,\qquad c=C+A$$

可知 d 同时整除 a,c。由于 a,c 互质，只能有 d=1。

互质乘积为平方的引理

说明“质因数分解唯一性”：平方数的每个质因数指数都是偶数。在 B²=AC 中，左侧所有质数指数为偶数；右侧 A,C 互质，任何质数只能完全出现在其中一边，不能把指数拆开。因此得到“互质乘积为平方的引理”:

$$\gcd(A,C)=1,\quad AC=B^2 \quad\Longrightarrow\quad A=n^2,\ C=m^2$$

对某些正整数 m,n 成立。这个引理有两个不可删除的前提：平方保证总指数为偶数，互质保证每种质因数不能跨两边分摊。

四、欧几里得参数化与完整性

欧几里得参数化由 A=n²,C=m² 还原原变量：

$$\begin{aligned} a&=C-A=m^2-n^2,\\ b&=2B=2mn,\\ c&=C+A=m^2+n^2. \end{aligned}$$

这就是输入 m,n、输出三元组的参数化。直接展开可验收方程：

$$(m^2-n^2)^2+(2mn)^2=(m^2+n^2)^2.$$

但要保证输出是基本勾股数，还需“参数互质且奇偶性相反”：m>n>0、\gcd(m,n)=1，并且 m,n 一奇一偶。若二者同奇，三个输出都为偶数；若共享因子，三个输出也共享其因子。

反方向的推导已经说明，每个基本勾股数在交换两条直角边后都能得到这样的 m,n。因此公式不只是生产一部分例子，而是覆盖全部基本勾股数。

构造无穷多个基本勾股数

现在回答“基本勾股数是否无穷”。固定 n=2，让 m 依次取任意大于 2 的奇质数。每个 m 与 2 互质，二者奇偶相反，并满足 m>n，所以产生

$$(m^2-4,\ 4m,\ m^2+4).$$

不同 m 给出不同斜边 m²+4，因此三元组互不相同。由于质数有无穷多个，便完成“构造无穷多个基本勾股数”。这里不能只说参数可以一直增大；必须给出无限参数集合、验证每个参数合法，并证明输出不会重复。

五、单位圆上的有理点

单位圆上的有理点 单位圆方程是

$$x^2+y^2=1.$$

固定圆上的有理点 P=(-1,0)，过 P 作斜率为 t 的直线：

$$y=t(x+1).$$

这就是“过固定点的斜率参数化”。直线与圆已知交于 P，除切线情形外还有另一个交点 Q。把直线代入圆方程并提出已知因子 x+1：

$$(x+1)\bigl((1+t^2)x+t^2-1\bigr)=0.$$

舍去已知点对应的根 x=-1，另一根与纵坐标为：

单位圆有理点参数公式 $$Q(t)=\left( \frac{1-t^2}{1+t^2}, \frac{2t}{1+t^2} \right).$$

若 t 有理，坐标只经过有理数的加减乘除，因此仍为有理数。不同斜率对应不同过 P 直线，也对应不同第二交点，所以无穷多个有理 t 产生无穷多个圆上有理点。反向覆盖时，任意不等于 P 的圆上有理点与 P 连线的斜率也是有理数，固定点 P 单独补回即可。

六、勾股数与单位圆有理点等价

把勾股方程两边除以 c²：

$$\left(\frac ac\right)^2+\left(\frac bc\right)^2=1.$$

因此勾股数映到单位圆有理点 (a/c,b/c)。反过来，若 (x,y) 是圆上有理点，把 x,y 写成公分母形式并清除分母，就得到整数解 a²+b²=c²；再除以最大公约数即可基本化。这就是“勾股数与单位圆有理点等价”。

将 t=n/m 代入圆参数式：

$$Q\left(\frac nm\right) =\left( \frac{m^2-n^2}{m^2+n^2}, \frac{2mn}{m^2+n^2} \right),$$

分子与分母恰好是欧几里得参数化。整数路线中的公式与几何路线中的直线交点不是碰巧相似，而是同一有理参数在两个坐标系统中的表达。

代数世界与几何世界的桥梁

“代数世界与几何世界的桥梁”是本章的收束：调查方程的整数解是代数视角，观察圆上的有理点是几何视角，除以 c 把离散三元组归一化到圆周，清除分母又把有理点拉回整数。

从证明策略看，两条路线互相照亮：质因数分解解释参数何时给出基本对象；几何直线解释参数公式为何自然出现。只背 m²−n²,2mn,m²+n² 会失去条件与来源，而双路线能同时回答公式是什么、为何完整、如何构造无穷多个、几何上代表什么。

分步实验：从奇偶到圆点

⚡分步1 / 4

1. 1
2. 2
3. 3
4. 4

重置

1. 筛选：先排除不可能的奇偶组合

观察同偶、同奇和一奇一偶三种情况，分别写出公共因子 2 或模 4 余 2 的矛盾；最后确认斜边必须为奇数。

上一步播放下一步

本章回顾：一组公式连接两个世界

• 勾股数满足 a²+b²=c²；基本勾股数还要求三者最大公约数为 1。
• 基本三元组的两条直角边一奇一偶，斜边为奇数；模 4 排除同奇，基本性排除同偶。
• 平方差把方程改写成 B²=AC，成对互质与唯一分解迫使 A,C 分别为平方。
• 全部基本勾股数由互质、奇偶相反且 m>n 的参数生成。
• 固定点直线把有理斜率参数化为单位圆有理点，固定点需单独补回。

练习与答案

练习

1. 问题 1：检查一个三元组是否基本

判断 (9,12,15) 是否为基本勾股数，并说明如何从它得到一个基本勾股数；再解释为什么 (7,24,25) 通过了奇偶性检查。

查看答案

9²+12²=15²，所以它是勾股数，但三者最大公约数为 3，不是基本；除以 3 得到 (3,4,5)。在 (7,24,25) 中两条直角边一奇一偶，斜边为奇数，且三者最大公约数为 1，因此满足基本性的必要条件。

2. 问题 2：验证欧几里得参数化

用 m=4,n=1 生成三元组，检查平方和与最大公约数；再说明若把参数改成 m=3,n=1，为什么输出不再是基本三元组。

查看答案

(m²−n²,2mn,m²+n²)=(15,8,17)，平方和成立，三者最大公约数为 1。m=3,n=1 同为奇数，输出 (8,6,10)，三者有公共因子 2；公式仍产生勾股数，但不满足基本条件。

3. 问题 3：证明互质乘积为平方

给出 gcd(A,C)=1 且 AC=B² 时 A,C 分别为平方的证明要点，并指出质因数分解唯一性在其中承担什么作用。

查看答案

把每个质数在 A、C 中的指数分别记下。因为 AC 是平方，两个指数之和为偶数；因为 A、C 互质，同一质数不能同时出现在两边，所以每一边的指数本身都是偶数。质因数分解唯一性保证这些指数表示不会有另一种分解，因此 A 与 C 各自是平方。

4. 问题 4：改 Demo 代码

在参数实验中加入输入检查：拒绝 m≤n、非互质参数和同奇/同偶参数；对合法参数显示三元组、圆点坐标，并把 gcd(a,b,c) 显示为 1。

查看答案

先判断 m>n>0、gcd(m,n)=1 和参数奇偶相反，不通过时显示具体失败原因。通过后计算 a=m²−n²,b=2mn,c=m²+n²，再断言 a²+b²=c² 与 gcd(a,b,c)=1，把 (a/c,b/c) 画到单位圆上。重置按钮恢复 (m,n)=(2,1)。

名词解释

本章出现的专业名词，用大白话再讲一遍。

勾股数

满足 a²+b²=c² 的正整数三元组，也就是能组成直角三角形三边的整数。

基本勾股数

三条边没有共同因子的勾股数，通常也叫本原勾股三元组。

成对互质

任意两项的最大公约数都是 1，比三项整体互质更强。

欧几里得参数化

用 m²−n²、2mn、m²+n² 生成基本勾股数的公式及其反向分解。

单位圆上的有理点

坐标是有理数且满足 x²+y²=1 的圆上点。

过固定点的斜率参数化

从圆上的固定有理点出发，用直线斜率 t 找到另一个交点的方法。

单位圆有理点参数公式

Q(t)=((1−t²)/(1+t²),2t/(1+t²))，把有理斜率变成圆上的有理点。

正式目录节点：逐项释义

下面补齐本章正文已经涉及、但容易被公式或叙事压缩掉的节点。每一项都给出对象、验证动作与边界；它们是第2卷 第2章 勾股定理的知识证据，不是把目录标题重复一遍。

• 单位圆上的有理点：“单位圆上的有理点”在第2卷 第2章 勾股定理中承担一个可检查的概念节点：先说明它所描述的对象与问题，再沿本章的推导或实验观察一次结果，最后用边界或反例复核适用范围；这段解释把术语和可复现的判断步骤绑定起来，而不是只保留名称。
• 单位圆有理点参数公式：“单位圆有理点参数公式”是第2卷 第2章 勾股定理中的正式知识节点：本章不把它当作标题或口号，而是给出对象、操作和成立条件，再用一个具体例子完成计算或推理，并说明改变一个前提时哪一步会失效；这样才能把概念迁移到新的题目。