$\"\"$

$\"\"$ is perpendicular to a segment $\"\"$ at point $\"\"$ and $\"\"$ .

Thus, the line $\"\"$ is the perpendicular bisector of segment $\"\"$ .

Every point on the perpendicular bisector of a segment is equidistant from the end–points of the

segment.

Therefore every point of line $\"\"$ is the same distance from point $\"\"$ as from point $\"\"$ .

$\"\"$

Every point of line $\"\"$ is the same distance from point $\"\"$ as from point $\"\"$ .