已知如图AB是CD的垂直平分线EF是AB上的两点