7.2定义与命题(第2课时).pptx

第七章 平行线的证明7.2定义与命题（2）学习目标1.了解公理、证明、定理的含义.2.经历实际情境，初步体会公理化思想和方法，了解本教材所采用的公理，理解如何正确的命题.知识链接，预习导课1.什么是定义？请举例说明；2.什么是命题？请举例说明.????知识链接，预习导课2.找出下列命题中的条件和结论，指出它们哪些是正确的命题？哪些是不正确的命题？你又是怎么知道的？(1)如果两个角相等，那么它们是对顶角；(2)如果a＞b，b＞c，a＝c；(3)已知两个角以及其中一角的对应边相等的两个三角形全等；(4）同角的余角相等；情境思考如何证实一个命题是真命题呢？学 习 新 知 古希腊数学家欧几里得(Eyclid，公元前3世纪)，著作《原本》：原名：某些数学名词称为原名。公理：公认的真命题称为公理。证明：除了公理外，其它真命题的正确性都通过演绎推理的方法证实。演绎推理的过程称为证明。定理：经过证明的真命题称为定理。公理、证明、定理的关系公理：公认的真命题．（不需要证明）证明：演绎推理的过程称为证明．定理：经过证明的真命题称为定理．（需要证明）我们这套教材中已经认识了有如下命题作为基本事实:1.两点确定一条直线。 2.两点之间线段最短。 3.同一平面内，过一点有且只有一条直线与已知直线垂直。 4.两条直线被第三条直线所截，如果同位角相等，那么这两条直线平行。 5.过直线外一点有且只有一条直线与这条直线平行 。 6.两边及其夹角分别相等的两个三角形全等。 7.两角及其夹边分别相等的两个三角形全等。 8.三边分别相等的两个三角形全等。 等式的有关性质和不等式的有关性质都可以看作公理，在等式或不等式中，一个量可以用它的等量来代替.例如，如果a=b，b=c，那么a=c，这一性质也看作公理，称为“等量代换”. 试一试命题：同角的余角相等．已知：∠2是∠1的余角，∠3是∠1的余角.求证：∠2=∠3．证明：∵∠2是∠1的余角（已知 ），∴∠2+∠1=90°（余角定义 ）．∴∠2=90°-∠1（ 等式性质 ）．∵∠3是∠1的余角（已知 ），∴∠3+∠1=90 ° （余角定义 ）．∴∠3=90 °- ∠1（等式性质 ）．∴∠2=∠3（ 等量代换 ）．例题讲解证明：对顶角相等.已知：如图所示，直线AB与直线CD相交于点O，∠AOC与∠BOD是对顶角.求证:∠AOC=∠BOD.证明:∵∠AOC+∠AOD=180°，∠BOD+∠AOD=180°(平角的定义)，∴∠AOC和∠BOD都是∠AOD的补角(补角的定义)，∴∠AOC=∠BOD(同角的补角相等).定理:对顶角相等.证明一个命题的一般步骤.1.已知：写出命题的条件(必要时结合图形).2.求证：写出命题的结论.3.证明：写出演绎推理的过程.注意：证明的说理过程要注意言之有理，言之有据，也就是说∵要有道理，通常是已知条件或已证结论；∴要有依据，通常是定义、定理、公理、推论等.) 巩固训练证明等角的补角相等.已知:∠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)两角相等的三角形是等腰三角形.再见