在三角形ABC中,角ACB=90°.AB的垂直平分线交AB于D.交AC于E,交BC延长线于F,求证CD^2=DE乘以DF