Recíprocamente, sea formula_1 un segmento y sea formula_6 un punto que equidista de formula_2 y de formula_3, esto es que los segmentos formula_12 y formula_13 son iguales.