>>971
高校でのベクトルの内積は、一方のベクトルを、もう一方のベクトルに射影して、
その長さをかけたもの