Llamamos simetral ortogonal de los puntos formula_68 y formula_32 a la línea de la proposición.