LINEAR-ALGEBRA Β· Unit 8 Β· Video 1 Β· Interactive Practice

When Does Ax = b Have a Solution?

IKey Formulas

Concept Formula / Rule Meaning
Column space C(A)={Ax:x∈Rn}C(A) = \{A\mathbf{x} : \mathbf{x} \in \mathbb{R}^n\} All vectors b\mathbf{b} reachable as AxA\mathbf{x}
Solvability Ax=bA\mathbf{x} = \mathbf{b} solvable β€…β€ŠβŸΊβ€…β€Šb∈C(A)\iff \mathbf{b} \in C(A) b\mathbf{b} must lie in the column space
Row test If c1R1+c2R2+β‹―=0c_1 R_1 + c_2 R_2 + \cdots = \mathbf{0}, then c1b1+c2b2+β‹―=0c_1 b_1 + c_2 b_2 + \cdots = 0 Row dependencies constrain b\mathbf{b}
Contradiction [0β€…β€Š0β€…β€Šβ‹―β€…β€Š0∣d][0 \; 0 \; \cdots \; 0 \mid d] with dβ‰ 0d \neq 0 Zero row with nonzero RHS β†’ no solution

IIVisualization 1 β€” Landing in the Column Space

Ax=bA\mathbf{x} = \mathbf{b} is solvable exactly when b\mathbf{b} lands on the column space β€” here the line b3=b1+b2b_3 = b_1 + b_2.

πŸ’‘ The condition b1+b2=b3b_1 + b_2 = b_3 comes from A=[1222246836810]A = \begin{bmatrix} 1 & 2 & 2 & 2 \\ 2 & 4 & 6 & 8 \\ 3 & 6 & 8 & 10 \end{bmatrix}, whose rows satisfy R1+R2=R3R_1 + R_2 = R_3 β€” so C(A)C(A) is a rank-2 plane, not all of R3\mathbb{R}^3.

IIIVisualization 2 β€” Elimination Exposes the Condition

Feed a right-hand side into [A∣b][A \mid \mathbf{b}] and eliminate: the last row collapses to 0=b3βˆ’b1βˆ’b20 = b_3 - b_1 - b_2.

[ A | b ] β€” original

[ U | bβ€² ] β€” eliminated

πŸ’‘ That last-row residual is R1+R2βˆ’R3R_1 + R_2 - R_3 applied to b\mathbf{b}: a row dependency in AA becomes a constraint b\mathbf{b} must satisfy.

IVVisualization 3 β€” How Rare Is Solvability?

Random right-hand sides almost never hit b3=b1+b2b_3 = b_1 + b_2 exactly β€” the solvable set is a plane of zero volume.

πŸ’‘ With 4 unknowns but only 3 equations, most b\mathbf{b} still give no solution: the dependency R1+R2=R3R_1 + R_2 = R_3 pins C(A)C(A) to a 2-D plane inside R3\mathbb{R}^3.

VQuiz Questions

Question 1

For A=[1222246836810]A = \begin{bmatrix} 1 & 2 & 2 & 2 \\ 2 & 4 & 6 & 8 \\ 3 & 6 & 8 & 10 \end{bmatrix}, which right-hand side b\mathbf{b} makes Ax=bA\mathbf{x} = \mathbf{b} solvable?

βœ… Correct! Since 2+3=52 + 3 = 5, the condition b1+b2=b3b_1 + b_2 = b_3 is satisfied.

❌ Not quite. Check whether b1+b2=b3b_1 + b_2 = b_3 holds for each option.

Show solution

Solution:

The solvability condition is b1+b2=b3b_1 + b_2 = b_3 (because Row 1 + Row 2 = Row 3 in AA).

Check each option:

  • b=(1,2,4)\mathbf{b} = (1, 2, 4): 1+2=3β‰ 41 + 2 = 3 \neq 4 βœ—
  • b=(2,3,5)\mathbf{b} = (2, 3, 5): 2+3=52 + 3 = 5 βœ“ Solvable!
  • b=(1,1,1)\mathbf{b} = (1, 1, 1): 1+1=2β‰ 11 + 1 = 2 \neq 1 βœ—
  • b=(0,0,1)\mathbf{b} = (0, 0, 1): 0+0=0β‰ 10 + 0 = 0 \neq 1 βœ—

