数学课上林老师出示了问题：如图，AD∥BC，∠AEF=90°AD=AB=BC=DC，∠B=90°，点E是边BC的中点，且EF交∠DCG的平分线CF于点F，求证：AE=EF．

同学们作了一步又一步的研究：