tenemos, por la proposición 14, que formula_67 es una línea perpendicular la línea formula_81 que pasa por formula_15 y formula_333, cortando a dicha línea en el punto medio entre formula_15 y formula_333.