Intuition The one core idea
A whole system of linear equations is secretly ONE sentence: "a rule (call it A ) turns a hidden list of unknowns (call it X ) into a visible list of answers (call it B )." Solving the system means running that rule backwards , and this page builds — from nothing — every object (A , X , B , and the reverse-rule) needed to do it.
Everything on the parent page — A X = B , X = A − 1 B , det A , adj ( A ) , "consistent", "cofactor" — is built from a small stack of ideas. This page unpacks every one of them from nothing , in the order they depend on each other. If a word below is new, you are in the right place.
Before any equation, we need the object everything is written on.
A matrix is just a rectangular grid of numbers arranged in rows (across) and columns (down). We name it with a capital letter like A , and we describe its size as ( rows ) × ( columns ) .
A = [ 2 1 3 − 1 ] is a 2 × 2 matrix (2 rows, 2 columns).
The single number sitting in row i , column j is written a ij — row first, column second . So a 21 means "row 2, column 1".
A square matrix is one whose number of rows equals its number of columns (size n × n ): 2 × 2 , 3 × 3 , and so on. A 2 × 3 grid is not square.
Why we care right now: the identity matrix I , the inverse A − 1 , the determinant det A , and the adjugate adj ( A ) — everything in §3–§6 below — are defined only for square matrices . A non-square grid has no determinant and no inverse at all. This is why the parent topic always uses "n equations in n unknowns": that guarantees A is square.
Intuition Why a grid at all?
A grid lets us store the coefficients of many equations in one tidy place, so the whole system becomes a single object we can manipulate with one set of rules. Look at the figure: each equation becomes one row , each variable owns one column . When the count of equations matches the count of unknowns, that grid is square — exactly the case where we can hope to reverse it.
WHY the topic needs it: the coefficient matrix A , the variable matrix X , and the constant matrix B are all matrices. Without the grid there is no A X = B .
A matrix with only one column is special enough to get its own name.
A column vector is a matrix with one column, e.g. X = [ x y ] (size 2 × 1 ). We picture it as an arrow starting at the origin and pointing to the coordinates ( x , y ) .
Intuition Two ways to see the same thing
A pair of numbers [ x y ] is BOTH a list of variable values AND a location the arrow points to. This is why we can talk about "the machine moving a vector" — moving the arrow's tip is the same as changing the numbers.
WHY the topic needs it: X (the unknowns) and B (the answers) are column vectors. "Solving the system" literally means "find the arrow X ".
This is the engine of the whole topic, so we go slow.
Definition Dimension-matching rule
You may multiply A (size m × n ) by X (size n × 1 ) only when the inner numbers match : the columns of A (= n ) must equal the rows of X (= n ). The result has the outer size m × 1 .
A ( m × n ) X ( n × 1 ) ⟶ ( m × 1 ) .
If the inner numbers disagree, the product is simply undefined — you cannot write it. (For a square A of size n × n and X of size n × 1 , they always match, and the answer is again n × 1 .)
Definition Row-times-column (matrix × vector)
To multiply matrix A by column vector X , take each row of A , march along it multiplying by the matching entry of X , and add up. That sum is one entry of the answer.
[ a c b d ] [ x y ] = [ a x + b y c x + d y ] .
WHAT we just did: row 1 ( a , b ) paired with ( x , y ) gives a x + b y ; row 2 gives c x + d y .
WHY this pattern: because a x + b y is exactly the left side of a linear equation. The multiplication rule was designed so that a matrix times a vector reproduces the left-hand sides of equations.
WHAT IT LOOKS LIKE: feeding an input arrow X into a box labelled A and getting a new arrow out.
Definition Matrix × matrix (needed for the identities later)
The same rule extends to two full grids: to multiply P (size m × n ) by Q (size n × p ), the entry in row i , column j of the product is row i of P dotted with column j of Q — multiply term-by-term and add. The result has size m × p , and again the two inner numbers (n ) must match.
[ a c b d ] [ p r q s ] = [ a p + b r c p + d r a q + b s c q + d s ] .
A matrix-times-vector is just this rule with p = 1 . We will need matrix × matrix when we write A adj ( A ) and A − 1 A in §4 and §6.
Worked example Check the machine
With A = [ 2 1 3 − 1 ] and X = [ x y ] :
A X = [ 2 x + 3 y x − y ] .
Setting this equal to B = [ 5 1 ] gives back exactly 2 x + 3 y = 5 and x − y = 1 . So A X = B is the system.
Common mistake Multiplying column-first
Why it feels right: we read left-to-right, so grabbing the column of A first feels natural.
The fix: always row of the left matrix, column of the right . Row-first is the rule; column-first gives nonsense.
Definition Identity matrix (square only)
The identity matrix I is a square matrix with 1 s down the main diagonal (top-left to bottom-right) and 0 s everywhere else.
I = [ 1 0 0 1 ] .
It is the machine that changes nothing: I X = X for every vector X . Because it must line up its diagonal of 1 s, I only exists as a square grid.
WHY the topic needs it: the whole derivation of X = A − 1 B ends the instant we reach I X , because I X is just X . I is the finish line.
Definition Inverse matrix (square only)
A − 1 (read "A inverse") is the square matrix that undoes A : doing A then A − 1 lands you exactly where you started.
A − 1 A = I and A A − 1 = I .
Only a square matrix can have an inverse: for A − 1 A and A A − 1 to both be defined and both equal the same I , the dimension-matching rule forces A to be n × n . A non-square grid has no inverse — full stop.
Intuition The vending-machine picture
A takes code X → snack B . A − 1 takes snack B → back to code X . Running A then A − 1 = press nothing = the do-nothing machine I .
WHY the little − 1 ? In ordinary numbers, 5 − 1 = 5 1 is "the thing that cancels 5", because 5 × 5 1 = 1 . For matrices A − 1 is "the thing that cancels A ", and I plays the role of 1 . Same idea, new object.
WHY the topic needs it: X = A − 1 B is the entire method. No inverse, no one-shot solution.
We need one number that tells us whether A − 1 even exists. Like the inverse, it is a square-only quantity.
Definition Determinant of a
1 × 1 and a 2 × 2
The determinant is a single number computed from a square matrix. We build it up by size:
1 × 1 (the base case): det [ a ] = a . The determinant of a lone number is just that number. (We need this base case in §6, because deleting a row and column of a 2 × 2 leaves a 1 × 1 .)
2 × 2 : det [ a c b d ] = a d − b c .
larger: an n × n determinant is defined by expanding along a row using cofactors (§6) — each term uses a smaller determinant, marching down to the 1 × 1 base case. (See Determinants .) There is no determinant for a non-square grid.
Geometrically the 2 × 2 determinant is the signed area of the parallelogram that the two column-arrows of A span.
Intuition Why area = reversibility
If the two column arrows point in genuinely different directions, they open up a parallelogram with real area — the machine spreads space out and can be undone. If the arrows fall on the SAME line, the parallelogram has zero area : space got squashed onto a line, many inputs land on the same output, and you can never uniquely reverse it. That flat case is exactly det A = 0 . A matrix with det A = 0 is called singular (non-reversible); one with det A = 0 is non-singular .
WHY the topic needs it: A − 1 = det A 1 adj A divides by det A . If det A = 0 you'd divide by zero — impossible — which is the maths saying "this machine can't be reversed." See Determinants for the full story.
To actually compute the inverse we need three linked ideas. (Full detail: Cofactors and Minors and Adjoint and Inverse of a Matrix .)
Definition Minor, cofactor, adjugate
A minor M ij is the determinant of the smaller square matrix left after you delete row i and column j . For a 2 × 2 that leftover is a single number — a 1 × 1 — whose determinant is just the number itself (the base case from §5).
A cofactor C ij = ( − 1 ) i + j M ij — the minor with a checkerboard sign attached.
The adjugate adj ( A ) is the grid of cofactors transposed (rows and columns swapped): adj ( A ) ij = C j i .
Common mistake Skipping the transpose
Why it feels right: the cofactor grid and the adjugate are the same numbers, so they look identical.
The fix: adj ( A ) is the cofactor grid flipped across its diagonal . Always transpose; verify with the key identity below.
Definition Consistent vs inconsistent
A system is consistent if it has at least one solution.
It is inconsistent if it has no solution.
When det A = 0 (the non-singular case) the solution is unique, namely X = A − 1 B .
det A = 0 branch splits — derived , not asserted
Take the system A X = B and multiply both sides on the left by adj ( A ) :
adj ( A ) A X = adj ( A ) B .
By the key identity of §6, adj ( A ) A = ( det A ) I , so the left side becomes ( det A ) X :
( det A ) X = adj ( A ) B .
Now read off the two cases when det A = 0 : the left side collapses to the zero column O , so the equation forces adj ( A ) B = O .
If adj ( A ) B = O , that requirement is violated — no X can satisfy the system → no solution (inconsistent) .
If adj ( A ) B = O , the requirement is met but X is not pinned down → infinitely many solutions, or none (you must confirm by substitution).
Qualification: this ( adj A ) B test is the clean textbook criterion used for small systems (the 2 × 2 and 3 × 3 of the parent page). For larger or more delicate systems the fully general tool is rank comparison — see Consistency of Linear Systems and Gaussian Elimination .
Read each item as a question, hide the answer, and test yourself.
What is a matrix and how do we label an entry a ij ? A rectangular grid of numbers; a ij is the number in row i , column j (row first, column second).
What is a square matrix, and why does it matter here? Rows = columns (n × n ); only square matrices can have an identity, an inverse, a determinant, or an adjugate.
What is a column vector, and what picture goes with it? A one-column matrix; an arrow from the origin to the coordinates it lists.
When is the product A X even defined? When the columns of A equal the rows of X (inner numbers match); the result has the outer size.
How do you multiply a matrix by a column vector? Take each row of the matrix, multiply term-by-term with the vector, and add — row-of-left times column-of-right.
How do you multiply two matrices? Entry ( i , j ) = row i of the left dotted with column j of the right; inner sizes must match.
Why does A X = B reproduce a linear system? Row i times X gives the left side of equation i ; setting it equal to b i recreates equation i .
What is the identity matrix I and what does it do? A square matrix, 1 s on the diagonal and 0 s elsewhere; it leaves every vector unchanged, I X = X .
What does A − 1 mean and which matrices have one? The reverse machine with A − 1 A = A A − 1 = I ; only square, non-singular matrices have one.
What is det [ a ] for a 1 × 1 matrix? Just a — the base case that minors reduce to.
What does det A measure for a 2 × 2 , and what does det A = 0 mean? The signed area of the column parallelogram; zero means space is squashed flat (singular, non-reversible).
What is the difference between a cofactor grid and adj ( A ) ? The adjugate is the cofactor grid transposed (rows and columns swapped).
Why is the 2 × 2 adjugate "swap diagonal, negate off-diagonal"? The four cofactors give [ d − b − c a ] ; transposing it yields [ d − c − b a ] .
Why does A adj ( A ) = ( det A ) I ? Diagonal entries are the cofactor expansion of det A ; off-diagonal entries are expansions of a matrix with two equal rows, which is 0 .
How does ( det A ) X = adj ( A ) B explain the det A = 0 cases? If det A = 0 the left side is O ; if adj ( A ) B = O no solution, if = O infinitely many (or none).
What does "consistent" mean? The system has at least one solution.