解:因为DE∥BC(已知),
所以∠DEF=∠CFE(),
因为 (已知),
所以∠DEF=∠CEF(角平分线的意义),
所以∠ =∠CEF(等量代换),
因为∠A=∠CFE(已知),
所以∠A=(),
所以EF∥AB().