Teorema del ángulo exterior

El teorema del ángulo exterior es la Proposición 1.16 en los Elementos de Euclides que dice lo siguiente: Todo ángulo exterior de un triángulo es igual a la suma de los dos ángulos interiores no adyacentes.

Lado: ABC es un triángulo, y ACD es un ángulo exterior al mismo.

Para probar: mACD = mABC + mBAC (aquí, mACD denota la medida del ángulo ACD) Prueba: