如图4.3-1,D为等腰直角△ABC的直角边BC上的一点,AD的垂直平分线EF分别交AC,AD,AB于F,O,E,BC=