Trong tam giác ADB và tam giác ADC có:
CAD^=DAB^
ACD^<DBA^
Vì tổng 3 góc trong tam giác bằng 1800
=> ABD^<ADC^