>>123
全国的にそれを第一余弦定理と呼ぶ