证明:由RT△BAC 中位线DE、DF 三角形中位线定理:三角形的中位线平行于第三边并且等于它的一半.
∴DE=AF,DE//AF DF=AE,DF//AE
∠BAC=90度°
∴,四边形AEDF为矩形
∴EF=AD