Concluimos que el punto formula_4 es punto medio del segmento formula_1 y que dicho segmento es perpendicular a la recta formula_5.