三角形ABC中,∠CAB=90°,AB=AC,E,F为BC边上的点且∠EAF=45°,求证:EF的平方=BE的平方+FC