△ABC中,∠CAB=90度,AB=AC,E、F为BC上的点且∠EAF=45度,求证EF平方=BE平方+FC平方