8.3基本事实与定理（课件）七年级数学下册（鲁教版五四制）.pptxVIP

8.3基本事实与定理主讲：鲁教版五·四学制七年级下册第八章平行线的有关证明

学习目标1.了解公理、定理的含义，初步体会公理化思想，并了解本套教科书所采用的基本事实。2.了解证明的基本格式与步骤，会证明简单的真命题

温故知新下列命题哪些是真命题，哪些是假命题？1.两个锐角的和是钝角。2.对顶角相等。3.相等的角是对顶角。4.等角的补角相等。假命题假命题真命题真命题只需举出一个反例如何通过推理的方法证实一个命题是真命题呢？

讲授新课在数学发展史上，数学家们也遇到过类似地问题。公元前3世纪，古希腊数学家欧几里得（Euclid，约前330-约前275）编写了《原本》（Elements）一书，将前人积累下来的丰富的几何学成果整理在系统的逻辑体系之中。他挑选了一部分数学名词和一部分公认的真命题作为证实其他命题的出发点和依据，定义出其他有关的概念，并运用推理的方法，证实了数百个有关的命题，使几何学成为一门具有公理化体系的科学。欧几里得

讲授新课通过长期实践总结出来，并且被人们公认的真命题叫做公理。除了公理外，其他真命题的正确性都通过推理的方法证实。经过证明的真命题叫做定理。相同点：都是真命题，他们都可以作为证明的依据不同点：公理的真实性是通过实践证实的，而定理的真实性必须通过推理证明公理和定理有哪些相同点和不同点？

讲授新课本教科书选用九条基本事实作为证明的出发点和依据，我们已经认识了其中的八条，它们是：1.两点确定一条直线。2.两点之间线段最短。3.同一平面内，过一点有且只有一条直线与已知直线垂直。4.两条直线被第三条直线所截，如果同位角相等，那么这两条直线平行。5.过直线外一点有且只有一条直线与这条直线平行6.两边及夹角分别相等的两个三角形全等。7.两角及其夹边分别相等的两个三角形全等。8.三边分别相等的两个三角形全等。另外一条基本事实我们将在后面的学习中认识它。

讲授新课在证明命题时，等式的有关性质和后面将要学习的不等式的有关性质都可以作为推理的依据。例如，“在等式或不等式中，一个量可以用它的等量来代替”，简称为“等量代换”利用上面这些证明的出发点，我们就可以证明已经探索过的结论了。

经典例题例已知：∠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=∠2，∠1+∠3=90°，∠2+∠4=90°求证：∠3=∠4证明：∵∠1+∠3=90°，∠2+∠4=90°（已知）∴∠3=90°-∠1，∠4=90°-∠2（等式的基本性质）∵∠1=∠2（已知）∴∠3=∠4（等式的基本性质）

读一读《原本》与《几何原本》几何学（Geonmetry）是数学中最古老的分支之一。公元前3世纪，古希腊数学家欧几里得在前人积累的大量成果的基础上，搜集了当时所知道的几何事实，选择出他认为学生应该学习的内容，然后按照逻辑要求（逻辑要求，就是指一方面要有“定义、公理、定理”的形式，另一方面定理要写出“证明”，而“证明”所需的定义、公理和其他定理，都必须编写在这个定理的前面，也就是通常所说的“前因后果”的次序），整理成一部具有公理化体系的数学巨著《原本》。《原本》是用逻辑推理建立起演绎体系的最早典范。

读一读《原本》与《几何原本》1582年，意大利人利玛窦到我国传教，带来了15卷本的《原本》。1600年，明代数学家徐光启（1562-1633）与利玛窦相识后，便经常来往。1607年，他们把该书的前6卷平面几何部分合译成中文，并定名为《几何原本》。后9卷是1857年由我国清代数学家李善兰（1811-1882）和英国人伟烈亚历译完的。《原本》是至今流传最广、影响最大的一部世界数学名著，它对数学及其他科学乃至人类的思想所产生的巨大推动作用是其他著作无法取代的。1687年牛顿在撰写《自然哲学的数学原理》时就曾受到过《原本》的启迪。有人说，进化论乃至美国的独立宣言，都深受欧几里得方法的影响。甚至于，几百年前有的哲学家在自己著作中也曾设法引用从定义、公理导出定理的形式进行论证。欧几里得的《原本》为人们提供了一