沪科版数学八年级上册13.2命题与证明第二课时

13.2命题与证明第二课时沪科版八年级数学上第13章《三角形中的边角关系、命题与证明》眼见未必为实！自学内容：课本78页阅读课本思考下列问题•1.我们已经学过哪些定义？•2.什么叫基本事实？我们已经学过的基本事实有哪些？•3.什么叫定理？我们已经学过的定理有哪些？•4.什么叫演绎推理？什么叫证明？证明的一般步骤有哪些？证明的依据有哪些？•5.能够写出简单命题的推理过程及依据。定义的概念：能界定某个对象含义的句子叫做定义.举例（1）能够被2整除的数叫做偶数；（2）由不在同一条直线上的三条线段首尾顺次联结所组成的图形叫做三角形；（3）有一个角是直角的三角形叫做直角三角形.问：你还能举出一些例子吗？知识连接人们在长期实践中检验所得的真命题，作为判断其他命题真假的依据，这些作为原始根据的真命题称为基本事实。▲问题1：你能举出几个前面已学过的基本事实吗？如:关于直线：两点确定一条直线.关于平行：经过直线外一点，有且只有一条直线平行于已知直线.关于线段：两点之间，线段最短例题：1.证明的步骤：（1）________________；（2）________________（3）________________根据题意画出图形；经过分析，找出已知条件推出结论的途径，写出证明过程；根据题设、结论，结合图形，写出已知、求证；2.证明：“内错角相等，两直线平行”。分析:(1)画出图形abc312(2)找出题设：结论：两直线被第三条直线所截，形成的内错角相等这两条直线平行写出已知：求证：如图，直线c与直线a、b相交，且∠1=∠2a∥b（3）写证明过程课本例题3：abc312已知：如图，直线c与直线a、b相交，且∠1=∠2求证：a∥b.证明：∵∠1=∠2，（）又∵∠1=∠3，（）∴∠2=∠3，（）∴a∥b，（）已知对顶角相等等量代换同位角相等，两直线平行想一想：基本事实和定理有什么共同点和不同点？共同点：都是真命题不同点：基本事实的正确性是人们长期实践检验所证实的，不需要证明。定理的正确性是依赖推理证实的.基本事实和定理基本事实：人们从长期的实践中总结出来，作为判断其他命题真假的依据，这些作为原始依据的真命题叫做公理。例如：线段公理：两点之间，线段最短；平行公理：两直线平行，同位角相等.定理：从公理或其他真命题出发，用推理方法证明为正确的、并进一步作为判断其他命题真假的依据，这样的真命题叫做定理。例如：两直线平行，内错角相等；对顶角相等.基本事实和定理的共同点和不同点：共同点：都是真命题不同点：基本事实的正确性是人们长期实践检验所证实的，定理的正确性是依赖推理证实的.什么叫“演绎推理”？从已知条件出发，根据定义、基本事实、已证定理，并根据逻辑规则，推导出结论的方法叫“演绎推理”。看谁答得快？你知道吗？演绎推理的过程，叫做演绎证明，简称证明。课本例题4.已知:如图,∠AOB+∠BOC=180°,OE平分∠AOB,OF平分∠BOC,求证:OE⊥OFAOCBEF12当堂检测：1.已知：如图，AB与CD相交于点O，∠1=∠D，∠2=∠C。求证：AD∥BCAOBDC21试一试已知，如图：∠1=∠B，求证：∠2=∠CABCDE12证明：∵∠1=∠B（）∴AE∥BC（）∴∠2=∠C（）已知同位角相等，两直线平行两直线平行，内错角相等想一想１.如图，已知：AB∥CD，AD∥BC。求证：∠A=∠CABCD２.已知，如图：ＡＢ∥ＣＤ，ＢＥ、ＤＦ分别是∠ＡＢＤ、∠ＣＤＢ的平分线求证：ＢＥ∥ＤＦABCDFE试一试已知，如图，∠1=∠2。求证：AB∥CDABCDEF122.已知，如图O是直线AB上一点，OD，OE平分∠AOC和∠COB。求证：OD⊥OEABOCDE▲通过上述例子，请同学们归纳证明是怎样一个过程，证明过程中，推理的依据有哪些？同伴之间互相交流一下。归纳结果：证明是由条件（已知）出发，经过一步一步的推理,论证，最后,推出结论（求证）正确的过程。证明过程中,推理的依据可以是基本事实，也可以是定理，定义，已知条件，推论。证明：∵BD⊥AC，EF⊥AC∴∠3=∠4=90°∴BD//EF∴∠2=∠CBD又∵∠1=∠2∴∠1=∠CBD∴GD//BC∴∠ADG=∠C（已知）（垂直的定义）（同位角相等，两直线平行）（已知）（等量代换）（内错角相等，两直线平行）（两直线平行，同位角相等）证明并写出每一步推理的理由例2：已知：如图,BD⊥AC，EF⊥AC，D，F是垂足，∠1=∠2，求证：∠ADG=∠C（两直线平行，同位角相等）AGBDECF1234练习:1.已知，如图，AB⊥BF，CD⊥BF，∠1=∠2求证：∠3=∠4证明:∵AB⊥BF，CD⊥BF∴∠B=∠CDF=90°∴AB//又∵∠1=∠2∴AB//EF∴//∴∠3=∠4已知垂直的性质垂直于同一条直线的两直线平行（已知）（内错角相等，两直线平行）平行于同一直线的两直线平行两直线平行，同位角相等1234ABCDEF（）（）（）（）（）CDCDEF2.如图，DC//AB，DF平分∠CDB，BE平分∠ABD，求证：∠1=∠2ABCDEF123.请在下列题目证明中的括号内填入适当的理由已知：如图AD=BC，CE∥DF，CE=DF求证：∠E=∠F证明：因为CE∥DF（）∠1=∠2（）在△AFD和△BEC中，因为DF=CE（）∠1=∠2（）AD=BC（）所以△AFD≌△BEC（）所以∠E=∠F（）AFDBEC21练习4：根据下列证明过程填空。已知：如图，∠ADE=∠B，∠1=∠2，AB⊥FG.求证：CD⊥AB证明：∵∠ADE=∠B（）∴DE∥_________()∴∠1=∠3()又∵∠1=∠2()∴∠2=∠3()∴GF∥_________()又∵AB⊥FG()∴CD⊥AB()ACFBGDE132你有哪些收获?⑴基本事实和定理的概念及它们的异同.⑵什么叫证明?⑶如何进行推理和表达?作业布置:书面作业：P85习题：第5题。课外作业：1、p78练习：1、2；p80练习：1、2。2、同步完成基训3、预习下一节新课。