بنابه قضیه نیمساز در هر مثلث داریم:
$ \frac{ \overline{AC} }{ \overline{DC} } = \frac{ \overline{AB} }{ \overline{DB} } \Rightarrow \frac{ \overline{DB} }{ \overline{DC} } = \frac{ \overline{AB} }{ \overline{AC} }$
حالا در اینجا داریم:
$ \overline{AC} > \overline{AB} \Rightarrow \frac{ \overline{AB} }{ \overline{AC} } <1 \Rightarrow \frac{ \overline{DB} }{ \overline{DC} }<1 \Rightarrow \overline{DC} > \overline{DB} $
$ \Box $