Put slightly differently...
Let
and
be the points such that
and
where
is the origin.
The locus
is the set of points
such that the distance from
to
and the distance from
to
are equal.
The distance from
to
is
and similarly
.
It is clear that
, the midpoint of
, must be one such point on the locus. The diagram provided makes it clear that the origin is another point on the locus.
Now, for any point
other than
on the perpendicular bisector of
,
creates a pair of congruent triangles,
which proves that
and
lies on the locus.
For any point
that is not on the perpendicular bisector of
, we can prove that either
is closer to
than to
, or vice versa - that
is closer to
than to
. In either case,
does not belong to the locus and so the locus is all points lying on the perpendicular bisector of
.
This result is easy to establish algebraically, by taking
and using
.