余弦定理の証明 / ベクトルの内積を使う

この証明に比べるとずいぶん簡単だ。