垂直二等分線の性質