Sea formula_24 la mediatriz del triángulo formula_25, el cual es isósceles por ser iguales las distancias formula_26 y formula_27, como se ha visto.