内容概述
故事讲述19世纪末的数学成就：从关于正整数的公理化假设出发，不增加其他假设，便可依次得到所有整数、所有有理数和所有实数。因为无理数（如 √2）也属于实数，所以在实数系统的意义上，古老的毕达哥拉斯信念——“万物都依赖于整数”——在今天得到了证明。
中文正文
56° 证明毕达哥拉斯
每个学大学数学的同学，都熟悉19世纪末以前的惊人的数学成就，它们从关于正整数的假设出发，不需要更多的假定，就得到了所有整数的集合，然后得到所有有理数的集合、所有实数的集合。因为无理数（如 √2）属于实数，于是我们看到，至少在实数系统下，古老的毕达哥拉斯信仰在今天得到了证明：万物都依赖于所有的数。
英文正文
56° Pythagoras justified. Every student of college mathematics learns of the remarkable mathematical accomplishment made toward the end of the nineteenth century wherein, by starting from a postulational development of the whole numbers (that is, positive integers) and making no further assumptions, one first obtains the set of all integers, then the set of all rational numbers, and then the set of all real numbers. Since the irrational numbers, like √2, are among the real numbers, we see that, at least so far as the real number system is concerned, the ancient Pythagorean belief that everything depends upon the whole numbers is today justified.
相关题目
- 题目：无
- 提示：无
- 解答或证明：无
（原书未给出任何题目、提示或证明。）
我们可以从故事中思考什么
- 为什么说无理数（如 √2）的发现曾给毕达哥拉斯学派带来“逻辑丑闻”？
- 19 世纪数学家如何从正整数出发构造出整数、有理数、实数？
- “万物都依赖于所有的数”与“万物都依赖于整数”有什么差别？
核心知识点讲解：数系的扩充与实数系统
选择理由
故事的核心是19世纪末数学家从正整数公理出发，依次构造整数、有理数、实数的过程；并指出无理数（如 √2）属于实数，使毕达哥拉斯“万物皆数”的信念在实数系统内得到证明。因此“数系的扩充与实数系统”是最能代表故事内核的知识点。
概念介绍
数系的扩充是从最基本的“正整数”（自然数）出发，逐步引入负数、分数、无理数，最终形成能够描述连续量的“实数系统”的过程。每一次扩充都是为了解决原有数系不能表达或不能运算的问题。
具体内容
- 正整数与整数：从正整数（1, 2, 3, …）加入 0 和负数，得到整数集 ℤ，使减法总可施行。
- 有理数：整数扩充为分数形式 p/q（q≠0），得到有理数集 ℚ，使除法（除零外）总可施行。
- 无理数：如 √2、π 等不能表示为两个整数之比的数，满足连续量与极限的需要。
- 实数：有理数与无理数共同构成实数集 ℝ，具有完备性，能够对应数轴上的每一个点。
- 故事中的“证明”：从正整数公理出发构造出实数，意味着无理数并不游离于“数”之外；毕达哥拉斯“万物皆数”的信仰在“所有数”（实数）的意义上获得新的合法性。
应用场景
- 测量与几何：线段长度、面积、体积常需要无理数与实数。
- 极限与微积分：实数完备性是极限运算、连续函数的基础。
- 物理建模：时间、距离、能量等连续量用实数描述。
与生活的联系
学生在生活中已经接触过不同类型的数：正整数用于计数，负数表示温度或债务，分数表示部分，无理数如 √2 表示正方形对角线。理解数系扩充，有助于把“整数不能表达一切”的困惑转化为“需要更大的数系”的自然需求。
主要思想方法与延伸讨论
主要思想方法
- 公理化构造
- 数系的逐步扩充
- 逻辑一致性
- 从特殊到一般（从整数到实数）
延伸讨论
- 为什么古希腊人难以接受 √2 不是有理数？
- 从正整数构造实数的过程中，最关键的一步是什么？
- 实数系统的“完备性”在日常生活中有哪些体现？