The answer is b=(2,3,5)\mathbf{b} = (2, 3, 5).

Question 2

During Gaussian elimination on an augmented matrix [A∣b][A|\mathbf{b}], you obtain a row [0β€…β€Šβ€…β€Š0β€…β€Šβ€…β€Š0β€…β€Šβ€…β€Š0β€…β€Šβˆ£β€…β€Š0][0 \;\; 0 \;\; 0 \;\; 0 \;\mid\; 0] (all zeros on both sides). What does this tell you?

βœ… Correct! 0=00 = 0 is always true β€” it's a redundant equation, not a contradiction.

❌ Not quite. The equation says 0=00 = 0. Is that ever false? A contradiction only arises when the right side is nonzero.

Show solution

Solution:

A row [0β€…β€Š0β€…β€Š0β€…β€Š0∣0][0\; 0\; 0\; 0 \mid 0] states 0=00 = 0, which is always true. This is a redundant equation β€” it provides no new constraint.

Key distinctions:

  • Zero row + zero RHS β†’ 0=00 = 0 β†’ no contradiction β†’ system may still be solvable
  • Zero row + nonzero RHS β†’ 0=dβ‰ 00 = d \neq 0 β†’ contradiction β†’ no solution

Whether the system has one or infinitely many solutions depends on the number of pivot columns vs. unknowns, not on the zero row itself.

Question 3

True or False: If a system Ax=bA\mathbf{x} = \mathbf{b} has more unknowns than equations, it is guaranteed to have at least one solution for every b\mathbf{b}.

βœ… Correct! Row dependencies can make the system unsolvable for certain b\mathbf{b}, regardless of how many unknowns there are.

❌ Not quite. Think about the 3Γ—43 \times 4 example from the video β€” does every b\mathbf{b} give a solution?

Show solution

Solution: False.

The video's example has AA of size 3Γ—43 \times 4 (3 equations, 4 unknowns). Yet Ax=bA\mathbf{x} = \mathbf{b} has no solution whenever b1+b2β‰ b3b_1 + b_2 \neq b_3.

Why? Row dependencies in AA force constraints on b\mathbf{b}. When rows are dependent, some combinations produce the zero row, and b\mathbf{b} must satisfy the same combinations.

What more unknowns than equations does guarantee is: if a solution exists, it is not unique (there will be free variables). But existence itself still depends on b\mathbf{b}.

Question 4

A 3Γ—33 \times 3 matrix BB has the row relationship 2β‹…(RowΒ 1)βˆ’1β‹…(RowΒ 2)+1β‹…(RowΒ 3)=02 \cdot (\text{Row 1}) - 1 \cdot (\text{Row 2}) + 1 \cdot (\text{Row 3}) = \mathbf{0}.

What condition must b=(b1,b2,b3)\mathbf{b} = (b_1, b_2, b_3) satisfy for Bx=bB\mathbf{x} = \mathbf{b} to be solvable?

βœ… Correct! Apply the exact same coefficients (2,βˆ’1,1)(2, -1, 1) to the entries of b\mathbf{b}.

❌ Not quite. The coefficients in the row combination transfer directly: 2β‹…b1+(βˆ’1)β‹…b2+1β‹…b3=02 \cdot b_1 + (-1) \cdot b_2 + 1 \cdot b_3 = 0.

Show solution

Solution:

The key rule from the video: whatever linear combination of rows of AA gives the zero row, the same combination applied to b\mathbf{b} must give zero.

Given: 2β‹…R1βˆ’1β‹…R2+1β‹…R3=02 \cdot R_1 - 1 \cdot R_2 + 1 \cdot R_3 = \mathbf{0}

Apply the same coefficients (2,β€‰βˆ’1, 1)(2,\, -1,\, 1) to b\mathbf{b}:

2b1βˆ’b2+b3=02 b_1 - b_2 + b_3 = 0

This is the required solvability condition. The vector (2,βˆ’1,1)(2, -1, 1) belongs to the left null space of BB.

Solved: 0 / 4