D是等腰直角三角形ABC的直角边上的一点,AD的垂直平分线EF