Let $ABC$ an isosceles triangle ($AB=AC$) and the bisector from $B$ intersects $AC$ at $D$ such that $AD+BD=BC$. Find the angle $A$.
I found this in a book and the proof starts with $A=4a$. Then they apply the theorem of sines:
$$AD+BD =BC \implies \frac{AD+BD}{AB}=\frac{BC}{AB} \implies \frac{\sin(45^\circ-a)+\sin 4a}{\sin(45^\circ+3a)}=\frac{\sin 4a}{\cos 2a}$$
I think I understand the angles, but I don't understand how $\cos 2a$ appears. And then they say it implies $a=25^\circ$ so $A=100^\circ$. But I don't understand how $a=25^\circ$.
Please help me understand. Thank you in advance.
Note that, according to the sine rule applies to the triangle ABC,
$$\frac{BC}{AB} = \frac{\sin A }{\sin C} = \frac{\sin 4a }{\sin \frac{180-4a}2}= \frac{\sin 4a }{\sin (90-2a)}=\frac{\sin 4a }{\cos 2a}$$