欧几里得77、√２的存在把人们以前所知道的事情的根本给推翻了

“实际上，这一伟大发现（边长为1的正方形其对角线长度既不能用整数，也不能用分数表示，而只能用一个新数来表示）不但是对毕达哥拉斯学派的致命打击…对于当时所有古希腊人的观念这都是一个极大的冲击…”学霸数学继续说，“这一结论的悖（bèi）论性表现在它与常识的冲突上…”

…常识：即普通知识。一个生活在社会中的心智健全的成年人所应该具备的基本知识，包括生存技能（生活自理能力）、基本劳作技能、基础的自然科学以及人文社会科学知识等…这里指古希腊人的常识…

…古希腊人的常识…之一：任何量，在任何精确度的范围内都可以表示成有理数…

…学霸数学：网友网名，见《欧几里得76》…

…悖：1.相反；违反：并行不～。2.违背道理；错误：～谬…

…悖论：逻辑学指可以同时推导或证明两个互相矛盾的命题的命题或理论体系…

“‘任何量，在任何精确度的范围内都可以表示成有理数’，这不但在希腊当时是人们普遍接受的信仰，就是在今天，测量技术已经高度发展时，这个断言也毫无例外是正确的！”学霸数学最后说。

…信仰：见《欧几里得76》…

“可是，为我们的经验所确信的，完全符合常识的论断，居然因小小的√２的存在而被推翻了！”学霸数学说，“这应该是多么违反常识，多么荒谬的事！…它简直把人们以前所知道的事情的根本给推翻了…更糟糕的是，面对这一荒谬人们竟然毫无办法…”

“这在当时直接导致了人们认识上的危机，从而导致了西方数学史上一场大的风波，史称‘第一次数学危机’…” 学霸数学接着说，“希帕索斯正是因为这一数学发现，而被毕达哥拉斯学派的人投进了大海，处以‘淹死’的惩罚…”

“约在公元前370年，柏拉图的学生欧多克斯解决了关于无理数的问题（见《欧几里得19》）…他纯粹用公理化方法创立了新的比例理论，微妙地处理了可公度和不可公度…”学霸数学继续说，“他处理不可公度的办法，被欧几里得《几何原本》第二卷（比例论）收录。并且和狄德金于1872年绘出的无理数的现代解释（见《欧几里得24~38》）基本一致…”

…公度和公约：对于两条线段a，b，总能找到第三条线段c，使得这两条线段都可以分成c的整数倍，这时我们就说，c是a、b的度量单位，并说a、b是可公约的或可公度的…

“21世纪后的中国中学几何课本中对相似三角形的处理，仍然反映出由不可通约量而带来的某些困难和微炒之处…”学霸数学最后说。

…相似三角形：三角分别相等，三边成比例的两个三角形叫做相似三角形…

…通约：通分，约分，简称“通约”…

…不可通约量：不能通分或约分的量（即不能化为分数的数）…

““毕达哥拉斯学派倡导的是一种被称为‘唯数论’的观点…他们认为宇宙的本质是数的和谐…”大颖子接着说，“他们认为万物皆数，而数只有两种，就是正整数和可通约的数（即分数——两个整数的比）， 除此之外不再有别的数…即是说世界上只有整数或分数。”

请看下集《欧几里得78、通分，约分，分数的基本性质；东西方研究无理数的差异…》”

若不知晓历史，便看不清未来

欢迎关注博客"人性的游戏"或微博"人性的游戏"