Xét tam giác ABC có AB < AC, suy ra C^<B^.
Xét hai tam giác ABD và ACD:
A1^+B^+ADB^=A2^+C^+ADC^=180∘
Mà A1^=A2^ (gt) và C^<B^ suy ra ADB^<ADC^
