数 学 精 品 课 件北 师 大 版v 用三段论的形式写出下列演绎推理：用三段论的形式写出下列演绎推理：v(1)(1)矩形的对角线相等，正方形是矩形，矩形的对角线相等，正方形是矩形，所以正方形的对角线相等；所以正方形的对角线相等；v(2)0.33(2)0.33是有理数；是有理数；v(3)(3)一切奇数都不能被一切奇数都不能被2 2整除，整除，2 21001001 1是是奇数，所以奇数，所以2 21001001 1不能被不能被2 2整除整除v 解题过程解题过程 v(1)(1)每一个矩形的对角线相每一个矩形的对角线相等等 大前提大前提v正方形是矩形正方形是矩形 小前提小前提v正方形的对角线相等正方形的对角线相等结论结论v(2)(2)所有的循环小数是有理所有的循环小数是有理数数 大前提大前提v0.330.33是循环小数是循环小数 小前提小前提v0.330.33是有理数是有理数 结论结论v(3)(3)一切奇数都不能被一切奇数都不能被2 2整整除除 大前提大前提v2 21001001 1是奇数是奇数 小前提小前提v2 21001001 1不能被不能被2 2整除整除 结论结论v1.1.用三段论的形式写出下列演绎推理用三段论的形式写出下列演绎推理v(1)(1)若两角是对顶角，则此两角相等所若两角是对顶角，则此两角相等所以若两角不相等，则此两角不是对顶以若两角不相等，则此两角不是对顶角角v(2)(2)三角函数都是周期函数，三角函数都是周期函数，y ytantan是是三角函数，因此三角函数，因此y ytantan是周期函数是周期函数v(3)(3)通项公式通项公式a an n2 2n n3 3的数列的数列 a an n 为等为等差数列差数列v解析：解析：演绎推理中如果大前提、小前演绎推理中如果大前提、小前提都是真实的，按照三段论形式推出的提都是真实的，按照三段论形式推出的结论必是真实的，因此，演绎推理可以结论必是真实的，因此，演绎推理可以作为严格的推理方法作为严格的推理方法v(1)(1)两个角是对顶角，则两角相等两个角是对顶角，则两角相等大前提大前提v1 1和和2 2不相等不相等小前提小前提v1 1和和2 2不是对顶角不是对顶角结论结论v(2)(2)三角函数都是周期函数三角函数都是周期函数 大前提大前提vy ytantan是三角函数是三角函数小前提小前提vy ytantan是周期函数是周期函数结论结论v(3)(3)数列数列 a an n 中，如果当中，如果当n n22时，时，a an na an n1 1为常为常数，则数，则 a an n 为等差数列为等差数列 大前提大前提v通项公式通项公式a an n2 2n n3 3时，若时，若n n2.2.v则则a an na an n1 12 2n n3 32(2(n n1)1)332(2(常常数数)小前提小前提v通项公式通项公式a an n2 2n n3 3表示的数列为等差数列表示的数列为等差数列结论结论v 在四边形在四边形ABCDABCD中，中，ABABCDCD，BCBCADAD(如图如图)，求证：，求证：ABCDABCD为平行四边形，为平行四边形，写出三段论形式的演绎推理写出三段论形式的演绎推理v 证明过程证明过程(1)(1)连结连结ACAC.v(2)(2)平面几何中的三角形平面几何中的三角形“边边边边边边”定理是：定理是：有三边对应相等的两个三角形全等，这一定理有三边对应相等的两个三角形全等，这一定理相当于：相当于：v对于任意两个三角形，如果它们的三边对应相对于任意两个三角形，如果它们的三边对应相等，则这两个三角形全等，等，则这两个三角形全等，大前提大前提vABCABC和和CDACDA的三边对应相等，的三边对应相等，小前小前提提v则这两个三角形全等则这两个三角形全等结论结论v(3)(3)由全等三角形的定义可知：全等三角形的由全等三角形的定义可知：全等三角形的对应角相等，这一性质相当于：对于任意两个对应角相等，这一性质相当于：对于任意两个三角形，如果它们全等，则它们的对应角相三角形，如果它们全等，则它们的对应角相等等大前提大前提vABCABC和和CDACDA全等全等小前提小前提v则它们的对应角相等则它们的对应角相等结论结论v用符号表示，就是用符号表示，就是ABCABCCDACDA112 2且且3 34 4且且B BD D.v(4)(4)两条直线被第三条直线所截，如果内错角两条直线被第三条直线所截，如果内错角相等，那么这两条直线平行相等，那么这两条直线平行大前提大前提v直线直线ABAB、DCDC被直线被直线ACAC所截，内错角所截，内错角1 12.2.v小前提小前提(已证已证)v则则ABABDCDC.结论结论v同理有：同理有：BCBCADAD.v(5)(5)如果四边形两组对边分别平行，那么这个如果四边形两组对边分别平行，那么这个四边形是平行四边形四边形是平行四边形大前提大前提v四边形四边形ABCDABCD中，两组对边分别平行中，两组对边分别平行小前小前提提v则四边形则四边形ABCDABCD是平行四边形是平行四边形结论结论v用符号表示为：用符号表示为：ABABDCDC且且ADADBCBC四边形四边形ABCDABCD为平行四边形为平行四边形v2.2.如图，如图，D D，E E，F F分别是分别是BCBC，CACA，ABAB上的点，上的点，BFDBFDA A，DEDEBABA，求证：，求证：EDEDAFAF.v证明：证明：因为同位角相等，两条直线平行，因为同位角相等，两条直线平行，大前提大前提vBFDBFD与与A A是同位角，且是同位角，且BFDBFDA A，小前提小前提v所以所以FDFDAEAE.结论结论v因为两组对边分别平行的四边形是平行四边形，因为两组对边分别平行的四边形是平行四边形，大前提大前提vDEDEBABA，且，且FDFDAEAE，小前提小前提v所以四边形所以四边形AFDEAFDE为平行四边行为平行四边行结论结论v因为平行四边形的对边相等，因为平行四边形的对边相等，大前提大前提vEDED和和AFAF为平行四边形为平行四边形AFDEAFDE的对边，的对边，小前提小前提v所以所以EDEDAFAF.结论结论va a11，且，且x x1 1 x x2 2，axax1 1 axax2 2，x x1 1x x2 20.1 1，x x2 2 1 1，(x x1 11)(1)(x x2 21)0.1)0.vf f(x x1 1)f f(x x2 2)0)0，f f(x x1 1)f f(x x2 2)小小前提前提v函数函数f f(x x)在在(1 1，)上为增函数上为增函数结论结论答案：答案：。
