已知：线段AC， 如图．

求作：以线段AC为对角线的一个菱形ABCD．

作法：

①作线段AC的垂直平分线MN交AC点于O；

②以点O为圆心，任意长为半径画弧，交直线MN于点B，D；

③顺次连结点A，B，C，D，则四边形ABCD即为所求作的菱形．

请回答：上面尺规作图作出菱形ABCD的依据是．