设弦AB,圆心O,连接OA,OB
∵OA=OB （OA,OB都是圆的半径）
∴O在AB中垂线上 (到线段两端距离相等的点在线段的中垂线上)