Métodos y Teorías de Construcciones Geométricas, de Julius Petersen

c. El lugar geométrico de todos los puntos que equidistan de dos puntos dados es una recta perpendicular a la recta que une los dos puntos y pasa por su punto medio.