et sont deux points distincts de l'espace. Quel est l'ensemble des points équidistants de et ?
Soit le milieu de . Soit un point quelconque de l'espace.
est équidistant de et si et seulement si :
appartient donc au plan passant par et orthogonal à : c'est le plan médiateur de .