如图,已知△ABC为等腰三角形,∠BAC=90°∠EAF=45°.证明BE的平方+CF的平方=EF的平方