722定义与命题（第2课时）演示文稿.ppt

第二节 定义与命题 (第2课时) 第七章第七章 平行线的证明平行线的证明读一读读一读 在数学发展史上，数学家们也遇到过类在数学发展史上，数学家们也遇到过类 似的问题公元前似的问题公元前3 3世纪，人们已经积累了世纪，人们已经积累了 大量知识，在此基础上，古希腊数学家大量知识，在此基础上，古希腊数学家 欧几里得欧几里得（公元前（公元前300300前后）编写了一本书，前后）编写了一本书， 书名叫书名叫《《原本原本》》，为了说明每一结论的正确性，他在，为了说明每一结论的正确性，他在 编写这本书时进行了大胆创新，挑选了一部分数学名词编写这本书时进行了大胆创新，挑选了一部分数学名词和一部分公认的真命题作为证实其他命题的起始依据，和一部分公认的真命题作为证实其他命题的起始依据，其中的数学名词称为原名，公认的真命题称为其中的数学名词称为原名，公认的真命题称为公理公理，除，除了公理外，其他真命题的正确性都通过推理的方法证实，了公理外，其他真命题的正确性都通过推理的方法证实，推理的过程称为推理的过程称为证明证明，经过证明的真命题称为，经过证明的真命题称为定理定理，而，而证明所需要的定义、公理和其他定理都编写在要证明的证明所需要的定义、公理和其他定理都编写在要证明的这个定理的前面。

这个定理的前面《《原本原本》》问世之前，世界上世之前，世界上还没有一没有一本数学本数学书籍像籍像《《原本原本》》这样编排，因此，排，因此，《《原本原本》》是一是一部具有划部具有划时代意代意义的著作 公理、定理、概念和证明的关系公理、定理、概念和证明的关系 有关概念、公理有关概念、公理条件条件1条件条件2定理定理1有关概念、公理有关概念、公理定理定理2……定理定理3……本教材的公理本教材的公理 等式的有关性质和不等式的有关性质也作为公理等式的有关性质和不等式的有关性质也作为公理o1.两点确定一条直线o2.两点之间线段最短o3.同一平面内，过一点有且只有一条直线与已知直线垂直o4.两条直线被第三条直线所截，如果同位角相等，那么这两条直线平行．o5.过直线外一点有且只有一条直线与这条直线平行.o6.两边及其夹角对应相等的两个三角形全等．o7.两角及其夹边对应相等的两个三角形全等．o8.三边对应相等的两个三角形全等． 今天的收获今天的收获o命题的条件与结论命题的条件与结论 o命题的真假命题的真假o 欧几里得的欧几里得的《《原本原本》》o 公理、定理、证明的相关含义公理、定理、证明的相关含义o 我们熟悉的公理以及等量代换我们熟悉的公理以及等量代换 今天的作业今天的作业课本习题课本习题6.3 16.3 1、、2 2 、、3。