Giả sử điều ngược lại xảy ra $DB\ge DC$.
Nếu DB=DC thì $\Delta ABD =\Delta ADC$ (c.c.c) suy ra $\widehat{ADB}=\widehat{ADC}$ (vô lí)
Nếu DC<DB thì $\Delta BCD$ có $\widehat{DBC}<\widehat{DCB}$ suy ra $\widehat{ACD}<\widehat{ABD}$. (1)
Xét $\Delta ABD$ và $\Delta ACD$ có: AB=AC; chung AD; DC<DB nên $\widehat{BAD}>\widehat{CAD}$.(2)
Từ (1) và (2) suy ra $\widehat{ADB}<\widehat{ADC}$ (vô lí ).
Vậy DC>DB