△ABC为等腰直角三角形,∠BAC=90°,E、F为BC上的两点,满足∠EAF=45°,求证:BE^2+CF^2=EF^