∠BAC=90°，因为DE⊥AB,DE⊥AC,所以DE//AC,DF//AB，且AFDE是矩形又D为BC中点，所以DE，DF为中位线，所以DE=AC/2=CF，DF=AB/2=BE则在直角△EDF中，EF²=DE²+DF²=CF²+BE²
