第一余弦定理って役に立つんですか？
なんか当たり前のことしか言ってない気がするのですが・・・