Consideremos la bisectriz formula_24 del ángulo formula_25 y sea formula_4 la intersección de dicha bisectriz con el segmento formula_1.