如图，已知BC∥EF，BC=EF，AF=DC.则AB=DE.在相应序号内说明理由.

解：∵BC∥EF (已知）
∴∠BCA=∠EFD(      ⑴        )
∵ＡＦ=ＤＣ（已知）
∴ＡＦ＋FC=ＤＣ＋FC
即 　　⑵    
在△ＡＢＣ和△DEF中
　　ＢＣ=ＥＦ（　已知　　）
　　　　　∠BCA=∠EFD   (已证)
AC=DF（已证）
∴△ＡＢＣ≌△DEF（　　⑶　　　　）
∴AB=DE(      ⑷         )

通过类比联想、引申拓展研究典型题目，可达到解一题知一类的目的。下面是一个案例，请补充完整。

原题：如图1，点E、F分别在正方形ABCD的边BC、CD上，∠EAF=45°，连接EF，则EF=BE+DF，试说明理由。

（1）思路梳理

∵AB=CD，

∴把△ABE绕点A逆时针旋转90°至△ADG，可使AB与AD重合。

∵∠ADC=∠B=90°，

∴∠FDG=180°，点F、D、G共线。

根据　　　　，易证△AFG≌　　　　，得EF=BE+DF。

（2）类比引申

如图2，四边形ABCD中，AB=AD，∠BAD=90°，点E、F分别在边BC、CD上，∠EAF=45°。若∠B、∠D都不是直角，则当∠B与∠D满足等量关系　　　　时，仍有EF=BE+DF。

（3）联想拓展

如图3，在△ABC中，∠BAC=90°，AB=AC，点D、E均在边BC上，且∠DAE=45°。猜想BD、DE、EC应满足的等量关系，并写出推理过程。

如图，已知BC∥EF，BC=EF，AF=DC.则AB=DE.在相应序号内说明理由.

  解：∵BC∥EF (已知）

       ∴∠BCA=∠EFD(       ⑴        )

       ∵ＡＦ=ＤＣ（已知）

       ∴ＡＦ＋FC=ＤＣ＋FC

          即 　　⑵    

        在△ＡＢＣ和△DEF中

　　ＢＣ=ＥＦ（　已知　　）

　　　　　∠BCA=∠EFD   (已证)

            AC=DF（已证）

      ∴△ＡＢＣ≌△DEF（　　⑶　　　　）

       ∴AB=DE(       ⑷         )

如图: AB∥CD, EF∥GH, 证得∠1＝∠2, 根据是

[　　]

A.对顶角相等　　B.平行线的判定　　C.平行线的性质　　D.平行公理