En efecto, sea formula_1 el segmento que sea, determinado por los puntos formula_2 y formula_3.