Linear-Algebra-Done-Right · Unit 14 · Video 2 · Interactive Practice

Norms, Orthogonality and the Pythagorean Theorem

IKey Formulas

FormulaNameHypotheses
∥v∥=⟨v,v⟩\|v\| = \sqrt{\langle v, v \rangle}NormVV an inner product space over F\mathbf{F} (F=R\mathbf{F} = \mathbf{R} or C\mathbf{C}), v∈Vv \in V
∥(z1,…,zn)∥=∣z1∣2+⋯+∣zn∣2\|(z_1, \dots, z_n)\| = \sqrt{|z_1|^2 + \cdots + |z_n|^2}Euclidean normFn\mathbf{F}^n with the Euclidean inner product
∥v∥=0  ⟺  v=0\|v\| = 0 \iff v = 0,  ∥λv∥=∣λ∣ ∥v∥\ \|\lambda v\| = |\lambda|\,\|v\|Basic properties of the normVV an inner product space, v∈Vv \in V, λ∈F\lambda \in \mathbf{F}
⟨u,v⟩=0  ⇒  ∥u+v∥2=∥u∥2+∥v∥2\langle u, v \rangle = 0 \;\Rightarrow\; \|u + v\|^2 = \|u\|^2 + \|v\|^2Pythagorean theoremVV an inner product space, u,v∈Vu, v \in V orthogonal

Key Insight: Work with ∥v∥2=⟨v,v⟩\|v\|^2 = \langle v, v \rangle — both proofs expand an inner product instead of handling a square root.

IIScaling by a Complex Number

Multiplying z=(1+2i,2,4i)∈C3z = (1 + 2i, 2, 4i) \in \mathbf{C}^3 by λ∈C\lambda \in \mathbf{C} multiplies every coordinate's modulus, and the norm, by ∣λ∣|\lambda|.

IIIOrthogonal Functions on [−1,1][-1, 1]

With ⟨f,g⟩=∫−11fg\langle f, g \rangle = \int_{-1}^{1} fg, orthogonality means the signed area under fgfg cancels to zero.

IVThe Pythagorean Theorem in R2\mathbf{R}^2

With the Euclidean inner product, the square on u+vu + v equals the other two squares exactly when ⟨u,v⟩=0\langle u, v \rangle = 0.

💡 Challenge: with u=(2,1)u = (2, 1) fixed, find three different vv that make the squares balance, and say what those vv have in common.

VQuiz Questions

Problem 1 · A Norm in C3\mathbf{C}^3

Given: w=(2−i, 1+3i, 1)∈C3w = (2 - i,\ 1 + 3i,\ 1) \in \mathbf{C}^3 with the Euclidean inner product — find ∥w∥\|w\|.

✅ Correct! The squared moduli are 55, 1010 and 11, which add to 1616, so ∥w∥=4\|w\| = 4.
❌ Not quite. That uses only the real parts 2,1,12, 1, 1. Each term is ∣wk∣2=(Re⁡wk)2+(Im⁡wk)2|w_k|^2 = (\operatorname{Re} w_k)^2 + (\operatorname{Im} w_k)^2, so the imaginary parts count too.
❌ Close, but… 1616 is ∥w∥2=⟨w,w⟩\|w\|^2 = \langle w, w \rangle. The norm is its square root.
❌ Not quite. The norm is not the sum of the moduli ∣wk∣|w_k| — square the moduli, add, then take one square root.
❌ Not quite. Compute ∣w1∣2+∣w2∣2+∣w3∣2|w_1|^2 + |w_2|^2 + |w_3|^2 first.
Show solution

For the Euclidean inner product, ∥w∥=∣w1∣2+∣w2∣2+∣w3∣2\|w\| = \sqrt{|w_1|^2 + |w_2|^2 + |w_3|^2}. The squared moduli are

∣2−i∣2=4+1=5,∣1+3i∣2=1+9=10,∣1∣2=1.|2 - i|^2 = 4 + 1 = 5, \qquad |1 + 3i|^2 = 1 + 9 = 10, \qquad |1|^2 = 1. ∥w∥2=5+10+1=16,∥w∥=4.\|w\|^2 = 5 + 10 + 1 = 16, \qquad \|w\| = 4.

The norm is 4\mathbf{4}.

Problem 2 · Pulling Out a Complex Scalar

Given: v=(1, 2i, 2)∈C3v = (1,\ 2i,\ 2) \in \mathbf{C}^3 with the Euclidean inner product and λ=−3+4i\lambda = -3 + 4i — find ∥λv∥\|\lambda v\|.

