Why the Formulas Work · Hard problem

In right triangle $ABC$, $\angle B=90^\circ$, $AB=3$ and $BC=4$. The bisector of $\angle A$ meets $BC$ at $D$. Find $AD$. Give an exact answer.