《什么是几何证明》课件 探究版.pptxVIP

什么是几何证明;下列句子哪些是命题？如果是命题，请指出命题的真假． （1）同角的余角相等； （2）在直线AB上任取一点C； （3）相等的角是对顶角； （4）全等的两个三角形的面积相等； （5）不相交的两条直线叫做平行线； （6）所有的质数都是奇数．;（3）如图，AB//CD，则∠1＝∠2，但∠1与∠2不是对顶角．;探究一：基本事实 思考：怎样运用推理的方法证实一个命题是真命题呢？ 1．为什么要规定基本事实？ 真命题的证明根据必须是以前证明的命题，而已证明的命题依据是更前面的已证实的命题，……这个过程不可能无限地追根溯源．因此必定存在某些原始的命题，在它们的前面不再有已证实的命题．这种不加证明而承认其真实性的命题，称之为“基本事实．;从已经了解的数学命题中，挑选出一部分人们通过长期实践总结出来，被大家所公认的命题作为基本事实，用基本事实作为证实所有其他几何命题的起始依据．;2．基本事实： （1）两点确定一条直线； （2）两点之间线段最短； （3）过一点有且只有一条直线与已知直线垂直； （4）两条直线被第三条直线所截，如果同位角相等，那么两直线平行；;2．基本事实：;说明：等式的基本性质和不等式的基本性质都可以看作基本事实，讲解“等量代换”的含义． 用符号表示就是：“如果a＝b，b＝c，那么a＝c”，“如果a＞b，b＝c，那么a＞c”．我们把它们也作为基本事实，称为“等量代换”． 除上述基本事实外，以前所学过的以及今后要学到的其他几何命题，都需要由基本事实、定义、已证实的结论及已知条件出发，通过逻辑推理的方法加以证实．推理的过程叫作证明．;3．思考：怎样证明命题“如果两个角是对顶角，那么这两个角相等”的真实性呢？ 已知：如图，∠AOC和∠BOD是对顶角． 求证：∠AOC＝∠BOD．;证明：∵∠AOC和∠BOD是对顶角（已知）， ∴∠AOC＋∠AOD＝180°， ∠AOD＋∠BOD＝180°（平角的定义）． ∴∠AOC＋∠AOD＝∠AOD＋∠BOD（等量代换）． ∴∠AOC＝∠BOD（等式的基本性质）．;思考：∠AOD＝∠BOC吗？你能试着证明一下吗？ 已知：如图，∠AOD和∠BOC是对顶角． 求证：∠AOD＝∠BOC．;证明：∵∠AOD和∠BOC是对顶角（已知）， ∴∠AOD＋∠AOC＝180°， ∠AOC＋∠BOC＝180°（平角的定义）． ∴∠AOD＋∠AOC＝∠AOC＋∠BOC（等量代换）． ∴∠AOD＝∠BOC（等式的基本性质）．;思考：你能用简单的文字语言来叙述上面的定理吗？;探究二：几何证明的步骤 回顾并分析上面定理的证明过程，包括了哪几个步骤？你认为今后在定理证明的书写格式上有哪些应当注意的问题？ （1）根据题意，画出图形； （2）结合图形，根据条件、结论，写出已知、求证； （3）找出由已知推出求证的途径，写出“证明”．;例1．求证：同角的余角相等． 已知：如图5-3，∠1与∠α互余，∠2与∠α互余． 求证：∠1＝∠2．;证明：∵∠1与∠α互余（已知）， ∴∠1＋∠α＝90°（余角的定义）． ∴∠1＝90°－∠α（等式的基本性质）． 又∵∠2与∠α互余（已知）， ∴∠2＋∠α＝90°（余角的定义）． ∴∠2＝90°－∠α（等式的基本性质）． ∴∠1＝∠2（等量代换）．;1．“两条直线被第三条直线所截，如果同位角相等，那么两直线平行”这句话是（ ）． A．假命题 B．定义 C．定理 D．基本事实;2．如图，直线a，b相交，∠1＝55°，则∠2＝____°，推理的依据是_____________．;3．阅读并理解下列各题的证明过程，并在每步后的括号内填写该步推理的依据． 已知：如图，B，C是线段AD上的两点，且AB＝CD． 求证：AC＝BD．;4．阅读并理解下列各题的证明过程，并在每步后的括号内填写该步推理的依据． 已知：如图，∠ABC＝∠ABC，BD和BD分别是∠ABC和∠ABC的平分线． 求证：∠1＝∠2．;证明：∵∠ABC＝∠ABC（ ）， ∴ ∠ABC＝ ∠ABC（ ）， ∵∠1＝ ∠ABC（角平分线的定义）， ∠2＝ ∠ABC（ ）， ∴∠1＝∠2（ ）．;5．求证：同角的补角相等． 已知：∠1＋∠2＝180°，∠1＋∠3＝180°． 求证：∠2＝∠3．;1．基本事实： 公认为正确的命题叫做基本事实．;2．8大基本事实： （1）两点确定一条直线； （2）两点之间线段最短； （3）过一点有且只有一条直线与已知直线垂直； （4）两