第一余弦定理って a=b*cos(C)+c*cos(B) のことじゃなかったっけ。>>651