第二节定义与命题(第2课时)第七章平行线的证明指出下列命题的条件和结论，并判断哪些是正确的命题，哪些不是正确的命题。如果两个角相等，那么它们是对顶角；如果a＞b，b＞c，那么a＝c；两角和其中一角的对边对应相等的两个三角形全等；全等三角形的面积相等。正确的命题称为真命题，不正确的命题称为假命题。假命题假命题真命题真命题读一读在数学发展史上，数学家们也遇到过类似的问题。公元前3世纪，人们已经积累了大量知识，在此基础上，古希腊数学家欧几里得（公元前300前后）编写了一本书，书名叫《原本》，为了说明每一结论的正确性，他在编写这本书时进行了大胆创新，挑选了一部分数学名词和一部分公认的真命题作为证实其他命题的起始依据，其中的数学名词称为原名，公认的真命题称为公理，除了公理外，其他真命题的正确性都通过推理的方法证实，推理的过程称为证明，经过证明的真命题称为定理，而证明所需要的定义、公理和其他定理都编写在要证明的这个定理的前面。《原本》问世之前，世界上还没有一本数学书籍像《原本》这样编排，因此，《原本》是一部具有划时代意义的著作。公理、定理、概念和证明的关系有关概念、公理条件1条件2定理1有关概念、公理定理2……定理3……本教材的公理等式的有关性质和不等式的有关性质也作为公理1.两点确定一条直线。2.两点之间线段最短。3.同一平面内，过一点有且只有一条直线与已知直线垂直。4.两条直线被第三条直线所截，如果同位角相等，那么这两条直线平行．5.过直线外一点有且只有一条直线与这条直线平行.6.两边及其夹角对应相等的两个三角形全等．7.两角及其夹边对应相等的两个三角形全等．8.三边对应相等的两个三角形全等．今天的收获•命题的条件与结论命题的真假欧几里得的《原本》公理、定理、证明的相关含义我们熟悉的公理以及等量代换今天的作业课本习题6.31、2、3
