In right triangle ABC, we have \(\angle BAC = 90^\circ\) and D is on \(\overline{AC}\) such that \(\overline{BD}\) bisects \(\angle ABC\). If AB = 12 and BC = 15, then what is \(\cos \angle BDC\)?
By the law of cosines, cos BDC = 5/8.
+343 
