在三角形ABC中,角ACB=90°,BC的垂直平分线DE交BC于点D,交AB于点E,点F在DE上,并且EF=AC