第一讲：勾股定理

第一讲：勾股定理及其历史背景

什么是勾股定理？

想象一下，几千年前，没有精密的测量仪器，古代的工匠如何确保宫殿的墙角是标准的直角？农夫又如何精确计算一块斜边田地的面积？这些看似简单的实际需求，背后却隐藏着一个贯穿了数千年数学史，连接了算术与几何，甚至一度引发了数学危机的深刻定理。

定理表述：

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

其中 $a$ 和 $b$ 是直角边，$c$ 是斜边。

几何意义： 这个公式代表了三个正方形面积之间的关系。

早期应用： 古人可能通过简单的实践活动，如用打了 12 个等距绳结的绳子构造 (3, 4, 5) 直角三角形来确定直角。

连接算术与几何的桥梁： 勾股定理的精妙之处在于它架起了算术与几何之间的桥梁。通过简单的代数关系（如 $3^2 + 4^2 = 5^2$）与直观的几何图形（直角三角形的边长关系）之间的对应，它揭示了数与形之间深刻的内在联系。

古代渊源

巴比伦贡献

普林顿 322 泥板（约公元前 1800 年）： 这块约公元前 1800 年的巴比伦泥板系统地记录了多组成整数对 $(a, c)$，使得存在另一个整数 $b$ 满足 $a^2 + b^2 = c^2$。这些整数组 $(a, b, c)$ 被称为”勾股数”或”毕达哥拉斯三元组”（如我们熟知的 (3,4,5)、(5,12,13) 等）。

中国古代成就

《周髀算经》： 这部成书于约公元前 1 世纪（部分内容可能更早）的数学天文学著作，是中国现存最早系统阐述勾股定理的文献之一。书中记载了商高与周公的对话，明确提出了”勾广三，股修四，径隅五”的特例，并有”故折矩，以为句广三，股修四，径隅五”的论述，显示了勾股定理在古代测量中的应用。

赵爽弦图： 公元 3 世纪，三国时期的数学家赵爽在为《周髀算经》作注时，绘制了著名的”弦图”（亦称”勾股圆方图”）。该图通过对四个全等的直角三角形和一个中心小正方形的巧妙拼接，形成一个大正方形，从而用几何方法清晰直观地证明了勾股定理（即 $a^2+b^2=c^2$）。

刘徽的”青朱出入图”： 与赵爽同时代的另一位伟大数学家刘徽，在其为《九章算术》所作的注中，也给出了勾股定理的严谨证明。他运用”出入相补”的原理，通过对图形进行割补、拼合（后人常以”青朱出入图”的意象来形象描述其方法，即用不同颜色的图形块进行变换），以动态变换的思想论证了定理。

勾股数

定义与性质

定义： 满足 $a^2 + b^2 = c^2$ 的正整数组 $(a, b, c)$。

系统生成： 古希腊数学家，特别是欧几里得（约公元前 300 年）在其《几何原本》第十卷中给出了生成所有本原勾股数（即 $a, b, c$ 没有公因数）的公式。

欧几里得公式：

$$a = p^2 - q^2, \quad b = 2pq, \quad c = p^2 + q^2$$

其中 $p, q$ 为互质整数，一个奇一个偶，$p > q$。

单位圆上的有理点： 如果 $(a, b, c)$ 是一组勾股数，那么 $(a/c, b/c)$ 就是单位圆 $x^2 + y^2 = 1$ 上的一个有理点（其坐标 $x, y$ 均为有理数）。

勾股定理的证明

图形证明

最早的证明很可能是通过图形的分割和拼接（一种”面积归纳法”）得到的。通过构造两个大正方形，它们分别包含四个相同的直角三角形，余下的面积一方面是两直角边的平方和，另一方面是斜边的平方。

欧几里得的证明

欧几里得在其《几何原本》第一卷命题 47 中给出了一个基于面积的经典证明。在第六卷命题 31 中，他利用相似三角形的性质给出了另一个更为简洁的证明。

数学危机

无理数的发现

$\sqrt{2}$ 的发现： 当考虑边长为 1 的正方形时，根据勾股定理，其对角线的长度 $d$ 满足 $d^2 = 1^2 + 1^2 = 2$，即 $d = \sqrt{2}$。

不可公度性： 毕达哥拉斯学派的成员（据传是希帕索斯）证明了 $\sqrt{2}$ 无法表示成两个整数之比，即它是一个无理数。这意味着正方形的边长和对角线是”不可公度”的——它们不存在一个公共的单位长度，可以同时量尽两者。

哲学与数学的冲击： 这一发现对毕达哥拉斯学派造成了毁灭性的打击。他们的核心信条”万物皆数”是建立在”数”即整数或整数之比（有理数）的基础之上的。$\sqrt{2}$ 的存在证明了宇宙中存在无法用他们所理解的”数”来精确度量的量。

现代影响

几何与代数的统一

距离公式：

$$d = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2}$$

几何公理化： 从希尔伯特等数学家的现代观点来看，这个距离公式可以被视为平面几何的公理化基础之一。几何的许多事实可以从代数和数的性质中推导出来，这在某种意义上”弥合”了古希腊时期数与形的分裂。

思考问题

1. 普林顿 322 泥板是如何被解读的？巴比伦人可能用了什么方法来系统地寻找勾股数？

2. 欧几里得是如何推导出生成所有（本原）勾股数的公式的？你能尝试用这个公式生成几组勾股数吗？

3. 如何理解”勾股数对应单位圆上的有理点”这一说法？丢番图是如何利用直线和圆的交点来寻找有理点坐标的？

4. 无理数（如 $\sqrt{2}$）的发现，对毕达哥拉斯学派的哲学思想造成了怎样的具体冲击？他们是如何尝试应对这个”逻辑丑闻”的？这一发现如何改变了古希腊数学的发展方向？

5. 中国古代在勾股定律上有哪些记载？周髀算经中的商高答问是否已经证明了勾股定理？