在矩形ABCD中,EF是AC的垂直平分线,EF分别交DA.BC于E,F,交AC于D