Cho tam giác có
. Tia phân giác góc
cắt
tại
. Ta có:
Hình vẽ minh họa
Xét có:
(định lí tổng ba góc của tam giác).
Xét có:
(định lí tổng ba góc của tam giác).
Mà (vì DI là tia phân giác góc D).
Nên hay
Xét và
có:
là cạnh chung
(các cặp cạnh tương ứng)