There are two useful definitions of multiplication of vectors, in one the product is a scalar and in the other the product is a vector. There is no operation of division of vectors. In some school syllabuses you will meet scalar products but not vector products but we discuss both types of multiplication of vectors in this article to give a more rounded picture of the basics of the subject

Scalar Multiplication
The scalar product of vectors u = (u₁, u₂, u₃) and v=(v₁, v₂, v₃) is a scalar defined to be

u.v = u1v1 + u2v2 + u3v3    (1).

This is sometimes called the inner product or dot product. It follows immediately from the definition that

u.u = u12+u22+u32=|u|2     (2),

and if i, j, k are unit vectors along the axes then

i.i=j.j = k.k = 1,    and    i.j=j.k = k.i = 0    (3).

It is left to the reader to check from the definition that

u.v = v.u,  and  (u + v).w = u.w+v.w.

This shows that we can expand or multiply out

u.v = (u1i+u2j+u3k).(v1i+v2j+u3 k)

giving nine terms. Using equation (3) six of these terms are zero and the other three give the expression u₁v₁+u₂v₂+u₃v₃ consistent with the definition in equation (1).

The Cosine Rule in Euclidean Geometry can be proved without the use of scalar products. Using the Cosine Rule for the triangle DOPQ where ÐPOQ = q we get:

|u-v|2 = |u|2 + |v|2 - 2|u||v|cos q.    (4)

Expanding |u-v|² we get

|u-v|2 = (u-v).(u-v) = |u|2 + |v|2 - 2u. v,    (5).

Hence, from equations (4) and (5), we get the very useful result

u.v = |u||v|cosq,     (6)

where angle q is the angle between the vectors u and v. This is a very important and useful result because it enables us to find the angle between two vectors.

Some texts use the formula (6) to define the angle between two vectors, that is

q = cos-1 æ ç è u.v |u||| v| ö ÷ ø     (7).

In three dimensions we can use a more intuitive definition of angle in terms of turning, but in higher dimensions it is necessary to have a definition of angle such as formula (7). If we use this formula to define an angle then the Cosine Rule follows directly as the two are equivalent.

Note that the product of a row vector and a column vector is defined in terms of the scalar product and this is consistent with matrix multiplication.

(u1 u2 u3) æ ç ç ç è v1 v2 v3 ö ÷ ÷ ÷ ø = u1v1 + u2v2 + u3v3.

Vector Multiplication
The vector product of two vectors b and c, written b×c (and sometimes called the cross product), is the vector

b×c = æ ç ç ç è b2c3-b3c2 b3c1 -b1c3 b1c2 -b2c1 ö ÷ ÷ ÷ ø     (8).

There is an alternative definition of the vector product, namely that b×c is a vector of magnitude | b||c|sinq perpendicular to b and c and obeying the 'right hand rule', and we shall prove that this result follows from the given definition and that the two definitions are equivalent. The proof is given later for completeness but first we consider b×c expressed in terms of components in the directions of i, j, k.

From this definition we can see that b×c=- c×b so this operation is not commutative. If i, j, k are unit vectors along the axes then, from this definition:

i×i = j×j = k× k,

and

i×j = k,    j×i = -k j×k = i,    k× j = -i k×i = j,    i×k = -j .

From the definition it follows that

k(b×c) = (kb)×c = b ×(kc),        (a+b)×c = ( a×c) + (b×c).

Expanding the expression

b×c = (b1i + b2j + b3 k) ×(c1i+ c2j + c3 k)

gives

(b2c3-b3c2)i+ (b3c1-b1c3)j + (b1c2-b2c1)k     (9)

which is the formula for the vector product given in equation (8).

Now we prove that the two definitions of vector multiplication are equivalent. The diagram shows the directions of the vectors b, c and b×c which form a 'right handed set'.

Theorem The vector product of two vectors b and c is a vector b×c with the following properties:
(i) b×c has magnitude |b||c|sinq where q is the angle between the directions of b and c;
(ii) b×c is perpendicular to b and c with direction such that the vectors b, c and b×c form a right handed set as in the diagram so that b×c and c× b are in opposite directions.

Proof of part (i) Consider the area of the parallelogram with sides given by the vectors b and c and angle q between these sides. The area of this parallelogram is |b||c|sinq. The vector b can be decomposed into a vector kc of magnitude |b|cos q in the direction of c and b-kc of magnitude |b|sinq perpendicular to c where k=|b|cosq/|c|=(b.c)/|c|².