✅ Correct! ∥λv∥=∣λ∣ ∥v∥=5⋅3=15\|\lambda v\| = |\lambda|\,\|v\| = 5 \cdot 3 = 15.
❌ Not quite. A norm is a nonnegative real number. The scalar comes out as ∣λ∣|\lambda|, not as λ\lambda: ∥λv∥=∣λ∣ ∥v∥\|\lambda v\| = |\lambda|\,\|v\|.
❌ Not quite. ∣−3+4i∣|-3 + 4i| is (−3)2+42=5\sqrt{(-3)^2 + 4^2} = 5, not 3+4=73 + 4 = 7.
❌ Close, but… ∣λ∣2=25|\lambda|^2 = 25 belongs in ∥λv∥2=∣λ∣2∥v∥2\|\lambda v\|^2 = |\lambda|^2 \|v\|^2. Taking square roots of both sides gives ∣λ∣ ∥v∥|\lambda|\,\|v\|.
❌ Not quite. Find ∥v∥\|v\| and ∣λ∣|\lambda| separately.
Show solution
∥v∥2=∣1∣2+∣2i∣2+∣2∣2=1+4+4=9,∥v∥=3.\|v\|^2 = |1|^2 + |2i|^2 + |2|^2 = 1 + 4 + 4 = 9, \qquad \|v\| = 3. ∣λ∣=∣−3+4i∣=9+16=5.|\lambda| = |-3 + 4i| = \sqrt{9 + 16} = 5. ∥λv∥=∣λ∣ ∥v∥=5⋅3=15.\|\lambda v\| = |\lambda|\,\|v\| = 5 \cdot 3 = 15.

Direct check: λv=(−3+4i, −8−6i, −6+8i)\lambda v = (-3 + 4i,\ -8 - 6i,\ -6 + 8i), whose squared moduli are 2525, 100100, 100100, summing to 225=152225 = 15^2.

Problem 3 · Orthogonal Polynomials on [0,1][0, 1]

Given: P1(R)\mathcal{P}_1(\mathbf{R}), the real polynomials of degree at most 11, with the inner product ⟨p,q⟩=∫01pq\langle p, q \rangle = \int_0^1 p q. Let p(x)=xp(x) = x and q(x)=x+cq(x) = x + c — find the c∈Rc \in \mathbf{R} that makes pp and qq orthogonal, then ∥p+q∥2\|p + q\|^2.

What is cc?

What is ∥p+q∥2\|p + q\|^2?

✅ Correct! ⟨x,x−23⟩=0\langle x, x - \tfrac{2}{3} \rangle = 0, so ∥p+q∥2=∥p∥2+∥q∥2=13+19=49\|p + q\|^2 = \|p\|^2 + \|q\|^2 = \tfrac{1}{3} + \tfrac{1}{9} = \tfrac{4}{9}.
❌ Not quite. That solves ∫01(x+c)=0\int_0^1 (x + c) = 0, which is ⟨1,q⟩=0\langle 1, q \rangle = 0. The condition is ∫01x(x+c)=0\int_0^1 x(x + c) = 0.
❌ Not quite. c=0c = 0 makes q=pq = p, and ⟨x,x⟩=∫01x2=13≠0\langle x, x \rangle = \int_0^1 x^2 = \tfrac{1}{3} \ne 0 — a nonzero vector is never orthogonal to itself.
❌ Close, but… From 13+c2=0\tfrac{1}{3} + \tfrac{c}{2} = 0 you get c=−23c = -\tfrac{2}{3}; the fraction was inverted.
❌ Check cc. Expand ∫01(x2+cx)\int_0^1 (x^2 + c x) and set it to zero.
❌ Not quite. 43=∥2x∥2\tfrac{4}{3} = \|2x\|^2 — that drops cc. Here p+q=2x−23p + q = 2x - \tfrac{2}{3}.
❌ Not quite. That is (∥p∥+∥q∥)2(\|p\| + \|q\|)^2. The Pythagorean theorem adds the squares of the norms: ∥p∥2+∥q∥2\|p\|^2 + \|q\|^2.
❌ Not quite. 29=∥p∥2−∥q∥2=13−19\tfrac{2}{9} = \|p\|^2 - \|q\|^2 = \tfrac{1}{3} - \tfrac{1}{9}. The Pythagorean theorem adds the squared norms.
❌ Check ∥p+q∥2\|p + q\|^2. Since p⊥qp \perp q, add ∥p∥2=∫01x2\|p\|^2 = \int_0^1 x^2 and ∥q∥2=∫01(x−23)2\|q\|^2 = \int_0^1 (x - \tfrac{2}{3})^2.
Show solution

Step 1: Orthogonality.

⟨p,q⟩=∫01x(x+c) dx=13+c2=0  ⟹  c=−23.\langle p, q \rangle = \int_0^1 x(x + c)\,dx = \frac{1}{3} + \frac{c}{2} = 0 \;\Longrightarrow\; c = -\frac{2}{3}.

