Skip to content
← All questions

How does the orthogonality of the residual lead to the normal equations ATAxA^T A x* = ATbA^T b?

The residual vector r⃗=Ax⃗∗−b⃗\vec{r} = A\vec{x}^* - \vec{b} is orthogonal to the column space C(A)C(A) because Ax⃗∗A\vec{x}^* is the orthogonal projection of b⃗\vec{b} onto C(A)C(A). Orthogonality to C(A)C(A) means r⃗\vec{r} is in the orthogonal complement C(A)⊥C(A)^\perp. Using the identity C(A)⊥=N(AT)C(A)^\perp = N(A^T), we know r⃗∈N(AT)\vec{r} \in N(A^T), which implies ATr⃗=0⃗A^T \vec{r} = \vec{0}. Substituting r⃗\vec{r} gives AT(Ax⃗∗−b⃗)=0⃗A^T(A\vec{x}^* - \vec{b}) = \vec{0}, which expands to the normal equations ATAx⃗∗=ATb⃗A^T A \vec{x}^* = A^T \vec{b}.

Conditions

  • Ax⃗∗A\vec{x}^* is the orthogonal projection of b⃗\vec{b} onto C(A)C(A)
  • C(A)⊥=N(AT)C(A)^\perp = N(A^T) (Fundamental Theorem of Linear Algebra)
  • Matrix multiplication distributes over subtraction

Reasoning, step by step

  1. Establish that the residual Ax⃗∗−b⃗A\vec{x}^* - \vec{b} is orthogonal to every vector in C(A)C(A).
  2. Translate geometric orthogonality to algebraic membership: Ax⃗∗−b⃗∈C(A)⊥A\vec{x}^* - \vec{b} \in C(A)^\perp.
  3. Apply the subspace identity C(A)⊥=N(AT)C(A)^\perp = N(A^T) to conclude Ax⃗∗−b⃗∈N(AT)A\vec{x}^* - \vec{b} \in N(A^T).
  4. Use the definition of the null space: AT(Ax⃗∗−b⃗)=0⃗A^T(A\vec{x}^* - \vec{b}) = \vec{0}.
  5. Distribute ATA^T to get ATAx⃗∗−ATb⃗=0⃗A^T A \vec{x}^* - A^T \vec{b} = \vec{0}.
  6. Rearrange to obtain the normal equations: ATAx⃗∗=ATb⃗A^T A \vec{x}^* = A^T \vec{b}.

Example

The board shows the chain: Ax⃗∗−b⃗∈C(A)⊥A\vec{x}^* - \vec{b} \in C(A)^\perp, then C(A)⊥=N(AT)C(A)^\perp = N(A^T), then AT(Ax⃗∗−b⃗)=0A^T(A\vec{x}^* - \vec{b}) = 0, leading to ATAx⃗∗=ATb⃗A^T A \vec{x}^* = A^T \vec{b}.

Common misconceptions

  • Confusing the left null space N(AT)N(A^T) with the right null space N(A)N(A).
  • Thinking that the residual is orthogonal to the rows of A rather than the columns.

Watch the explanation

Connected concepts

Explore next

Related questions

Understand why

↗
Understand why

↗
Understand why

↗
Understand why

↗
Find a method

↗

Answers are generated from source material and independently checked. Consult the original video or creator if something is unclear.