Sean m y n los ángulos que la bisectriz de A forma con la base BC.
En todo triángulo, un ángulo exterior es igual a la suma de los dos interiores no adyacentes.
En el triángulo CDA, m es un ángulo exterior: m=C+A/2
En el triángulo BDA: n=B+A/2
Restando: m-n=C-B