《基本事实与定理》_第1页
《基本事实与定理》_第2页
《基本事实与定理》_第3页
《基本事实与定理》_第4页
《基本事实与定理》_第5页
已阅读5页，还剩7页未读， 继续免费阅读

下载本文档

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

文档简介

基本事实与定理如何通过推理的方法证实一个命题是真命题呢？在数学发展史上，数学家们也遇到过类似的问题，公元前3世纪，古希腊数学家欧几里得将前人积累下来的丰富的几何学成果整理在系统得逻辑体系中，他挑选了一部分不定义的数学名词（称为原名）和一部分公认的真命题（称为基本事实）作为证实其他命题的起始依据，定义出其他有关的概念，并运用推理的方法，证实了数百个有关的命题，使几何学成为一门具有基本事实化体系的科学。通过长期实践总结出来，并且被人们公认的真命题叫做公理。除了公理之外，其他真命题的正确性都通过推理的方法证实。经过证明的真命题叫做定理。1、两点确定一条直线。4、两条直线被第三条直线所截，如果同位角相等，那么这两条直线平行。简单的说：同位角相等，两直线平行。2、两点之间线段最短。3、同一平面内，过一点有且只有一条直线与已知直线垂直。7、两角及其夹边分别相等的两个三角形全等。8、三边分别相等的两个三角形全等。5、过直线外一点有且只有一条直线与这条直线平行。6、两边及其夹角分别相等的两个三角形全等。此外，等式的有关性质和不等式的有关性质都可以作为推理的依据。例如，“在等式或不等式中，一个量可以用它的等量来代替”简称为“等量代换”。证明：等角的补角相等。已知：∠1=∠2，∠1+∠3=180°，∠2+∠4=180°。求证：∠3=∠4证明：∵∠1+∠3=180°，

∠2+∠4=180°（已知），∴∠3=180°-∠1，

∠4=180°-∠2（等式的性质）∵∠1=∠2（已知），∴∠3=∠4（等式的性质）。这样，我们便可以把上面这个经过证实的命题称作定理了，已经证明的定理可以作为以后推理的依据。证明一个命题的正确性，要按“已知”“求证”“证明”的顺序和格式写出，其中“已知”是命题的条件，“求证”是命题的结论，而“证明”则是由条件（已知）出发，根据已给出的定义，基本事实，已经证明的定理，经过一步一步的推理，最后证实结论

人人文库> 全部分类> 教育资料 > 辅导培训

温馨提示

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

最新文档

评论

0/150

提交评论