正方形是矩形，(小前提)

　　正方形的对角线相等．(结论)

　　(3)三角函数是周期函数，(大前提)

　　y＝sin x是三角函数，(小前提)

　　y＝sin x是周期函数．(结论)

三段论在几何证明中的应用 　　

　　 如图，三棱柱ABC­A1B1C1的侧面BCC1B1是菱形，B1C⊥A1B，证明：平面AB1C⊥平面A1BC1.(写出每一个三段论的大前提、小前提、结论)

　　[自主解答]　因为菱形的对角线互相垂直，(大前提)

　　侧面BCC1B1是菱形，(小前提)

　　∴B1C⊥BC1.(结论)

　　若一条直线与一个平面内的两条相交直线都垂直，则该直线与此平面垂直，(大前提)

　　B1C⊥A1B，B1C⊥BC1，且A1B∩BC1＝B，(小前提)

　　∴B1C⊥平面A1BC1.(结论)

　　若一个平面过另一个平面的垂线，则这两个平面垂直，(大前提)

　　B1C⊂平面AB1C，B1C⊥平面A1BC1，(小前提)

　　∴平面AB1C⊥平面A1BC1.(结论)

　　在三段论的应用过程中，往往多次用到三段论，类似这种命题证明的形式叫作复合三段论形式．事实上，每一次三段论的大前提并不一定写出，每一次三段论的小前提也并不一定写出，根据题意，如果是前面已证的结论，则可以省略．

　　2.如图，D，E，F分别是BC，CA，AB上的点，∠BFD＝∠A，DE∥BA，求证：ED＝AF，写出三段论形式的演绎推理．

　　证明：因为同位角相等，两条直线平行，(大前提)

　　∠BFD与∠A是同位角，且∠BFD＝∠A，(小前提)

　　所以FD∥AE.(结论)

　　因为两组对边分别平行的四边形是平行四边形，(大前提)

　　DE∥BA，且FD∥AE，(小前提)

　　所以四边形AFDE为平行四边形．(结论)

因为平行四边形的对边相等，(大前提)