ironfern @ docs ~/geometry/grade-9/vectors/dot-product $

Scalar Product of Vectors

The scalar (dot) product assigns a real number to each pair of vectors. It encodes both their magnitudes and the angle between them, making it the key tool for measuring angles and checking perpendicularity.

Definition

📐Definition — Scalar Product

The scalar product (or dot product) of vectors a\vec{a} and b\vec{b} is the real number:

ab=abcosφ\boxed{\vec{a} \cdot \vec{b} = |\vec{a}|\,|\vec{b}|\cos\varphi}

where φ\varphi is the angle between a\vec{a} and b\vec{b}, with 0°φ180°0° \leq \varphi \leq 180°.

The angle φ\varphi is measured by placing both vectors at the same starting point and taking the angle between them in the interval [0°,180°][0°, 180°].

Key observations:

  • If φ=90°\varphi = 90°: ab=abcos90°=0\vec{a} \cdot \vec{b} = |\vec{a}||\vec{b}|\cos 90° = 0
  • If φ<90°\varphi < 90°: ab>0\vec{a} \cdot \vec{b} > 0
  • If φ>90°\varphi > 90°: ab<0\vec{a} \cdot \vec{b} < 0
  • aa=a2\vec{a} \cdot \vec{a} = |\vec{a}|^2

Coordinate Formula

Theorem — Scalar Product in Coordinates

If a=(a1,a2)\vec{a} = (a_1, a_2) and b=(b1,b2)\vec{b} = (b_1, b_2), then:

ab=a1b1+a2b2\boxed{\vec{a} \cdot \vec{b} = a_1 b_1 + a_2 b_2}

Proof. Place both vectors at the origin: a=OA\vec{a} = \overrightarrow{OA} with A=(a1,a2)A = (a_1, a_2), b=OB\vec{b} = \overrightarrow{OB} with B=(b1,b2)B = (b_1, b_2). By the Law of Cosines applied to triangle OABOAB:

AB2=OA2+OB22OAOBcosφ|AB|^2 = |OA|^2 + |OB|^2 - 2|OA||OB|\cos\varphi

Compute AB2|AB|^2 directly:

AB2=(b1a1)2+(b2a2)2=a12+a22+b12+b222a1b12a2b2|AB|^2 = (b_1 - a_1)^2 + (b_2 - a_2)^2 = a_1^2 + a_2^2 + b_1^2 + b_2^2 - 2a_1 b_1 - 2a_2 b_2

Since OA2=a12+a22=a2|OA|^2 = a_1^2 + a_2^2 = |\vec{a}|^2 and OB2=b12+b22=b2|OB|^2 = b_1^2 + b_2^2 = |\vec{b}|^2, substituting:

a2+b22a1b12a2b2=a2+b22abcosφ|\vec{a}|^2 + |\vec{b}|^2 - 2a_1 b_1 - 2a_2 b_2 = |\vec{a}|^2 + |\vec{b}|^2 - 2|\vec{a}||\vec{b}|\cos\varphi

Simplifying: a1b1+a2b2=abcosφ=aba_1 b_1 + a_2 b_2 = |\vec{a}||\vec{b}|\cos\varphi = \vec{a} \cdot \vec{b}. \blacktriangleleft

Properties

Theorem — Properties of the Scalar Product

For any vectors a\vec{a}, b\vec{b}, c\vec{c} and scalar kk:

  1. Commutative: ab=ba\vec{a} \cdot \vec{b} = \vec{b} \cdot \vec{a}
  2. Square: aa=a2\vec{a} \cdot \vec{a} = |\vec{a}|^2
  3. Distributive: (a+b)c=ac+bc(\vec{a} + \vec{b}) \cdot \vec{c} = \vec{a} \cdot \vec{c} + \vec{b} \cdot \vec{c}
  4. Homogeneous: (ka)b=k(ab)(k\vec{a}) \cdot \vec{b} = k(\vec{a} \cdot \vec{b})
  5. Zero vector: 0a=0\vec{0} \cdot \vec{a} = 0

