>>141
a=bcosC+ccosB と b=ccosA+acosC  をかけたものと
b=ccosA+acosC と c=acosB+bcosA をかけたものから
a/sinA=c/sinC がえられる。