• 1.

  将Rt△ABC绕点A逆时针旋转90°得到△ADF，BC的延长线交DF于点E，连接BD．已知BC=2EF．求证：△BEF≌△BED．