Xét tam giác ABC có:
ABC^+BAC^+BCA^=180∘
ABC^=180∘−BAC^−BCA^ (1)
Xét tam giác ABD có:
ABD^+BAD^+BDA^=180∘
ABD^=180∘−BAD^−BDA^ (2)
Mà BAC^=BAD^;BCA^=BDA^ (3)
Từ (1), (2), (3) ta suy ra ABC^=ABD^
Xét ΔABC và ΔABD có:
ABC^=ABD^ (chứng minh trên)
AB chung
BAC^=BAD^ (giả thiết)
Do đó, ΔABC=ΔABD (g . c . g).