The triangle $ABC$ in the figure below is isosceles with base $AC$, knowing that $AD$ is bisector of $\angle BAC$ and $\angle ABC=100^o$, prove that $AC=AD+BD$.
$\frac{AB}{BD}=\frac{AC}{CD}$
$\frac{BD}{DE}=\frac{AB}{AE}$
$\frac{AB}{AF}=\frac{BC}{CF}$
$AD =\sqrt{AB.AC-BD.CD}$


As shown in the figure above, construct $E$ on $AC$ such that $\triangle ABD\cong\triangle AED$, and $F$ on $\overrightarrow{AD}$ such that $BD=DF$. We have $$\angle ADE=\angle ADB=\angle CDE=\angle CDF=60^{\circ}\,.$$ Since $$DE=DF,\quad \angle CDE=\angle CDF,\quad CD=CD\,,$$ we can say that $\triangle CDE\cong \triangle CDF$. Hence $\angle DCF=\angle DCE=40^{\circ}$. It turns out that $$\angle ACF=\angle AFC=80^{\circ}\,,$$ implying that $\triangle ACF$ is an isosceles. Finally, $$AC=AF=AD+DF=AD+BD\,.$$
