（2011•南京）如图,将▱ABCD的边DC延长到点E,使CE=DC,连接AE,交BC于点F．

（2011•南京）如图,将▱ABCD的边DC延长到点E,使CE=DC,连接AE,交BC于点F．
∵AB=EC,AB∥EC,∴四边形ABEC是平行四边形,∴FA=FE,FB=FC,∵四边形ABCD是平行四边形,∴∠ABC=∠D,∵∠AFC=2∠D,∴∠AFC=2∠ABC,∵∠AFC=∠ABC+∠BAF∴∠ABC=∠BAF,∴FA=FB,∴FA=FE=FB=FC,∴AE=BC,
∴四边形ABEC是矩形．这是解答.
但我不懂∴AE=BC,是怎么来的?∴FA=FE=FB=FC,这中间加点步骤?∴AE=BC,