在三角形ABC中,角BAC=90°,DE垂直于DF交AB,AC于E,F,求证:EF的平方=BE的平方+CF的平方(写过程