Как умножить вектора? АВ*ОС

Есть несколько формул по которым считается произведения векторов:1) если нам известны координаты векторов АВ{Х1;У1} и ОС{Х2;У2}, то АВ*ОС=Х1*Х2+У1*У2 (если векторы в пространстве, то соответственно добавляется координата Z)2) если нам известны длины векторов по модулю и угол между ними, то мы используем формулу АВ*ОС=|АВ|*|ОС|*cosa, где а- угол между АВ и ОС