Step 2: The two norms squared.

∥p∥2=∫01x2 dx=13,∥q∥2=∫01(x−23)2dx=13−23+49=19.\|p\|^2 = \int_0^1 x^2\,dx = \frac{1}{3}, \qquad \|q\|^2 = \int_0^1 \Big(x - \frac{2}{3}\Big)^2 dx = \frac{1}{3} - \frac{2}{3} + \frac{4}{9} = \frac{1}{9}.

Step 3: Pythagorean theorem. ∥p+q∥2=13+19=49\|p + q\|^2 = \frac{1}{3} + \frac{1}{9} = \frac{4}{9}.

Direct check: p+q=2x−23p + q = 2x - \tfrac{2}{3} and ∫01(2x−23)2 dx=43−43+49=49\int_0^1 (2x - \tfrac{2}{3})^2\,dx = \tfrac{4}{3} - \tfrac{4}{3} + \tfrac{4}{9} = \tfrac{4}{9}.

Problem 4 · Pythagoras in C2\mathbf{C}^2

Given: u=(1,i)u = (1, i) and v=(i,1)v = (i, 1) in C2\mathbf{C}^2 with the Euclidean inner product ⟨w,z⟩=w1z1‾+w2z2‾\langle w, z \rangle = w_1 \overline{z_1} + w_2 \overline{z_2} — find ⟨u,v⟩\langle u, v \rangle, then ∥u+v∥\|u + v\|.

What is ⟨u,v⟩\langle u, v \rangle?

What is ∥u+v∥\|u + v\|?

✅ Correct! u⊥vu \perp v, so ∥u+v∥2=2+2=4\|u + v\|^2 = 2 + 2 = 4 and ∥u+v∥=2\|u + v\| = 2.
❌ Not quite. 1⋅i+i⋅1=2i1 \cdot i + i \cdot 1 = 2i forgets the conjugate on the second slot: ⟨u,v⟩=1⋅i‾+i⋅1‾=−i+i\langle u, v \rangle = 1 \cdot \overline{i} + i \cdot \overline{1} = -i + i.
❌ Not quite. 2=∣1∣ ∣i∣+∣i∣ ∣1∣2 = |1|\,|i| + |i|\,|1| uses moduli. The inner product keeps the complex numbers: 1⋅i‾+i⋅1‾=−i+i1 \cdot \overline{i} + i \cdot \overline{1} = -i + i.
❌ Not quite. The inner product pairs each coordinate of uu with the conjugate of the same coordinate of vv: 1⋅i‾+i⋅1‾=−i+i1 \cdot \overline{i} + i \cdot \overline{1} = -i + i.
❌ Check ⟨u,v⟩\langle u, v \rangle. Conjugate the coordinates of vv: i‾=−i\overline{i} = -i, 1‾=1\overline{1} = 1.
❌ Close, but… 44 is ∥u+v∥2\|u + v\|^2. Take the square root.
❌ Not quite. 22=∥u∥+∥v∥2\sqrt{2} = \|u\| + \|v\|. The Pythagorean theorem adds squares: ∥u+v∥2=∥u∥2+∥v∥2\|u + v\|^2 = \|u\|^2 + \|v\|^2.
❌ Not quite. 2\sqrt{2} is ∥u∥\|u\| alone. Both legs count: ∥u+v∥2=∥u∥2+∥v∥2=2+2\|u + v\|^2 = \|u\|^2 + \|v\|^2 = 2 + 2.
❌ Check ∥u+v∥\|u + v\|. Each of uu, vv has norm squared ∣1∣2+∣i∣2=2|1|^2 + |i|^2 = 2.
Show solution

Step 1: Inner product.

⟨u,v⟩=1⋅i‾+i⋅1‾=−i+i=0,\langle u, v \rangle = 1 \cdot \overline{i} + i \cdot \overline{1} = -i + i = 0,

so uu and vv are orthogonal.

Step 2: Pythagorean theorem. ∥u∥2=∣1∣2+∣i∣2=2\|u\|^2 = |1|^2 + |i|^2 = 2 and ∥v∥2=∣i∣2+∣1∣2=2\|v\|^2 = |i|^2 + |1|^2 = 2, so

∥u+v∥2=∥u∥2+∥v∥2=4,∥u+v∥=2.\|u + v\|^2 = \|u\|^2 + \|v\|^2 = 4, \qquad \|u + v\| = 2.

Direct check: u+v=(1+i, 1+i)u + v = (1 + i,\ 1 + i) and ∣1+i∣2+∣1+i∣2=2+2=4|1 + i|^2 + |1 + i|^2 = 2 + 2 = 4.

Solved: 0 / 4