结论：数列{2n}的公比不为零．

类型二　演绎推理的应用

命题角度1　证明几何问题

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

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

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

所以FD∥AE.(结论)

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

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

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

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

ED和AF为平行四边形AFDE的对边，(小前提)

所以ED＝AF.(结论)

反思与感悟　(1)用"三段论"证明命题的格式

××××××　　　大前提

××××××　　　小前提

××××××　　　结论

(2)用"三段论"证明命题的步骤

①理清证明命题的一般思路．

②找出每一个结论得出的原因．

③把每个结论的推出过程用"三段论"表示出来．

跟踪训练2　已知：在空间四边形ABCD中，点E，F分别是AB，AD的中点，如图所示，求证：EF∥平面BCD.

证明　因为三角形的中位线平行于底边，(大前提)

点E，F分别是AB，AD的中点，(小前提)

所以EF∥BD.(结论)