作EM垂直于AF，则易得三角形ABE与AME全等，那么AB=AM，BE=EM，又E为BC中点，则BE=BC，那么易得直角三角形EMF与ECF全等，所以MF=CF，有ABCD为正方形得AB=CD，所以AF=AM+MF=AB+CF=CD+CF证毕