Note: the scalar product is not associative — (ab)c(\vec{a} \cdot \vec{b}) \cdot \vec{c} is not defined (the left side is a scalar, not a vector).

Perpendicularity Criterion

Theorem — Perpendicularity Criterion

Two nonzero vectors a\vec{a} and b\vec{b} are perpendicular if and only if their scalar product is zero:

ab    ab=0\vec{a} \perp \vec{b} \iff \vec{a} \cdot \vec{b} = 0

Proof. Since a0\vec{a} \neq \vec{0} and b0\vec{b} \neq \vec{0}, we have a0|\vec{a}| \neq 0 and b0|\vec{b}| \neq 0. Then: ab=abcosφ=0    cosφ=0    φ=90°.\vec{a} \cdot \vec{b} = |\vec{a}||\vec{b}|\cos\varphi = 0 \iff \cos\varphi = 0 \iff \varphi = 90°. \quad \blacktriangleleft

Angle Between Vectors

Theorem — Angle Between Two Vectors

The angle φ\varphi between nonzero vectors a=(a1,a2)\vec{a} = (a_1, a_2) and b=(b1,b2)\vec{b} = (b_1, b_2) satisfies:

cosφ=abab=a1b1+a2b2a12+a22  b12+b22\boxed{\cos\varphi = \dfrac{\vec{a} \cdot \vec{b}}{|\vec{a}|\,|\vec{b}|} = \dfrac{a_1 b_1 + a_2 b_2}{\sqrt{a_1^2 + a_2^2}\;\sqrt{b_1^2 + b_2^2}}}

Since 0°φ180°0° \leq \varphi \leq 180°, the sign of cosφ\cos\varphi determines whether the angle is acute, right, or obtuse.

Worked Examples

Example — Example 1 — Angle Between Two Vectors

Find the angle between a=(3,4)\vec{a} = (3, 4) and b=(4,3)\vec{b} = (-4, 3).

Solution. Compute the dot product:

ab=3(4)+43=12+12=0\vec{a} \cdot \vec{b} = 3 \cdot (-4) + 4 \cdot 3 = -12 + 12 = 0

Since ab=0\vec{a} \cdot \vec{b} = 0 and both vectors are nonzero, the vectors are perpendicular.

Answer: φ=90°\varphi = 90°. \blacktriangleleft

Example — Example 2 — Finding an Angle

Find the angle between p=(1,3)\vec{p} = (1, \sqrt{3}) and q=(2,0)\vec{q} = (2, 0).

Solution.

pq=12+30=2\vec{p} \cdot \vec{q} = 1 \cdot 2 + \sqrt{3} \cdot 0 = 2

p=1+3=2,q=4+0=2|\vec{p}| = \sqrt{1 + 3} = 2, \qquad |\vec{q}| = \sqrt{4 + 0} = 2

cosφ=222=12\cos\varphi = \dfrac{2}{2 \cdot 2} = \dfrac{1}{2}

Therefore φ=60°\varphi = 60°.

Answer: φ=60°\varphi = 60°. \blacktriangleleft

Exercises

Exercise

Given a=(5,2)\vec{a} = (5, -2) and b=(4,10)\vec{b} = (4, 10).

(a) Compute ab\vec{a} \cdot \vec{b}. (b) Are a\vec{a} and b\vec{b} perpendicular? Justify your answer. (c) Find a|\vec{a}| and b|\vec{b}|.

Exercise

Given u=(3,4)\vec{u} = (3, -4) and v=(m,6)\vec{v} = (m, 6) where mm is unknown.

(a) Find the value of mm for which uv\vec{u} \perp \vec{v}. (b) For the value of mm found in (a), find the angle φ\varphi between u\vec{u} and u+v\vec{u} + \vec{v}.

Hint: For (b), use the coordinate formula for the dot product with u\vec{u} and u+v\vec{u} + \vec{v}.