| |
|
|
|
| 首页 -> 哲学 -> 欧几里得 -> 正文阅读 |
[哲学]欧几里得[第6页] |
| 作者:人性的游戏1 |
| 首页 上一页[5] 本页[6] 下一页[7] 尾页[7] [收藏本文] 【下载本文】 |
|
当然得有公理啦，你能够提出公理外的东西？不能，一加一等于二怎么质疑？？无法质疑，就算质疑了，也没办法找到别的算法和结果了 |
|
欧几里得76、平凡之人；√２与第一次数学危机；希帕索斯的疑问 “在东方，最早把rational numble翻译过来的是一个日本人。可能那个日本人的英语不好，数学又不精通，就把它翻译成‘有理数’。而中国当时是从日本那里接触西方文化的，日本字又与汉字形似，于是中国人把这三个字照搬过来…现在形成习惯，已经积重难返了…”荟（huì）文苑（yuàn）说。 …荟文苑：某老师在网上的名字，见《欧几里得13》… “荟文苑老师的见解（见前文）…即便在中国学术界，也是出类拔萃的…”现代学者说。 “荟文苑老师的资料很少…她网上名片上只有一句话：平凡之人…”现代学者接着说。 … 网友“学霸数学”针对第一次数学危机，写了篇名为《√２与第一次数学危机》的文章… “每一次危机都是进步，数学如此，人类如此！”学霸数学说。 “啥，数学发展史上还有危机？什么危机，难道是没有人学数学了？当然不是，而是数学发展在当时遇到了挑战，当时人们的认知水平没有达到…由此产生的冲击，”学霸数学接着说。 …认知：通过思维活动认识、了解… …认知水平：人对外界事物认识、判断、评价的能力…认知水平的高低与实践经验、知识水平、思维能力、信息储量等因素有关，是影响人们思想形成的主观因素之一… …主观：指属于人的意识、精神方面的东西。与“客观”相对… “了解危机之前我们先了解一下当时的背景：公元前500年左右，兴旺于古希腊的毕达哥拉斯学派…”学霸数学继续说，“毕达哥拉斯学派认为：万物皆数（整数）；数学的知识是可靠的、准确的，而且可以应用于现实的世界；数学的知识由于纯粹的思维而获得，不需要观察、直觉和日常经验；一切数均可表示成整数或整数之比…” “这些是这一学派的数学信仰…”学霸数学最后说。 …信仰：1.对某人或某种主张、主义、宗教极度相信和尊敬，拿来作为自己行动的榜样或指南：宗教～（百度汉语）。2.人瞬间的想法叫思想，人坚持很长时间的想法叫信仰。一个人的想法叫思想，一群人的想法叫信仰（《自然科学价值观》）… “然而有一天，本学派的希帕索斯产生一个疑问：边长为1的正方形其对角线长度是多少呢？…”学霸数学说，“他发现这一长度既不能用整数，也不能用分数表示，而只能用一个新数来表示…” …希帕索斯及其疑问：见《欧几里得12》… “希帕索斯的发现导致了数学史上第一个无理数√２的诞生…小小的√２，在当时的数学界掀起了一场巨大风暴：它直接动摇了毕达哥拉斯学派的数学信仰，使毕达哥拉斯学派为之大为恐慌…”学霸数学接着说。 “实际上，这一伟大发现不但是对毕达哥拉斯学派的致命打击…对于当时所有古希腊人的观念这都是一个极大的冲击…”学霸数学继续说，“这一结论的悖（bèi）论性表现在它与常识的冲突上：任何量，在任何精确度的范围内都可以表示成有理数…” ““这在当时直接导致了人们认识上的危机，从而导致了西方数学史上一场大的风波，史称‘第一次数学危机’…” 学霸数学说，“希帕索斯正是因为这一数学发现，而被毕达哥拉斯学派的人投进了大海，处以‘淹死’的惩罚…” 请看下集《欧几里得77、√２的存在把人们以前所知道的事情的根本给推翻了》” 10 |
|
欧几里得77、√２的存在把人们以前所知道的事情的根本给推翻了 “实际上，这一伟大发现（边长为1的正方形其对角线长度既不能用整数，也不能用分数表示，而只能用一个新数来表示）不但是对毕达哥拉斯学派的致命打击…对于当时所有古希腊人的观念这都是一个极大的冲击…”学霸数学继续说，“这一结论的悖（bèi）论性表现在它与常识的冲突上…” …常识：即普通知识。一个生活在社会中的心智健全的成年人所应该具备的基本知识，包括生存技能（生活自理能力）、基本劳作技能、基础的自然科学以及人文社会科学知识等…这里指古希腊人的常识… …古希腊人的常识…之一：任何量，在任何精确度的范围内都可以表示成有理数… …学霸数学：网友网名，见《欧几里得76》… …悖：1.相反；违反：并行不～。2.违背道理；错误：～谬… …悖论：逻辑学指可以同时推导或证明两个互相矛盾的命题的命题或理论体系… “‘任何量，在任何精确度的范围内都可以表示成有理数’，这不但在希腊当时是人们普遍接受的信仰，就是在今天，测量技术已经高度发展时，这个断言也毫无例外是正确的！”学霸数学最后说。 …信仰：见《欧几里得76》… “可是，为我们的经验所确信的，完全符合常识的论断，居然因小小的√２的存在而被推翻了！”学霸数学说，“这应该是多么违反常识，多么荒谬的事！…它简直把人们以前所知道的事情的根本给推翻了…更糟糕的是，面对这一荒谬人们竟然毫无办法…” “这在当时直接导致了人们认识上的危机，从而导致了西方数学史上一场大的风波，史称‘第一次数学危机’…” 学霸数学接着说，“希帕索斯正是因为这一数学发现，而被毕达哥拉斯学派的人投进了大海，处以‘淹死’的惩罚…” “约在公元前370年，柏拉图的学生欧多克斯解决了关于无理数的问题（见《欧几里得19》）…他纯粹用公理化方法创立了新的比例理论，微妙地处理了可公度和不可公度…”学霸数学继续说，“他处理不可公度的办法，被欧几里得《几何原本》第二卷（比例论）收录。并且和狄德金于1872年绘出的无理数的现代解释（见《欧几里得24~38》）基本一致…” …公度和公约：对于两条线段a，b，总能找到第三条线段c，使得这两条线段都可以分成c的整数倍，这时我们就说，c是a、b的度量单位，并说a、b是可公约的或可公度的… “21世纪后的中国中学几何课本中对相似三角形的处理，仍然反映出由不可通约量而带来的某些困难和微炒之处…”学霸数学最后说。 …相似三角形：三角分别相等，三边成比例的两个三角形叫做相似三角形… …通约：通分，约分，简称“通约”… …不可通约量：不能通分或约分的量（即不能化为分数的数）… ““毕达哥拉斯学派倡导的是一种被称为‘唯数论’的观点…他们认为宇宙的本质是数的和谐…”大颖子接着说，“他们认为万物皆数，而数只有两种，就是正整数和可通约的数（即分数——两个整数的比）， 除此之外不再有别的数…即是说世界上只有整数或分数。” 请看下集《欧几里得78、通分，约分，分数的基本性质；东西方研究无理数的差异…》” 10 |
|
欧几里得78、通分，约分，分数的基本性质；东西方研究无理数的差异… …通分：根据分数的基本性质，把几个异分母分数化成与原来分数相等的同分母分数的过程，叫做通分（百度百科）；把几个分母不同的分数化成分母相同而数值不变的分数。通分后的相同分母叫做公分母，通常用各分数分母的最小公倍数作为公分母。如1/2和1/3通分后得3/6和2/6（百度汉语）… …约分：把分数化成最简分数的过程叫约分（百度百科）；用分子和分母的公约数同时除分子和分母，使分子、分母都比原来小而分数值不变。如16/64约分成1/4（百度汉语）… “约分是把一个分数的分子、分母同时除以公约数，分数的值不变…约分的依据是分数的基本性质…”现代百姓说。 …分数的基本性质：分数的分子和分母同时乘或者除以一个相同的数（0除外），分数的大小不变… “约分时，如果能很快看出分子和分母的最大公约数…直接用它们的最大公约数去除比较简便…”现代百姓接着说。 … 第一次数学危机：是数学史上的一次重要事件，发生于大约公元前400年左右的古希腊。自根号2的发现起，到公元前370年左右，以无理数的定义出现为结束标志…这次危机的出现冲击了一直以来在西方数学界占据主导地位的毕达哥拉斯学派，同时标志着西方世界关于无理数的研究的开始。 “据史籍记载，古代的希腊和中国，很早就发现了无理数。然而东西方却通过不同的途径来认识和发展无理数的理论…”现代学者说，“希腊人着眼于几何量的长度关系，从线段不可公度的几何角度入手，用逻辑方法进行探讨；中国人着重满足实际应用的数的运算，从开方不尽的计算过程入手，通过计算方式来认识并建立其法则…” … “公元前六世纪，在古希腊学术界占统治地位的毕达哥拉斯学派，其思想在当时被认为是绝对权威的真理…”网友“大颖（yǐng）子”说。 …颖：1.稻、麦等禾谷子实带芒的外壳。2.锥子杆儿前端固定针的金属环。也指某些小而细长东西的尖端：脱～而出。3.聪明：～悟… “毕达哥拉斯学派倡导的是一种被称为‘唯数论’的观点…他们认为宇宙的本质是数的和谐…”大颖子接着说，“他们认为万物皆数，而数只有两种，就是正整数和可通约的数（即分数——两个整数的比）， 除此之外不再有别的数…即是说世界上只有整数或分数。” …数的和谐：见《欧几里得16》… …即：就着（当前环境）：～景… …即是：就是… …即是说：就是说… “毕达哥拉斯学派在数学上的一项重大贡献是证明了毕达哥拉斯定理，也就是我们所说的勾股定理…”大颖子继续说，“勾股定理指出，直角三角形三边应有如下关系：两条直角边的平方和等于斜边的平方…” “然而不久毕达哥拉斯学派的一个学生希伯斯（通常译为希帕索斯）发现了这个论断的问题…”大颖子最后说。 “历史上，人们对“证明根号2是无理数”很感兴趣（就像人们对证明勾股定理很感兴趣一样）…“根号2是无理数”的证明方法层不出穷…以下是常见的几种： 请看下集《欧几里得79、普通人也会的高等数学：用奇数偶数，推出毕达哥拉斯悖论》” 10 |
|
欧几里得79、普通人也会的高等数学：用奇数偶数，推出毕达哥拉斯悖论 “希伯斯发现边长相等的正方形其对角线长并不能用整数或整数之比表示…”大颖（yǐng）子说。 …大颖子：网友网名，见《欧几里得78》… “假设正方形边长为1…设其对角线长为d…依勾股定理有d2=12+12=2（d的平方=1的平方+1的平方=2），即d2=2（d的平方=2）…那么d是多少呢？”大颖子接着说。 “显然d不是整数，那它必是两整数之比（分数）…希伯斯花了很多时间来寻找这两个整数之比，结果没找着，反而找到了两数不可通约的证明…”大颖子继续说。 …通约：通分，约分，简称“通约”… …不可通约：不能通分，约分… “通分需分子分母同时乘一个数，约分需分子分母同时除一个数…”一位爱学习的女生说，“什么数不能通分约分呢？——整数、分数以外的数不能通分约分~” … 边长为1的正方形，对角线长为d…d如果是两整数之比，则两整数不可通约…用反证法证明如下：设直角△ABC两直角边为a=b，斜边为c，依勾股定理有c2=2a2（c的平方=2×a的平方）。 设已将a和c中的公约数约去，a为偶数。 由于a，c没有公约数2所以c为奇数。 “c2=2a2（c的平方=2×a的平方）”…a的平方的二倍是偶数，a的平方的二倍=c的平方，所以c的平方是偶数…奇数平方是奇数，偶数平方是偶数，所以c为偶数。 这与前面已证c为奇数矛盾。 设已将a和c中的公约数约去，a为奇数。 “c2=2a2（c的平方=2×a的平方）”…c2（c的平方）为偶数…奇数平方为奇数，偶数平方为偶数，所以c为偶数。 不妨令c=2m，则有：（2m）2=2a2——（2m）的平方=2×a的平方 （2m）2=2a2化简一下得2×m2=a2（2×m的平方=a的平方）…于是a为偶数。 这与前提a为奇数矛盾。 以上发现历史上称为毕达哥拉斯悖论。 …悖：1.相反；违反：并行不～。2.违背道理；错误：～谬… …悖论：逻辑学指可以同时推导或证明两个互相矛盾的命题的命题或理论体系… … 历史上，人们对“证明根号2是无理数”很感兴趣（就像人们对证明勾股定理很感兴趣一样）…“根号2是无理数”的证明方法层不出穷…以下是常见的几种： 欧几里得《几何原本》中的证明方法： 证明√2是无理数 设√2不是无理数 ∴√2是有理数 … ∴：数学符号“所以”…雷恩是首个以符号“∴”表示“所以”（therefore）的人（“主要是因为写字母太麻烦了~”雷恩说。），他于1659年的一本代数书中以“∴”及“∴”两种符号表示“所以”，其中以“∴”用得较多。而该书1668年的英译本亦以此两种符号表示“所以”，但以“∵”用得较多…至18世纪中，“∵”用以表示“所以”至少和“∴”用得一样多。到了1827年，由剑桥大学出版的欧几里得《几何原本》中分别以“∵”表示“因为”，及以“∴”表示“所以”…这用法日渐流行，且沿用至今。 “公约数只有1的两个整数，叫做互质整数… 请看下集《欧几里得80、数学符号“∴”；欧几里得证明√2是无理数的方法；排中律》” 10 |
|
几里得81、排中律2；矛盾；命题；真命题 排中律1：形式逻辑的基本规律之一…指在肯定、否定之间必选其一，不能都不选。也就是对同一问题做的两个互相矛盾的判断中，必有一个是真的，非此即彼，不能都否定。如在“甲是乙”和“甲不是乙”这两个判断中，一定有一个是对的，有一个是错的，没有第三种可能…违反这条规律…会犯模棱两可的错误（百度汉语）。 …形式：某物的样子和构造，区别于该物构成的材料…即“事物的外形”；也指办事方法… …逻辑：规律… …形式逻辑：事物样子、构造的规律… …模棱（léng）：含糊，不明确，不肯定… …两可：这样也可以，那样也可以… …模棱两可：对问题或事物正反两方面，持既不肯定、也不否定的态度（百度汉语）；指不表示明确的态度，或没有明确的主张，对问题正反两面态度模糊（百度百科）… 排中律2：指两个相互矛盾的命题不能同假，必有一真，即“要么A要么非A”。 “排中律要求不能对不能同假的命题（矛盾关系、反对关系）同时加以否定…”现代学者说，“比如有一块空地可以种庄稼，甲、乙两人讨论这块地该种什么庄稼好。甲一会儿说应该种玉米，一会儿又说不应该种玉米。针对甲的说法，乙说：‘你的两种意见，我都不同意。’…” “在这里，甲的说法就违反了矛盾律的要求，犯了‘自相矛盾’的错误，因为他同时肯定了这块空地‘应该种玉米’和‘不应该种玉米’这两个相互矛盾的判断…”现代学者接着说，“而针对甲的说法，乙的说法就违反了排中律的要求，因为排中律认为两个互相矛盾的判断不能同假，而乙恰好断定上述两个判断都是假的…也就是说：这块地要不就是应该种玉米，要不就是不应该种玉米，二者必有其一…”现代学者最后说。 …矛盾：1.矛和盾是古代两种作用不同的武器。古代故事传说，有一个人卖矛和盾，夸他的盾最坚固，什么东西也戳（chuō）不破；又夸他的矛最锐利，什么东西都能刺进去。旁人问他，“拿你的矛来刺你的盾怎么样？”那人没法回答了（见于《韩非子·难一》）。后来“矛盾”连用，比喻言语或行为自相抵触的现象：～百出。他的观点前后有～。2.形式逻辑中指两个概念互相排斥或两个判断不能同时是真也不能同时是假的关系… …命题：1、逻辑学指表达判断的语言形式，由系词把主词和宾词联系而成。例如：“北京是中国的首都”，这个句子就是一个命题。2、在数学中，一般把判断某一件事情的陈述句叫做命题… …真：真实（跟“假、伪”相对）：～心诚意。千～万确。去伪存～。这幅宋人的水墨画是～的… …真命题（true statement）：数学中，把用语言、符号或式子表达的，可以判断真假的陈述句叫做命题。命题真值只能取两个值：真或假。真对应判断正确，假对应判断错误。任何命题的真值都是唯一的。称真值为真的命题为真命题… “矛盾律：对同一个问题作的两个相反的判断，不能都是真的。如对“甲是乙”和“甲不是乙”两个判断，不能都加以肯定，至少要否定一个。违反这条规律，会犯自相矛盾的错误。 请看下集《欧几里得82、命题的真值；“正确”，“错误”；矛盾律；假命题》” 10 |
|
欧几里得82、命题的真值；“正确”，“错误”；矛盾律；假命题 …真命题（true statement）：数学中，把用语言、符号或式子表达的，可以判断真假的陈述句叫做命题。命题真值只能取两个值：真或假。真对应判断正确，假对应判断错误。任何命题的真值都是唯一的。称真值为真的命题为真命题… （…命题：见《欧几里得81》…） …值：1.价值；数值。2.数学上按照数学式演算所得的结果：比～。函数～… …真值：命题的真值… … 逻辑学中的真值指的是什么？——网友提问 “指每个命题都有真假两个值…”网友“远山如我”说。 … …命题的真值：命题为真、或命题为假，这两个结果，叫命题的真值… …假：虚伪的；不真实的；伪造的；人造的（跟“真”相对）：～话。～发。～山。～证件。～仁～义… “‘假’就是不符合事实…”现代百姓说。 …正确：符合事实、或某种标准：答案～。～的意见。实践证明这种方法是～的… …错误：不符合事实、或某种标准：～思想。～的结论… …命题真值只能取两个值——真或假。真对应判断正确，假对应判断错误：命题真值只能取两个值——真或假。真值为真的命题是正确命题，真值为假的命题是错误命题… 矛盾律：对同一个问题作的两个相反的判断，不能都是真的。如对“甲是乙”和“甲不是乙”两个判断，不能都加以肯定，至少要否定一个。违反这条规律，会犯自相矛盾的错误（百度汉语）。 “矛盾律也叫不矛盾律…”现代百姓说。 矛盾律2：通常被表述为A必不非A（A一定不是非A），或A不能既是B又不是B…对同一对象不能同时作出两个矛盾的判断，即不能既肯定它，又否定它…在传统逻辑里 ，矛盾律首先是作为事物规律提出来的，意为任一事物不能同时既具有某属性又不具有某属性…它作为思维规律，则指任一命题不能既真又不真（百度百科）。 …思维：思考的过程… “矛盾律指对两个矛盾的判断不能同时承认它们都是真的…它们中至少有一个是假的…如果违反了矛盾律的要求，就会出现思维上的前后不一，自相矛盾…”现代百姓说。 “矛盾律指对同一对象不能同时作出两个矛盾的判断，即不能既肯定它，又否定它。如不能说‘水是物质’，同时又说‘水不是物质’…‘水是物质’‘水不是物质’这两个判断中必有一个是假的…”另一位现代百姓说。 “矛盾律要求思想前后一贯，不能自相矛盾…公式是：‘A必不非A（A一定不是非A）’或‘A不既B又非B（A不能既是B又不是B）’…”现代百姓接着说。 … …假命题：真值为假的命题… 反证法：证明定理的一种方法。先提出和定理中的结论相反的假定，然后从这个假定中得出和已知条件相矛盾的结果来，这样就否定了原来的假定而肯定了定理。也叫归谬法（百度汉语）。 ““反证法通过证明与命题相矛盾的命题（即反命题）为假，来证明命题为真…”现代百姓说。 请看下集《欧几里得83、欧几里得运用反证法，排中律，逻辑关系等知识进行证明》” 10 |
|
欧几里得83、欧几里得运用反证法，排中律，逻辑关系等知识进行证明 反证法：证明定理的一种方法。先提出和定理中的结论相反的假定，然后从这个假定中得出和已知条件相矛盾的结果来，这样就否定了原来的假定而肯定了定理。也叫归谬法（百度汉语）。 …谬：1.错误的；荒唐的。2.差错… 反证法2：通过断定与论题相矛盾的判断（即反论题）的虚假来确立论题的真实性的论证方法。反证法的论证过程如下：首先提出论题；然后设定反论题，并依据推理规则进行推演，证明反论题的虚假；最后根据排中律——既然反论题为假，原论题便是真的。 …排中律：见《欧几里得80、81》… “反证法通过证明与命题相矛盾的命题（即反命题）为假，来证明命题为真…”现代百姓说。 … “欧几里得证明‘√2是无理数’过程中，先提出‘√2是无理数’的反命题——√2不是无理数（见《欧几里得80》）…”现代学者说。 “根据当时的学问，数要么是有理数，要么是无理数，没有第3种可能…”现代学者接着说，“√2不是无理数…根据排中律…√2是有理数…” “欧几里得依据‘√2是有理数’进行推导…推导出了错误命题…”现代学者继续说。 …欧几里得推导出的错误命题：p、q有公约数2，这与前提“p、q互质”矛盾…见《欧几里得80》… “根据逻辑关系‘公理是对的，推导方法是对的，那么得出的推论也是对的’知：推论是错的，推导方法、公理至少有一项是错的…”现代学者最后说。 “欧几里得的推导方法是对的…那么…根据‘推导方法、公理至少有一项是错的’知，欧几里得依据的公理是错的…”现代学者说。 “公理是‘√2是有理数’…”现代学者接着说。 “‘√2是有理数’是错的，那么…根据排中律，‘√2是有理数’的反命题——‘√2不是有理数’就是对的…”现代学者继续说。 “数要么是有理数，要么是无理数，没有第3种可能…√2不是有理数，根据排中律，√2是无理数…”现代学者最后说，“由此，‘√2是无理数’得证。” “‘先提出反命题…’这种证明方法是反证法…欧几里得证明‘√2是无理数’过程中，运用了反证法、排中律、逻辑关系等知识…”现代学者说。 … “√2是无理数”有诸多证明方法…网友“寂寞de小老鼠”曾用一篇文章描述这些方法… 文章名是《证明根号2是无理数的八种方法》… “√2是一个非常著名的无理数，第一个发现并坚持这个结果的希帕索斯因此付出了生命的代价（见《欧几里得13》）——后世的数学史家所说的‘第一次数学危机’盖源于此…”寂寞de小老鼠说。 “风暴过去后，唤醒的却是数学家们对数的重新认识…实数的概念开始确立…”寂寞de小老鼠接着说，“在此意义上讲，√2的发现是人们对真理的追求、探索以致明朗的一个极好例证…” …实数：见《欧几里得21》… “质数：大于1的自然数中，除了1和它本身以外不再有其他因数的自然数。 请看下集《欧几里得84、数学符号“（a，b）”；质数，互质数，互质数定理；完全平方数》” 10 |
|
欧几里得84、数学符号“（a，b）”；质数，互质数，互质数定理；完全平方数 “换一个角度来看这个数（根号2），我们可以把它看作一根‘晾衣绳’，上面挂着许多有趣的方法，值得你仔细玩味…我准备从不同的角度来证明√2是一个无理数，从而体会这一点…”寂寞de小老鼠最后说。 …寂寞de小老鼠：网友网名，见《欧几里得83》… 证法1：尾数证明法 “假设√2是一个有理数，即√2可以表示为一个分数的形式√2=a/b。其中（a，b）=1，a与b都是正整数。则a2=2b2（a的平方=2×b的平方）…”寂寞de小老鼠说。 … （a，b）=1什么意思？？——网友提问 “（a，b）=1，即 a 与 b 最大的公因数是1…”网友“小小芝麻大大梦”说，“在数论中，记法（a，b）表示整数a与整数b的最大公约数（greatest common divisor，也译作最大公因数），即所有能同时整除 a 与 b 的正整数中最大的那一个…” “比如，能同时整除 18 和 24 的正整数一共有四个：1，2，3，6。其中 6 最大，那么（18， 24）=6…”小小芝麻大大梦接着说，“（a，b）=1，即 a 与 b 最大的公因数是1（所有比 1 大的正整数都不能同时整除 a 和 b）…就是说，a与b互为质数…” …质数：大于1的自然数中，除了1和它本身以外不再有其他因数的自然数… …互为质数一般指互质数… …互质数：公因数只有1的两个非零自然数，叫做互质数… …互质数具有以下定理： （1）公因数只有1的两个非零自然数,叫做互质数。举例：2和3，公因数只有1，为互质数； （2）1和任何自然数互质。两个不同的质数互质。一个质数和一个合数，这两个数不是倍数关系时互质。不含相同质因数的两个合数互质。 （3）任何相邻的两个数互质… …合数：自然数中除了能被1和本身整除外，还能被其他数（0除外）整除的数。与之相对的是质数，而1既不属于质数也不属于合数。最小的合数是4… …因数：整数a除以整数b（b≠0）的商正好是整数而没有余数，我们就说b是a的因数…例如：6÷3=2，3是6的因数… …质因数：用做因数的质数… … “由于完全平方数b2（b的平方）的尾数只能是0、1、4、5、6、9中的一个，因此2×b2（2×b的平方）的尾数只能是0、2、8中的一个…”寂寞de小老鼠接着说。 …完全平方数：完全平方指用一个整数乘以自己，例如1×1，2×2，3×3等，依此类推…；若一个数能表示成某个整数的平方的形式，则称这个数为完全平方数；完全平方数是非负数… …完全平方数2：如果一个正整数a是某一个整数b的平方，那么这个正整数a叫做完全平方数。零也可称为完全平方数…完全平方数性质如下：（1）个位数字只能是 0， 1，4，5，6，9 ；（2）任何偶数的平方一定能被 4 整除… “∵ a2（a的平方）=a×a，a×a含有因数5 ∴ a含有因数5（此处运用了排中律） 请看下集《欧几里得85、√2是无理数的证明方法：尾数分析法；奇偶分析法》” 10 |
|
欧几里得85、√2是无理数的证明方法：尾数分析法；奇偶分析法 “由于完全平方数b2（b的平方）的尾数只能是0、1、4、5、6、9中的一个，因此2×b2（2×b的平方）的尾数只能是0、2、8中的一个…”寂寞de小老鼠接着说。 …尾数0、1、4、5、6、9，分别乘以2得0、2、8、10、12、18：新数的尾数为0、2、8。 …完全平方数：见《欧几里得84》… …寂寞de小老鼠：网友网名，见《欧几里得83》… “因为a2=2b2（a的平方=2×b的平方），所以a2（a的平方）与2b2（2×b的平方）的尾数都是0…”寂寞de小老鼠继续说。 …a2（a的平方）的尾数为0、1、4、5、6、9中的一个，2b2（2×b的平方）的尾数为0、2、8中的一个，a2=2b2（a的平方=2×b的平方）。满足上述条件的尾数只有0。因此，a2（a的平方）与2b2（2×b的平方）的尾数都是0。 “因此，b2（b的平方）的尾数只能是0或5…”寂寞de小老鼠最后说。 …2b2的尾数是0，b2（b的平方）的尾数为0、1、4、5、6、9中的一个。在0、1、4、5、6、9这些尾数中，只有0，5乘以2后，得到的新数的尾数是0。因此，b2（b的平方）的尾数是0或5。 “因此，a与b有公因数5…”寂寞de小老鼠说。 …∵ a2（a的平方）的尾数是0，尾数是0的正整数是5的倍数 ∴ a2（a的平方）是5的倍数（此处运用的证明方法是三段论） ∵ a2（a的平方）是5的倍数 ∴ a2（a的平方）含有因数5 ∵ a2（a的平方）=a×a，a×a含有因数5 ∴ a含有因数5（此处运用了排中律） 同理可证b含有因数5。 ∴ a与b有公因数5 “a与b有公因数5，这与（a，b）=1矛盾！…因此√2是无理数…”寂寞de小老鼠说。 …（a，b）=1：a 与 b 最大的公因数是1；a ，b互质…见《欧几里得84》… “这个证法可以证明被开方数的尾数是2、3、7、8的平方根都是无理数…”寂寞de小老鼠接着说。 …根：1.高等植物的营养器官，能够把植物固定在土地上，吸收土壤里的水分和溶解在水中的养分，有的根还能贮藏养料。2.事物的本原；人的出身底细：祸～。寻～。从～儿上解决问题。知～知底… …平方根：如果一个数的平方等于a，那么这个数就是a的平方根，也叫做a的二次方根。例如：5×5=25，5就是25的平方根… 证法2：奇偶分析法 “假设√2=a/b，其中（a，b）=1，且a与b都是正整数。则a2=2b2（a的平方=2×b的平方）…”寂寞de小老鼠说，“…可知a是偶数（详见《欧几里得80》）…” “设a=2c，则4C2=2b2（4×c的平方=2×b的平方），b2=2c2（b的平方=2×c的平方）…可知b也是偶数…”寂寞de小老鼠接着说。 ““b=1，则a=√2…这与‘a是正整数’矛盾…这是不行的…”寂寞de小老鼠说。 请看下集《欧几里得86、推动数学进步的网友：寂寞de小老鼠》” 10 |
|
欧几里得86、推动数学进步的网友：寂寞de小老鼠 √2是无理数…证法2：奇偶分析法 “假设√2=a/b，其中（a，b）=1，且a与b都是正整数。则a2=2b2（a的平方=2×b的平方）…”寂寞de小老鼠说，“…可知a是偶数（详见《欧几里得80》）…” …寂寞de小老鼠：网友网名，见《欧几里得83》… “设a=2c，则4C2=2b2（4×c的平方=2×b的平方），b2=2c2（b的平方=2×c的平方）…可知b也是偶数…”寂寞de小老鼠接着说。 “因此a、b都是偶数…这与（a，b）=1矛盾！…因此2是无理数…”寂寞de小老鼠继续说。 …（a，b）=1：a 与 b 最大的公因数是1；a ，b互质…见《欧几里得84》… “希帕索斯就是用这种方法证明了√2不是有理数（见《欧几里得79》），动摇了毕达哥拉斯学派的‘万物皆数（任何数都可表示成整数之比）’的数学信仰，使毕达哥拉斯学派为之大为恐慌…希帕索斯因此葬身海底（见《欧几里得13》）…”寂寞de小老鼠最后说。 …信仰：1.对某人或某种主张极度相信和尊敬，拿来作为自己行动的榜样或指南：宗教～（百度汉语）。2.人瞬间的想法叫思想，人保持很长时间的想法叫信仰。一个人的想法叫思想，一群人的想法叫信仰（《自然科学价值观》）… 证法3： “仿上，得到a2=2b2（a的平方=2×b的平方），易见b>1…”寂寞de小老鼠说。 （“b=1，则a=√2…这与‘a是正整数’矛盾…这是不行的…”寂寞de小老鼠说。） …仿上：模仿上面… “a2=2b2（a的平方=2×b的平方）改写成b2=（a/2）a（b的平方=a/2×a）。因为b>1，因此b有质因数p，因此p整除a/2或a…总之，p整除a…”寂寞de小老鼠接着说。 …因：原故，原由，事物发生前已具备的条件：原～。～素。～果。病～… …因数：整数a除以整数b（b≠0）的商正好是整数而没有余数，我们就说b是a的因数…例如：6÷3=2，3是6的因数… …质因数：用做因数的质数… …质因数2：在数论里是指能整除给定正整数的质数。根据算术基本定理，不考虑排列顺序的情况下，每个正整数都能够以唯一的方式表示成它的质因数的乘积。两个没有共同质因数的正整数称为互质。因为1没有质因数，1与任何正整数（包括1本身）都是互质。只有一个质因数的正整数为质数… “因此，p同时整除a与b…这与（a，b）=1矛盾…”寂寞de小老鼠最后说。 … “‘√2是有理数’不符合矛盾律…‘错误’指‘不符合事实、或某种标准’（‘错误’的定义，见《欧几里得82》）…因此，不符合矛盾律的命题——√2是有理数是错的…”现代学者说。 “根据排中律，‘√2是有理数’的反命题——√2是无理数是对的…”现代学者接着说。 …排中律：见《欧几里得80、81》… ““‘幂’原指盖东西的布巾…数学中‘幂’是乘方的结果…而乘方的表示是通过在一个数字上加上标的形式来实现的…就像在一个数上‘盖上了一头巾’…”现代学者说，“把乘方叫做幂，形式上很契合…” 请看下集《欧几里得87、利用代数基本定理证明√2是无理数》” 10 |
|
欧几里得87、利用代数基本定理证明√2是无理数 √2是无理数…证法4： “仿上，得到a2=2b2（a的平方=2×b的平方），等式变形为b2=a2-b2=（a+b）（a-b）（b的平方=a的平方-b的平方=【a+b】【a-b】），因为b>1（见《欧几里得86》），因此存在质因数p，p整除a+b或a-b之一，或同时整除a+b与a-b…因此p能整除b…因为a2=2b2=2×b×b（a的平方=2×b的平方=2×b×b）…因此p能整除a…因此p是a、b的公因数——这与（a，b）=1矛盾…”寂寞de小老鼠说。 …寂寞de小老鼠：网友网名，见《欧几里得83》… …仿上：模仿上面… …质因数：见《欧几里得86》… …（a，b）=1：a 与 b 最大的公因数是1，见《欧几里得84》… “接下来的证法和‘证法3’中相同…”现代学者说。 …证法3：见《欧几里得86》… 证法5：利用代数基本定理 … “根据代数基本定理，如果不考虑质因数的顺序，任何一个正整数都可以唯一地写成质数幂的积的形式，因此a=P1r1P2r2…Pmrm（a=p1的r1次方×p2的r2次方×…×pm的rm次方），b=q1s1q2s2…qnsn（b=q1的s1次方×q2的s2次方×…×qn的sn次方），其中P1，…，Pm与q1，…，qn都是质数，r1，…，rm与s1，…，sn都是正整数…”寂寞de小老鼠说。 …因数：见《欧几里得11》… …幂：乘方运算的结果。nm（n的m次方）指m个n相乘。把nm（n的m次方）看作乘方的结果，叫做n的m次幂，也叫n的m次方… “数学中的‘幂’，是‘幂’字面意思的引申…”现代学者说。 “‘幂’原指盖东西的布巾…数学中‘幂’是乘方的结果…而乘方的表示是通过在一个数字上加上标的形式来实现的…就像在一个数上‘盖上了一头巾’…”现代学者接着说，“把乘方叫做幂，形式上很契合…” “在现实中盖头巾又有升级的意思…把乘方叫做幂正好契合了数学中指数级数快速增长的含义…”现代学者继续说，“把乘方叫做幂，内容上也很契合…” …指数：幂运算a?（a≠0）（读作“a的n次方”）中的一个参数，a为底数，n为指数，指数位于底数的右上角。幂运算表示指数个底数相乘。当n是一个正整数，a?（a的n次方）表示n个a连乘… …参：检验，用其他有关材料来研究，考证某事物：～考。～照… …参数：表明现象、机构、装置的某种性质的量。如导电率、导热率、膨胀系数等… “因为a2=2b2（a的平方=2×b的平方），所以P12r1P22r2…Pm2rm=21q12s1q22s2…qn2sn（P1的2r1次方×P2的2r2次方×…×Pm的2rm次方=2的1次方×q1的2s1次方×q2的2s2次方×…×qn的2sn次方）”，质数2在等式左边是偶数次幂，但在右边是奇数次幂，矛盾，因此√2是无理数…”寂寞de小老鼠接着说。 … “不等式就是用大于（＞），小于（＜），大于等于（≥），小于等于（≤）连接而成的数学式子，它一般有如下八个基本性质：… 请看下集《欧几里得88、“√2是无理数”证法6；不等式的基本性质；连分数》” 10 |
|
欧几里得88、“√2是无理数”证法6；不等式的基本性质；连分数 √2是无理数…证法6： “假设√2=a/b，其中右边是最简分数，即在所有等于a/b的分数中，a是最小的正整数分子…”寂寞de小老鼠说。 …寂寞de小老鼠：网友网名，见《欧几里得83》… “在a2=2b2（a的平方=2×b的平方）的两边减去ab有a2-ab=2b2-ab（a的平方-ab=2×b的平方-ab），a（a-b）=b（2b-a），即√2=a/b=（2b-a）/（a-b）…”寂寞de小老鼠接着说。 “右边的分子2b-a＜a，这与a是最小的分子矛盾，因此√2是无理数…”寂寞de小老鼠最后说。 …已知√2=a/b，a、b是正整数，比较2b-a与a的大小。 ∵ √2=a/b ∴ √2b=a 将√2b=a带入2b-a与a中，得： 2b-a=2b-√2b=（2-√2）b a=√2b 比较2b-a与a的大小，等于比较（2-√2）b与√2b的大小。 比较（2-√2）b与√2b的大小，等于比较（2-√2）与√2的大小。（此处运用了不等式的基本性质。） ∵ 2-√2＜√2 ∴ 2b-a＜a 不等式的基本性质：不等式就是用大于（＞），小于（＜），大于等于（≥），小于等于（≤）连接而成的数学式子，它一般有如下八个基本性质： 1.如果x＞y，那么y＜x；如果y＜x，那么x＞y；（对称性） 2.如果x＞y，y＞z；那么x＞z；（传递性） 3.如果x＞y，z为任意实数或整式，那么x+z＞y+z，即不等式两边同时加或减去同一个整式，不等号方向不变；（加法单调性，即同向不等式可加性） 4.如果x＞y，z＞0，那么xz＞yz，即不等式两边同时乘以（或除以）同一个大于0的整式，不等号方向不变；（乘法单调性） 5.如果x＞y，z＜0，那么xz＜yz，即不等式两边同时乘以（或除以）同一个小于0的整式，不等号方向改变；（乘法单调性2） 6.如果x＞y，m＞n，那么x+m＞y+n；（加法单调性2） 7.如果x＞y＞0，m＞n＞0，那么xm＞yn；（乘法单调性3） 8.如果x＞y＞0，那么x的n次幂＞y的n次幂（n为正数），x的n次幂＜y的n次幂（n为负数）。（正值不等式可乘方；正值不等式可开方）… 证法7：连分数法 “因为（√2+1）（√2-1）=1，因此√2-1=1/（1+√2），√2=1+1/（1+√2）…”寂寞de小老鼠说。 “√2=1+1/（1+√2），将分母中的√2用‘1+1/（1+√2）’代替，有√2=1+1/（1+1+1/（1+√2））=1+1/（2+1/（1+√2））…”寂寞de小老鼠接着说，“不断重复这个过程，得√2=1+1/（2+1/（2+…）） ” “这是一个无限连分数，而任何有理数都可以表示为分子都是1、分母为正整数的有限连分数，因此√2是无理数…”寂寞de小老鼠最后说。 “奠基最初的意思是在打地基盖房搞建筑或一切破土动工的时候，选择一个吉时，向在此地埋葬的无主坟或者一切生灵祭奠，告知他们将于此地破土动工，请他们知悉并谅解或迁徙他方… 请看下集《欧几里得89、构图法；“奠基”的渊源；数学概念：单位》” 10 |
|
欧几里得89、构图法；“奠基”的渊源；数学概念：单位 √2是无理数…证法8：构图法 “以上诸多证法的关键之处在于证明a2=2b2（a的平方=2×b的平方）没有正整数解…”寂寞de小老鼠说。 …寂寞de小老鼠：网友网名，见《欧几里得83》… …以上诸多证法：见《欧几里得83~88》… “另外，可以b、a为边构造正方形（b＜a）（如图所示）…因为a2=2b2（a的平方=2×b的平方），因此图中空白部分的面积等于中间黑色阴影部分的面积——它们都是正方形…”寂寞de小老鼠接着说。 “这就找到了一组更小的正整数（a，b）满足a2=2b2（a的平方=2×b的平方）…无穷递降下去，这个过程可以无限进行，矛盾！”寂寞de小老鼠最后说。 2017年3月30日，匿（nì）名网友发表了篇名为《如何证明存在一种不能表示为两个整数之比的数？》的论文。 …匿：隐藏；不让人知道：隐～。～名。～居深山。～影藏形… …匿名：不写名或不写真实姓名：～信。～举报… “古希腊曾有‘万物皆数’的思想，这种认为‘大自然的一切皆为整数之比’的思想统治了古希腊数学相当长的一段时间，许多几何命题都是根据这一点来证明的…”网友说。 “当时的很多数学证明都隐性地承认了‘所有数都可以表示为整数之比’…‘万物皆数’的思想是古希腊数学发展的奠（diàn）基…直到有一天，毕达哥拉斯的学生Hippasus（通常译为希帕索斯）说，单位正方形的对角线长度不能表示为两个整数之比…”网友接着说。 …奠：1.定；建 立：～都。2.陈设祭品举行仪式向死者致祭：祭～… …奠基：奠定建筑物的基础：～石。举行～典礼。鲁迅是中国新文学的～人… “奠基最初的意思是在打地基盖房搞建筑或一切破土动工的时候，选择一个吉时，向在此地埋葬的无主坟或者一切生灵祭奠，告知他们将于此地破土动工，请他们知悉并谅解或迁徙他方…”现代学者说，“这是一种尊重和告慰之礼，也是阴阳和合的我国古代的和谐哲学…是我国古老的传统仪式…” “发展到如今…为了树立科学破除迷信，人们逐渐的把‘奠基’含有的迷信色彩成份去除，把祭奠的含义淡化，而只保留了‘奠定建筑物的基础’这一层形式含义…而奠字的本意就是设酒食以祭（jì）之意，从其字形中便可知晓…”现代学者接着说。 …祭：1.对死者表示追悼的仪式：～奠。公～。2.古代杀牲供奉鬼神：～祀（sì）。～天… …单位：计量事物的标准量的名称。如米为计量长度的单位，千克为计量质量的单位，升为计量容积的单位等… “单位就是将一定数量物质的集合规定为‘1’，成为一个单位…”现代百姓说。 “从广义上讲，单位是一个相对概念，其为事物坐标系中的坐标轴中能构成个体的抽象概念…事物的最小单位为0…”现代百姓接着说。 … “中学课程中安排了一段反证法…当时有个题目叫我们证根号2是无理数…当时很多人打死了也想不明白这个怎么可能证得到…这种感觉正如前文所说：直到看了答案后才恍然大悟，数学上竟然有这等诡异的证明… 请看下集《欧几里得90、西奥多罗斯的贡献：证明了3到17的非平方数的根是无理数》” 10 |
|
欧几里得90、西奥多罗斯的贡献：证明了3到17的非平方数的根是无理数 “被人们公认的假设被推翻了，大半命题得证的前提被认定是错的，古希腊时代的数学大厦轰然倒塌，数学陷入了历史上的第一次危机…最后，Eudoxus（一般译为欧多克斯）的出现奇迹般地解决了这次危机…”网友继续说。 “今天我们要看的是，为什么单位正方形的对角线长度不能表示为两个整数之比…”网友最后说。 “单位正方形的对角线长度怎么算呢？从上面的这个图中我们可以看到，如果小正方形的面积是1的话，大正方形的面积就是2。于是单位正方形的对角线是面积为2的正方形的边长…”网友说，“Hippasus（一般译为希帕索斯）认为，不可能存在某个整数与整数之比，它的平方等于2…” “中学课程中安排了一段反证法…当时有个题目叫我们证根号2是无理数…当时很多人打死了也想不明白这个怎么可能证得到…这种感觉正如前文所说：直到看了答案后才恍然大悟，数学上竟然有这等诡异的证明…”网友接着说。 “当然，我们要证明的不是‘根号2是无理数’。那个时候还没有根号、无理数之类的说法。我们只能说，我们要证明不存在一个数p/q，使得它的平方等于2…”网友继续说。 “证明过程地球人都知道：假设p/q已经不能再约分了，那么p2=2q2（p的平方=2×q的平方），等式右边是偶数，于是p必须是偶数…”网友最后说。 （“奇数的平方是奇数，偶数的平方是偶数…某个正整数的平方是偶数，那么这个正整数一定是偶数，没有其它可能…”一位中学生说。） “p是偶数的话，p2（p的平方）就可以被4整除。约掉等式右边的一个2，可以看出q2（q的平方）也是偶数，即q是偶数…”网友说。 “这样，p是偶数，q也是偶数…那么p和q就还可以继续约分…与我们的假设矛盾…”网友接着说。 “根号2是无理数，我们证明到了。根号3呢？根号5呢？…”网友继续说。 “你可能偶尔看到过，Theodorus（通常译为西奥多罗斯）曾证明它们也是无理数。但Theodorus试图证明17的平方根是无理数时却没有继续证下去了…”网友最后说。 …根：1.高等植物的营养器官，能够把植物固定在土地上，吸收土壤里的水分和溶解在水中的养分，有的根还能贮藏养料。2.事物的本原；人的出身底细：祸～。寻～。从～儿上解决问题。知～知底… …平方根：如果一个数的平方等于a，那么这个数就是a的平方根，也叫做a的二次方根。例如：5×5=25，5就是25的平方根… “你可以在网上看到，Theodorus对数学的贡献之一就是‘证明了3到17的非平方数的根是无理数’。这给后人留下了一个疑问：怪了，为什么证到17就不证了呢？…”网友说。 …平方数（或称完全平方数）：指可以写成某个整数的平方的数，即其平方根为整数的数。例如，9 = 3 × 3，9是一个平方数… ““你可以在网上看到，Theodolites（通常译为西奥多罗斯）对数学的贡献之一就是‘证明了3到17的非平方数的根是无理数’。这给后人留下了一个疑问：怪了，为什么证到17就不证了呢？…”网友说。 请看下集《欧几里得91、西奥多罗斯为什么证到17就不证了呢？》” 10 |
| 首页 上一页[5] 本页[6] 下一页[7] 尾页[7] [收藏本文] 【下载本文】 |
| 哲学 最新文章 |
| 在无限的时间尺度下一切事件都是必然发生的 |
| 世上真的有因果报应吗，可为什么命苦的总是 |
| 谈谈唯心主义 |
| 浅谈男女性思维差异 |
| 唯物主义很肤浅很错误很弱智 |
| 不要用成绩来评判一个学生 |
| 哲学思想只适合有道德的人 |
| 无神论的欠缺九 有时候无法判断的问题 |
| 越来越觉得，在中国，人少，畜生多 |
| 现代的社会形态，，，， |
| 上一篇文章 下一篇文章 查看所有文章 |
|
|
娱乐生活:
电影票房
娱乐圈
娱乐
弱智
火研
中华城市
印度
仙家
六爻
佛门
风水
古钱币交流专用
钓鱼
双色球
航空母舰
网球
乒乓球
中国女排
足球
nba
中超
跑步
象棋
体操
戒色
上海男科
80后
足球: 曼城 利物浦队 托特纳姆热刺 皇家马德里 尤文图斯 罗马 拉齐奥 米兰 里昂 巴黎圣日尔曼 曼联 |
| 网站联系: qq:121756557 email:121756557@qq.com 知识库 |