Skip to content
Worked Examples · Example 19

Q.For any two vectors a⃗\vec{a} and b⃗\vec{b}, we always have ∣a⃗⋅b⃗∣≤∣a⃗∣ ∣b⃗∣|\vec{a}\cdot\vec{b}|\le|\vec{a}|\,|\vec{b}| (Cauchy-Schwartz inequality).

CBSENCERTSubjective· 3mImportance★★★★★est
48% · 73/153 Questions
🔒 Locked · start free trial →

You're viewing a preview — the full solution, concept, methods & PYQ mapping are locked.

Start your 14-day free trial to unlock the full solution →

Because a⃗⋅b⃗=∣a⃗∣∣b⃗∣cos⁡θ\vec{a}\cdot\vec{b} = |\vec{a}||\vec{b}|\cos\theta and ∣cos⁡θ∣≤1|\cos\theta|\le 1, taking magnitudes gives ∣a⃗⋅b⃗∣≤∣a⃗∣∣b⃗∣|\vec{a}\cdot\vec{b}| \le |\vec{a}||\vec{b}| — the Cauchy–Schwarz inequality, with equality when a⃗\vec{a} and b⃗\vec{b} are parallel.

The Cauchy–Schwarz inequality bounds how large a dot product can be: it can never exceed the product of the two lengths. The dot product measures alignment, and the most two vectors can align is to point exactly the same way — that limiting case is what makes the inequality tight.

1. The two faces of the dot product

The dot product has a component form and a geometric form, and both give the same number:

a⃗⋅b⃗=a1b1+a2b2+a3b3=∣a⃗∣ ∣b⃗∣cos⁡θ,\vec{a}\cdot\vec{b} = a_1b_1 + a_2b_2 + a_3b_3 = |\vec{a}|\,|\vec{b}|\cos\theta,

where θ\theta is the angle between a⃗\vec{a} and b⃗\vec{b}. The geometric form is the one we need, because it shows the dot product as a length product scaled by a cosine.

2. Take magnitudes

Taking the absolute value of both sides and using that lengths are non-negative,

∣a⃗⋅b⃗∣=∣ ∣a⃗∣ ∣b⃗∣cos⁡θ ∣=∣a⃗∣ ∣b⃗∣ ∣cos⁡θ∣.|\vec{a}\cdot\vec{b}| = \big|\,|\vec{a}|\,|\vec{b}|\cos\theta\,\big| = |\vec{a}|\,|\vec{b}|\,|\cos\theta|.

3. The cosine is at most 1

For any real angle θ\theta, −1≤cos⁡θ≤1-1 \le \cos\theta \le 1, so ∣cos⁡θ∣≤1|\cos\theta| \le 1. Multiplying the non-negative quantity ∣a⃗∣∣b⃗∣|\vec{a}||\vec{b}| by something at most 11 can only shrink it:

∣a⃗∣ ∣b⃗∣ ∣cos⁡θ∣≤∣a⃗∣ ∣b⃗∣.|\vec{a}|\,|\vec{b}|\,|\cos\theta| \le |\vec{a}|\,|\vec{b}|.

Chaining the last two lines,

∣a⃗⋅b⃗∣≤∣a⃗∣ ∣b⃗∣,|\vec{a}\cdot\vec{b}| \le |\vec{a}|\,|\vec{b}|,

which is exactly the Cauchy–Schwarz inequality. …

Unlock everything free for 14 days

  • Full step-by-step solutions
  • Concept-first explanations
  • Methods, shortcuts & mistakes
  • PYQ mapping + timed mock tests

Full access for 14 days. No credit card required.