v1 · padrão canônico
Lesson 35 — Solving Systems via Matrices
Cramer, Gaussian elimination, matrix inverse. When each method is best.
Used in: 1.º ano EM (15 anos) · Equiv. Math II japonês · Equiv. Klasse 11 alemã
Choose your door
Rigorous notation, full derivation, hypotheses
Solution methods
Matrix form
⟺ with , .
Method 1 — Gaussian elimination
Elementary operations (do not change solution):
- Swap two rows.
- Multiply a row by a non-zero scalar.
- Add a multiple of one row to another.
Goal: triangularize to row-echelon form. Then back-substitute.
Method 2 — Cramer
For with :
where is with the -th column replaced by .
Method 3 — Inverse
. can be computed via by row reduction.
When to use each
| Method | Cost | When to use |
|---|---|---|
| Cramer | , didactic | |
| Gauss | practical default | |
| Inverse | + /system | many with same |
| LU | + /system | many systems, better than inverse |
Classification of systems
- Determinate (unique): unique solution (, or ).
- Indeterminate: infinitely many solutions ().
- Impossible: no solution ().
Rouché-Capelli theorem
has a solution ⟺ . Solution is unique if both equal the number of unknowns.
Exercise list
46 exercises · 11 with worked solution (25%)
Application 32Understanding 2Modeling 10Challenge 1Proof 1
- Ex. 35.1ApplicationSolve by Cramer: . (Ans: .)
- Ex. 35.2ApplicationAnswer keySolve by row reduction: . (Ans: .)
- Ex. 35.3ApplicationSolve by row reduction.
- Ex. 35.4ApplicationAnswer keyHomogeneous system with . Solution? (Ans: trivial .)
- Ex. 35.5ApplicationFor which does the system have infinitely many solutions? (Ans: .)
- Ex. 35.6ApplicationFor which does the system above have no solution?
- Ex. 35.7ApplicationMatrix form of . Compute .
- Ex. 35.8ApplicationSolve via Cramer.
- Ex. 35.9ApplicationSolve by row reduction. (Ans: .)
- Ex. 35.10ApplicationAnswer keyUse row reduction to verify that has infinitely many solutions.
- Ex. 35.11ApplicationSolve via inverse: . (Ans: .)
- Ex. 35.12ApplicationCompute of via row reduction .
- Ex. 35.13ApplicationSystem — solutions? (Ans: none — incompatible.)
- Ex. 35.14ApplicationSystem with 4 equations and 2 unknowns — generally overdetermined, no exact solution. In practice, least squares is used.
- Ex. 35.15ApplicationSystem with 2 equations and 4 unknowns — underdetermined, infinitely many solutions.
- Ex. 35.16ApplicationAnswer keySolve — multiply by 10 first.
- Ex. 35.17ApplicationGeneral solution of (homogeneous 2x3 system).
- Ex. 35.18ApplicationShow that homogeneous solution + particular solution of the non-homogeneous gives the general solution.
- Ex. 35.19ApplicationCheck consistency: . (Ans: incompatible.)
- Ex. 35.20ApplicationCramer gives . For which does the method fail? (Ans: .)
- Ex. 35.21ApplicationSolve by row reduction.
- Ex. 35.22ApplicationSolve via Cramer.
- Ex. 35.23ApplicationAnswer keyFor what values of does have a unique solution?
- Ex. 35.24ApplicationFind all that satisfy .
- Ex. 35.25ApplicationSolve the row-echelon system by back substitution.
- Ex. 35.26ApplicationFor the system , classify for each .
- Ex. 35.27ApplicationAnswer keySolve — note redundancy.
- Ex. 35.28ApplicationAnswer keyFind via Gauss-Jordan for .
- Ex. 35.29ApplicationAnswer keyUse from 35.28 to solve .
- Ex. 35.30ApplicationSolve : .
- Ex. 35.31ApplicationIdentify the rank of the matrix .
- Ex. 35.32ApplicationApply Rouché-Capelli to — classify.
- Ex. 35.33ModelingIn a 3-loop circuit, Kirchhoff's laws give a 3x3 system. Model: 3 mesh currents, resistors, sources.
- Ex. 35.34ModelingAnswer keyIn economics, the IS-LM model produces a 2x2 system: simultaneous output and interest rate .
- Ex. 35.35ModelingMixture: 100 ml of solution with 3 substances. Known concentrations — system.
- Ex. 35.36ModelingAnswer keyTruss with 4 nodes and 3 unknown forces — row reduction.
- Ex. 35.37ModelingIn statistics, least squares is a linear system. For with , dimension of the system?
- Ex. 35.38ModelingAnswer keyIn control, find such that approximates a reference.
- Ex. 35.39ModelingIn CG, lighting via radiosity leads to the system — sparse.
- Ex. 35.40ModelingIn quadratic optimization , critical point: .
- Ex. 35.41ModelingIn ML, ridge regression: . Why regularization?
- Ex. 35.42ModelingIn PDE, discretization of 1D heat leads to a tridiagonal system — Thomas algorithm .
- Ex. 35.43UnderstandingShow that the system always has .
- Ex. 35.44UnderstandingShow that if is invertible, has only .
- Ex. 35.45ChallengeSolve via Cramer and via Gauss the same 3x3 system — compare the number of operations.
- Ex. 35.46ProofProve that row reduction preserves the solution set — operation by operation.
Sources
- A First Course in Linear Algebra — Robert A. Beezer · 2022 · EN · GFDL · ch. SLE: Solving Linear Equations. Primary source.
- Linear Algebra Done Right — Sheldon Axler · 2024, 4th ed · EN · CC-BY-NC · ch. 3.
- Cálculo Numérico (Python) — REAMAT UFRGS · 2024 · PT-BR · CC-BY-SA · ch. 4: numerical linear systems.