不留有用只留必需_第1页
不留有用只留必需_第2页
不留有用只留必需_第3页
全文预览已结束

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

1、说起数学史上严谨的典范，自然少不了欧几里得和他的几何原本，历经2000多年而不衰，前无古人后无来者。有时候觉得，欧几里得的这种严谨简直到了令人发疯的程度，全本书只用简单的几条公理和公设，便推导出洋洋洒洒的这么大一部奇书。想要体验其严谨的程度，只需要细看欧几里得给出的几条公理即可。一：严谨的典范不能用的公理绝对不用，哪怕这条公理是多么的显而易见以至于“驴都想得到”，只要没有必要或是能用现成的公理代替，欧几里得就坚决不要。比如我们都知道，对于圆规，除了具有画圆的功能，还具有“搬运有限线段”的功能即用圆规在其他地方画出与已知线段相同的长度的线段。我想大家都知道这事情是很容易办到的，这个功能也是如此的

2、显而易见。但是在欧几里得的几何里却是不允许的，除非你能证明圆规的这一功能。原因很简单，因为欧几里得用不着圆规的这一功能，如果涉及要用这条性质的，欧几里得完全可以用另外的方式来代替。总之，他不允许在自己的逻辑体系里有丝毫的累赘。又比如在证明“AAS”三角形全等判定定理时，竟然没用上“三角形的内角之和为180”这个结论，当各位在证明“AAS”时，是否会本能地将其化成“ASA”？原因其实也很简单，因为在介绍有关三角形全等的章节中，还没有推导出“内角之和为180”这一结论，而欧几里得不希望将全等判定留到后面。二：对毕达哥拉斯定理的证明欧几里得将毕氏定理的证明放在第一篇最后，仅仅用了46个命题便证明出该

3、定理，不能不说是神来之笔。在众多证明方法中，要数欧几里得的证明最为简单。要知道，此时的欧几里得还未曾提及任何有关圆、相似性的命题，四边形也仅仅提到平行四边形。我想欧几里得不是不知道用相似原理来证明勾股定理，因为他对相似原理的描述已经非常全面，他煞费苦心地构造这么一种方法来证明毕氏定理，原因大概只有一个他不希望把这么漂亮的定理留到后面。也就是在这些命题中，有着很明显的层层递推关系。三：几何原本的些许遗憾这里所说的遗憾，不是其内容很多有些过时，毕竟我们已经过了两千多年，而是其逻辑结构并非十全十美。最著名的大概就是第五公设，该公设自提出便充满争议，直到19世纪初，才由三位科学家（高斯，约翰鲍耶，黎曼）彻底解决第五公设问题，并从中发展出非欧几何，大大拓展了人们的视野。除了第五共设，少有人知道的是，几何原本的第一个命题便是有问题的：【11】在一条已知的有限线段上做等边三角形。欧几里得的方法是：以A为圆心，AB线段为半径做圆，再以B为圆心，AB为半径做圆，连接两圆交点和AB两点，便得到等边三角形。该问题自然是正确无疑的，但是却是有逻辑漏洞的，因为我们无法知道两圆为何一定相交。要知道这可是该书的第一条命题，他所能基于的就只有几大公设和公理，而没有任何一条公设能证明这一点。我们只能凭感觉说两圆一定相交，而这

人人文库> 全部分类> 教育资料 > 课件下载

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论