如图,矩形ABCD的对角线AC的垂直平分线AB,CD的交点为E,F