数学危机1.pptVIP

* 下边我们证明，当 时， 不能表成 整数比。 如果不然，有两个正整数 和 使 （不妨设 是既约分数即 ）。两端 平方得 ，即 。 由此知 是偶数。由于偶数的平方是偶 数，奇数的平方是奇数，∴ 是偶数。 * 因 “既约”， 不能再是偶数，于是 是奇数。这样 的左端，因 是奇 数而不能被4整除，右端却因 是偶数而可以 被4整除。这个矛盾说明开始的假设 是错 误的。从而 不能表成两个整数的比。证毕。 [注]：这是“反证法”的开始。 * 2）不可公度的线段 设正方形的边长为 ，对角线长为 ，如图： d a a * 根据毕达哥拉斯定理， 。 如果存在第三个线段长为 ，使得 和 都是 的整数倍，例如 , ,这里 ， 是整数. * 由 得 ，从 而，又可以类似于上一个证明导出矛盾。 所以，不可能存在长度为 的线段，使得 且 。 于是， 与 就是不可公度线段。 （严重：“可公度”涉及“成比例”， 进一步还涉及“相似形”） * 3）危机产生，封锁消息 希帕索斯泄露秘密，被抛进大海。 一个正方形的对角线与其一边的长度是不可公度的 希帕索斯(Hippasus) * 4）无理数 像 这样的数 ，和其它一些不能表成整数比的数，称为无理数。 * 称两个整数之比为有理数，而把 那样的一类数叫做无理数，即没有道理的数，原来是翻译出了问题。 rational number 是有理数的英文名称，而rational是一个多义词，含有“比的”，“有理的”意思。而词根ratio来自希腊文，完全是“比”的意思。对“rational number”正确的翻译应该是“比数”。“比数”的名称才正确反应了这类数是两个整数之比的内涵。人类在认识有理数之前，唯一知道的是自然数。那时所谓的“数”，都是自然数。把由自然数产生的数 叫做比数，其实才符合古人的原意。 * 在东方，最早把rational number 翻译过来的是日本人。可能是那个日本人英文不好，数学又不太懂，把它翻译成“有理数”。而日本文字又和汉字形似，于是中国人把这三个字照搬过来，沿用至今，形成习惯。 如果正确地把两个整数之比叫做“比数”，那么像 一类的数称为“非比数”，还是颇有道理的。 * 2. “两个量的比相等”的新定义 ——部分地消除了危机 * 两个量的比相等，即 。 约公元前370年，希腊数学家欧多克索斯和阿契塔的定义：“称四个量的第一个和第二个之比与第三个和第四个之比相等，如果取第一个和第三个量的任何相同的倍数，第二个和第四个量的任何其他的相同倍数后，从第三个量的倍数大于、等于或小于第四个量的倍数，便有第一个量的倍数对第二个量的倍数的相应关系”。 * “两个量的比相等”的这一定义，是正确的、严格的，部分地解决了危机，使几何的基础牢靠了，几何从全部数学中脱颖而出。 欧几里得的几何《原本》中也采用了这一定义，以致在以后的近二千年中，几何变成了几乎是全部严密数学的基础。 但是彻底解决这一危机是在19世纪，依赖于数系的扩充和实数理论的建立。 1871年康托给出实数的确切定义。 * 3. 无理数与数系的扩张——危机的解决 1）有理数的稠密性 定义：“一个