Suppose satisfies the condition: . Then it is easy to see that

. |

But this implies that

. |

Thus

. |

So it follows that

, |

or that (for the midpoint of the segment)

. |

But this puts Z on the orthogonal bisector of the segment. Each step of the argument is reversible, and so the orthogonal bisector is equal to the set of points with equal interval from . ¨