陕西吴堡吴堡中学高中数学第三章推理与证明数学证明典例导航课件北师大选修_第1页
陕西吴堡吴堡中学高中数学第三章推理与证明数学证明典例导航课件北师大选修_第2页
陕西吴堡吴堡中学高中数学第三章推理与证明数学证明典例导航课件北师大选修_第3页
免费预览已结束，剩余16页可下载查看

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

用三段论的形式写出下列演绎推理：(1)矩形的对角线相等，正方形是矩形，所以正方形的对角线相等；(2)0.33是有理数；(3)一切奇数都不能被2整除，21001是奇数，所以21001不能被2整除,解题过程(1)每一个矩形的对角线相等大前提正方形是矩形小前提正方形的对角线相等结论(2)所有的循环小数是有理数大前提0.33是循环小数小前提0.33是有理数结论(3)一切奇数都不能被2整除大前提21001是奇数小前提21001不能被2整除结论,1.用三段论的形式写出下列演绎推理(1)若两角是对顶角，则此两角相等所以若两角不相等，则此两角不是对顶角(2)三角函数都是周期函数，ytan是三角函数，因此ytan是周期函数(3)通项公式an2n3的数列an为等差数列,解析：演绎推理中如果大前提、小前提都是真实的，按照三段论形式推出的结论必是真实的，因此，演绎推理可以作为严格的推理方法(1)两个角是对顶角，则两角相等大前提1和2不相等小前提1和2不是对顶角结论(2)三角函数都是周期函数大前提ytan是三角函数小前提ytan是周期函数结论,(3)数列an中，如果当n2时，anan1为常数，则an为等差数列大前提通项公式an2n3时，若n2.则anan12n32(n1)32(常数)小前提通项公式an2n3表示的数列为等差数列结论,在四边形ABCD中，ABCD，BCAD(如图)，求证：ABCD为平行四边形，写出三段论形式的演绎推理,证明过程(1)连结AC.(2)平面几何中的三角形“边边边”定理是：有三边对应相等的两个三角形全等，这一定理相当于：对于任意两个三角形，如果它们的三边对应相等，则这两个三角形全等，大前提ABC和CDA的三边对应相等，小前提则这两个三角形全等结论,(3)由全等三角形的定义可知：全等三角形的对应角相等，这一性质相当于：对于任意两个三角形，如果它们全等，则它们的对应角相等大前提ABC和CDA全等小前提则它们的对应角相等结论用符号表示，就是ABCCDA12且34且BD.,(4)两条直线被第三条直线所截，如果内错角相等，那么这两条直线平行大前提直线AB、DC被直线AC所截，内错角12.小前提(已证)则ABDC.结论同理有：BCAD.,(5)如果四边形两组对边分别平行，那么这个四边形是平行四边形大前提四边形ABCD中，两组对边分别平行小前提则四边形ABCD是平行四边形结论用符号表示为：ABDC且ADBC四边形ABCD为平行四边形,2.如图，D，E，F分别是BC，CA，AB上的点，BFDA，DEBA，求证：EDAF.,证明：因为同位角相等，两条直线平行，大前提BFD与A是同位角，且BFDA，小前提所以FDAE.结论因为两组对边分别平行的四边形是平行四边形，大前提DEBA，且FDAE，小前提所以四边形AFDE为平行四边行结论因为平行四边形的对边相等，大前提ED和AF为平行四边形AFDE的对边，小前提所以EDAF.结论,a1，且x11，
人人文库> 全部分类> 教育资料 > 中学教育

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论