ベクトルの内積を使って余弦定理を証明するのは循環論法になりませんか？