∠ 4 > ∠ 2

AC > DC

If two angles of a triangle are unequal, the sides opposite them are unequal in the same order

AD bisects ∠ CAB, AD > BD

∠ 1 = ∠ 2

The exterior angle theorem

Substitution

∠ 4 > ∠ 1

Given

Definition