- 1
- 0
- 约1.66千字
- 约 17页
- 2023-09-04 发布于甘肃
- 举报
3.补充完成下列证明,并填上推理的依据. 已知:如图,AB⊥BC,EF⊥BC,∠1=∠2. 求证:AB∥CD. 证明:∵AB⊥BC, ∴∠ABC=________( ). 90° 垂直的定义 ∵EF⊥BC( ), ∴∠FEC=________( ). ∴∠ABC=∠FEC( ). ∴________∥________( ). ∵∠1=∠2, ∴________∥________( ). ∴AB∥CD. 已知 90° 垂直的定义 等量代换 AB EF 同位角相等,两直线平行 EF CD 内错角相等,两直线平行 4.∠A=∠C,∠1和∠2互补,那么AB与CD是否平行?请说明理由. 【解析】 根据同旁内角互补,两直线平行判定AD∥BC,等量转换后再利用同旁内角互补来判定AB∥CD. 解:∵∠1和∠2互补, ∴AD∥BC, ∴∠C+∠ADC=180°, 又∵∠A=∠C, ∴∠A+∠ADC=180°, ∴AB∥CD. 这节课我们学习了: 判定一个命题是真命题的方法: 通过推理的方式,即根据已知的事实来推断未知事实; 要判定一个命题是真命题,往往需要从命题的条件出发,根据已知的定义、基本事实、定理(包括推论),一步一步推得结论成立,这样的推理过程叫做证明 。 1.3 证明(1) 1.理解什么是证明,并了解证明基本格式和步骤; 2.能进行平行线的性质和判定的证明.! 学习目标 新知导入 你认为线段AB和线段CD的长度相等吗?量量看。 A B C D 通过观察,先猜想结论,再动手验证:如图,一组直线a,b,c,d是否都互相平行? 当n=0,1,2,3,4时,代数式n2-3n+7的值分别是7,5,5,7,11,它们都是质数。那么,命题 “对于自然数n,代数式n2-3n+7的值都是素数”是真命题吗? 合作学习 当n=6时, n2-3n+7 =25不是素数 判定一个命题是真命题的方法: 要判定一个命题是真命题,往往需要从命题的条件出发,根据已知的定义、基本事实、定理(包括推论),一步一步推得结论成立,这样的推理过程叫做证明 。 通过推理的方式,即根据已知的事实来推断未知事实; 新知讲解 例1 已知:如图1-12,DE∥BC,∠1=∠E. 求证:BE平分∠ABC. 证明 ∵DE∥BC(已知), ∴∠2=∠E(两直线平行,内错角相等). ∵∠1=∠E(已知), ∴∠1=∠2, ∴BE平分∠ABC(角平分线的定义). B A D E C 1 2 例2 已知:如图,AB∥CD,EP,FP分别平分∠BEF,∠DFE. 求证:∠PEF+∠PFE=90°. A B C D E P F 证明 ∵EP,FP分别平分∠BEF,∠DFE(已知), ∴∠PEF= ∠BEF,∠PFE= ∠DFE(角平分线的定义). ∵AB∥CD(已知), ∴∠BEF+∠DFE=180°(两直线平行,同旁内角互补). ∴∠PEF+∠PFE= ∠BEF+ ∠DFE= (∠BEF+∠DFE)=90° 例2 已知:如图,AB∥CD,EP,FP分别平分∠BEF,∠DFE. 求证:∠PEF+∠PFE=90°. 证明过程中的每一步推理都要有依据,依据作为推理的理由,可以写在每一步后的括号内. 【拓展延伸】 课堂练习 1.关于证明,下列说法不正确的是( ) A.证明是说明命题是真命题的过程 B.要判定一个命题是真命题常常通过推理的方式 C.要说明一个命题是假命题常采用举反例的方式 D.真命题与假命题都可以通过举反例来说明 D 2.如图,若AO⊥CO,BO⊥DO,则∠AOB=∠COD,推理的理由是( ) A.同角的补角相等 B.同角的余角相等 C.AO⊥CO D.BO⊥DO B
您可能关注的文档
- 2023-2024学年华师大版数学八年级上册 11.1.1 平方根 课件.ppt
- 2023-2024学年华师大版数学八年级上册 11.1.2 立方根 课件.ppt
- 2023-2024学年华师大版数学八年级上册 11.2.1 实数 课件.ppt
- 2023-2024学年华师大版数学九年级上册 21.1 二次根式 课件.pptx
- 2023-2024学年华师大版数学九年级上册 21.1.1 二次根式的乘法 课件.ppt
- 2023-2024学年华师大版数学九年级上册 21.2.2 积的算术平方根 课件.pptx
- 2023-2024学年华师大版数学九年级上册 21.2.3 二次根式的除法 课件.pptx
- 2023-2024学年华师大版数学九年级上册 21.3 二次根式的加减 课件.ppt
- 2023-2024学年人教版数学七年级上册 1.1 正数和负数 课件.ppt
- 2023-2024学年人教版数学七年级上册 1.2.1 有理数 课件.pptx
- 探索自主代理:深入了解它们在完成任务时失败的原因.pdf
- 有效的消息隐藏与保序机制.pdf
- 鲁棒残差有限标量量化神经压缩.pdf
- 从经胸到经食管:使用 LoRA 扩散的跨模式生成.pdf
- XR-NPE : 高吞吐量混合精度 SIMD N 神经 P 处理 E 引擎用于扩展 x 实际 R 感知工作负载.pdf
- MARS-FTCP:面向模块化空中机器人系统的鲁棒容错控制和敏捷轨迹规划.pdf
- 面向自动驾驶车辆的自适应外部通信:概念设计框架.pdf
- 多模态连续思维链在视觉语言模型中的潜在空间推理.pdf
- 探索 LLMS 在自动音乐情感标注中的可行性.pdf
- 基于深度学习的金融时间序列预测通过滑动窗口和变分模态分解.pdf
原创力文档

文档评论(0)