ベクトル空間を公理的に扱う場合は、内積から逆に余弦定理から角を定義する。
（a－b）･（a－b）を展開すれば余弦定理となる。