内容概述
毕达哥拉斯学派坚信万物皆依赖于整数。当一位门徒发现 √2 不是有理数时，正方形的边与对角线不可公度的几何事实动摇了学派的比例理论和相似图形理论。这一“逻辑丑闻”甚至导致泄密者被兄弟会放逐，并为其修建坟墓。
中文正文
55° 毕达哥拉斯的哲学和几何的灾难
毕达哥拉斯怀着萨沃纳罗拉（Savonarola）的激情宣扬天下万物——没有例外——都依赖于整数。于是我们可以想象，当一个兄弟发现 √2 不是有理数——不能表达为两个整数之比，因而似乎也就与整数无关——在毕达哥拉斯的信徒们看来，该是多么恐慌的事情！这个可怕发现对应的几何事实也同样令人惊讶。因为，假如 √2 不是有理数，那么正方形的边与对角线将没有共同的单位以整数度量它们的长度。而人们凭直觉坚定地相信，任何两个线段都有共同的度量单位（哪怕很小、很小的单位），这就产生了矛盾。而整个毕达哥拉斯的比例理论和相似图形的理论都建立在这似乎显而易见的假设基础上。在这致命的打击下，毕达哥拉斯的哲学基础和许多几何功绩都摇摇欲坠了。据说，这个“逻辑丑闻”太可怕，有人试图把它遮掩起来；还有传说，第一个把秘密泄露出去的门徒，被兄弟会驱逐，他们还为他修了坟墓，就当他已经死了。
英文正文
55° Pythagorean philosophy and geometry at stake. Pythagoras preached, with all the fervor of a Savonarola, that everything—simply everything—depends upon the whole numbers. Imagine the consternation, then, within the Pythagorean ranks when some Brother discovered the devastating fact that √2 is not a rational number, that is, cannot be expressed as the ratio of two whole numbers, and therefore appears to be independent of the whole numbers. The geometrical counterpart of this discovery was equally startling, for if √2 is not a rational number, it follows that a side and diagonal of a square possess no common unit of measure that can be stepped off exactly a whole number of times into each. This contradicted the firm intuitive belief that any two line segments must possess some common unit of measure, though perhaps very, very small. Now the entire Pythagorean theory of proportion and similar figures was built upon this seemingly obvious assumption. In one fell stroke, both the basic Pythagorean philosophy and much of Pythagorean accomplishment in geometry were threatened. It is reported that so great was the "logical scandal" that efforts were made for a while to keep the matter secret, and one legend has it that the first Pythagorean to divulge the secret to outsiders was banished from the Brotherhood and a tomb was erected for him as though he were dead.
相关题目
- 题目：无
- 提示：无
- 解答或证明：无
（原书未给出任何题目、提示或证明。）
我们可以从故事中思考什么
- 为什么 √2 不是有理数会威胁毕达哥拉斯主义？
- “正方形的边与对角线没有共同度量单位”是什么意思？
- 毕达哥拉斯学派的比例理论和相似图形理论建立在什么假设上？
- 数学史上还有哪些发现曾动摇既有的理论基础？
- 直觉在数学发现中起什么作用？它可能出错吗？
核心知识点讲解：√2 的无理性与可公度性
选择理由
故事围绕 √2 不是有理数这一发现展开，并阐明它如何同时动摇毕达哥拉斯的哲学基础与几何成就，因此“√2 的无理性与可公度性”是故事的核心知识点。
概念介绍
有理数是可以表示为两个整数之比的数；不能这样表示的数称为无理数。√2 的无理性意味着：边长为 1 的正方形，其对角线长为 √2，无法找到任何小的长度单位，使得边和对角线都是该单位的整数倍。这种现象称为“不可公度”。
具体内容
- 有理数与无理数：
- 有理数：可写成 p/q（p、q 为整数，q ≠ 0）的数； - 无理数：不能写成上述形式的数，如 √2、√3、π 等。
- √2 的无理性：
- 用反证法可证明：假设 √2 = p/q（最简分数），则 p² = 2q²，导致 p² 为偶数，p 为偶数，设 p = 2k，代入得 q² = 2k²，q 亦为偶数，与“最简”矛盾。
- 可公度性：
- 两条线段若存在共同度量单位，使它们都是该单位的整数倍，则称为可公度； - 正方形边与对角线不可公度，因为 √2 是无理数。
- 对毕达哥拉斯学派的冲击：
- 比例理论和相似图形理论建立在“任何两条线段可公度”的假设上； - √2 的无理性使这一假设崩塌，威胁其哲学与几何体系。
- 历史影响：这一发现被视为第一次数学危机的萌芽，推动了古希腊数学向更严格公理化方向发展。
应用场景
- 中学数学：理解有理数、无理数、实数的分类；
- 几何教学：解释不可公度线段与相似形的严格基础；
- 数学史：讨论第一次数学危机与公理化思想的发展。
与生活的联系
我们用尺子量长度时，总以为可以无限细分，但实际上有些长度（如 √2）无法精确表示为有限小数或分数。理解无理数帮助我们认识测量的局限性，也理解计算器显示的 √2 ≈ 1.414 只是近似值。
主要思想方法与延伸讨论
主要思想方法
- 反证法：证明 √2 无理性的经典方法。
- 逻辑推演：从“√2 无理”推出“边与对角线不可公度”。
- 历史反思：通过一次数学发现审视其哲学后果。
延伸讨论
- 用反证法证明 √2 是无理数。
- 为什么人们直觉上认为任何两条线段都可公度？
- 数学危机如何推动数学进步？
- 如果你是那个发现 √2 无理的门徒，你会选择保密还是公开？