
By the law of sines, in triangle ABD we have

and in triangle ABC,

By substitution we end up with





There's probably some sequence of identities you can apply to the right side to somehow end up with
but I'm not seeing it right away... I just used a calculator at this point.