With various triangles to which the law of sines, the law of cosines, and Pythagoras' Theorem may be applied, there are no doubt many solutions to this problem. One approach is to show that, since AD is an angle bisector, AB/AC = BD/CD. This may simplify some of the equations.