2023八年级数学上册 第七章 平行线的证明7.2 定义与命题7.2.2 定理与证明教学课件 北师大.pptVIP

第七章 平行线的证明7.2 定义与命题2023/10/15第2课时 定理与证明 定理与公理 证明的意义命题的证明 想一想 举一个反例就可以说明一个命题是假命题，那么如何证实一个命题是真命题呢？ 1知识点定理与公理 用我们以前学过的观察、实验、验证特例等方法. 这些方法往往不可靠. 能不能根据已经知道的真命题证实呢？ 那已经知道的真命题又是如何证实的？哦……那可怎么办？ 1.其实，在数学发展史上，数学家们也遇到过类似的问题.公元 前3世纪，人们已经积累了大量的数学知识，在此基础上，古 希腊数学家欧几里得 （Euclid，公元前300年前后）编写了一 本书，书名叫做《原本》（Elements）. 为了说明每一结论的 正确性，他在编写这本书时进行了大胆创造：挑选了一部分数 学名词和一部分公认的真命题作为证实其他命题的出发点和依 据，其中的数学名词称为原名，公认的真命题称为公理 (axiom).除了公理外，其他命题的真假都需要通过演绎推理 的方法进行判断. 2.本套教科书选用九条基本事实作为证明的出发点和依据，我们 已经认识了其中的八条，它们是： （1）两点确定一条直线. （2）两点之间线段最短. （3）同一平面内，过一点有且只有一条直线与已知直线垂直. （4）两条直线被第三条直线所截，如果同位角相等，那么