数学课上，张老师出示了问题：如图1，四边形ABCD是正方形，点E是边BC的中点.∠AEF=90°，且EF交正方形外角∠DCG的角平分线CF于点F，求证：AE=EF.

经过思考，小明展示了一种正确的解题思路：取AB的中点M，连接ME，则AM=EC，易证△AME≌△ECF，所以AE=EF.

在此基础上，同学们作了进一步的研究：