Los ángulos 1 y 2 son iguales por construcción y los ángulos 2 y 3 por alternos internos; luego son iguales 1 y 3, por lo que el triángulo ABB’ es isósceles, y será AB'=AB.
Análogamente se demuestra que es isósceles el triángulo ACC’; luego AC'=AC.
Entonces B'C'=AB'+AC'=AB+AC.