Using triangle proportionality AB/AD is proportional to
Using the isosceles triangle in the construction EC =
These lead to the proportion that corresponds to the angle bisector theorem of AB/AD​