从一个直角三角ABC(角C为直角)形斜边中点D引两条垂直线交AC于E,交BC于F,求证EF2=AE2+BF2