Cho tam giác . Kẻ đường phân giác
có
. Kẻ tia
sao cho
(Tia
khác phía với
đối với
). Gọi
là giao điểm của
và
. Khi đó
bằng:
Hình vẽ minh họa
Xét tam giác ABD và tam giác CID ta có
Xét tam giác ABD và tam giác AIC ta có:
Từ (*) và (**) suy ra







