>>132
A+B+C=πと加法定理より、(2)を(1)へ。
a/sinA=b/sinB → a=b*sinA/sinB=b*sin(B+C)/sinB
=(b*sinB*cosC+b*cosB*sinC)/sinB=b*cosC+(b*sinC/sinB)*cosB
=b*cosC+(c*sinB/sinB)*cosB=b*cosC+c*cosB、他も全く同様。