>>941
乱暴だけどこんな感じになると思う。

△ABCのAからBCに向かって垂線を引き、交点をDとする
BC=a, AC=b, AB=c とする
AD=h, とおき、BD=xとすると
cosB=x/c
三平方の定理より
x^2 +h^2 =c^2
また、
b^2=h^2 +(a-x)^2
が成り立つ

b^2=h^2 +(a-c*cosB)^2
=h^2 +a^2 -2ac*cosB +(c*cosB)^2
=h^2 +a^2 -2ac*cosB +x^2
=c^2 +a^2 -2ac*cosB

間違ってたらごめんよ