如图，已知△ABC，D是AC的中点，DE⊥AC于点D，交AB于点E， 过点C作CF∥BA交ED的延长线于点F， 连接CE，AF． 求证：四边形AECF是菱形．