2.6.10 · D2Matrices & Determinants — Introduction

Visual walkthrough — Inverse of 2×2 matrix

2,044 words9 min readBack to topic

Step 0 — The words we are allowed to use

Before symbols appear, let us agree on pictures for each.

Figure — Inverse of 2×2 matrix

In the picture: the blue arrow is your original . The machine stretches and tilts it into the orange arrow . The green dashed arrow is carrying orange back to blue. If undo works perfectly, applying then lands you exactly where you started — that is the meaning of .


Step 1 — Write down the goal as a picture-equation

WHAT. We want a machine so that doing then changes nothing.

WHY. "Inverse" has no meaning until we pin it down. The only honest definition is: the machine that composes with to give the do-nothing machine. So we demand

PICTURE. Below, three grids in a row: the starting grid, the grid after has warped it, and the grid after has un-warped it back to the start. The far-left and far-right grids are identical — that identity is what the equation is claiming.

Figure — Inverse of 2×2 matrix

Here each symbol earns its place:

  • — the known machine, , four given numbers.
  • — the unknown machine; are the four numbers we must find.
  • — the do-nothing target.

Step 2 — Turn one matrix equation into four number equations

WHAT. Multiply the two machines out (see Matrix multiplication) and match entry by entry.

WHY. A matrix equation is secretly four ordinary equations, one per slot. Numbers are easier to solve than matrices, so we break it apart.

Reading each output slot (row of times column of ):

PICTURE. The figure shades which row of meets which column of to produce each of the four target slots — so you see why equation (1) has no or in it (they live in a different column).

Figure — Inverse of 2×2 matrix

Notice the split: equations contain only and ; equations contain only and . Two independent little puzzles.


Step 3 — Solve the first little puzzle for and

WHAT. Use and together.

WHY. They share exactly the two unknowns — a clean 2-equation, 2-unknown system.

From : . Solve for :

Here the symbol is being expressed in terms of , so equation becomes single-unknown. Substitute into :

The bracket collapses to . So

PICTURE. The figure shows the substitution as a "funnel": two equations pour into one, the messy fraction simplifies, and out drops . The quantity appears for the first time — highlighted, because it will haunt every remaining line.

Figure — Inverse of 2×2 matrix
  • — the recurring combination. We will name it in Step 5.
  • The minus in came directly from the minus in equation 's rearrangement — that is the origin of the sign-flip you will see in the final formula.

Step 4 — Solve the second little puzzle for and

WHAT. Repeat Step 3 with and .

WHY. Identical structure, so identical method — no new ideas needed, just relabelled letters.

From : . Substitute into :

PICTURE. Side-by-side mirror of Step 4's funnel, so you can literally see the symmetry: swaps , and swaps . The swap of the diagonal is being born right here.

Figure — Inverse of 2×2 matrix

Collect all four answers:


Step 5 — Package the answer and name the divisor

WHAT. Pull the shared out front.

WHY. All four entries divide by the same thing. Factoring it out makes the pattern — swap, negate — jump out.

PICTURE. The figure overlays the original and its inverse: a curved blue arrow swaps the two diagonal entries; two red minus-badges land on and ; a green ring labels the shared divisor. The matrix is the adjugate (see Adjugate and cofactors).


Step 6 — The degenerate case: what if ?

WHAT. Ask what happens when .

WHY. We divided by four times. If it is zero, every entry becomes — undefined. The undo machine cannot exist. We must show why geometrically, not just algebraically.

PICTURE. When , the two columns of point along the same line. The machine squashes the whole 2D grid onto that single line: area is crushed to zero. Two different input arrows can land on the same output arrow — so "undo" cannot know which one to send back. Information is lost forever. This is a singular matrix (see Singular vs non-singular matrices and Linear transformations and area).


Step 7 — Confirm the machine really undoes (all four slots)

WHAT. Multiply by our and check we get in every slot.

WHY. We forecast the answer; now we verify — cheap insurance against a sign slip (Contract rule: cover every case, including each entry).

Term by term: the off-diagonal slots die because and ; the diagonal slots each become , which the front factor cancels to . This is exactly the do-nothing machine — the undo works.


The one-picture summary

Everything on one canvas: goal → four equations → solve → swap/negate/divide → the degenerate wall at .

Recall Feynman retelling — the whole walkthrough in plain words

I wanted a machine that undoes what does. "Undo" only means something if doing both in a row changes nothing, so I demanded and wrote the unknown machine as four mystery numbers . Multiplying the two machines gave four small number-puzzles. Two of them only knew about and , the other two only about and — so I solved each pair on its own. Every answer came out as some original entry divided by the same magic number . Pulling that magic number out front, the leftovers spelled a neat rule: swap the two diagonal numbers, stick minus signs on the other two. That leftover grid is the adjugate; the magic number is the determinant. Last question: what if the magic number is zero? Then I'd be dividing by nothing — impossible. And it makes sense: a zero determinant means flattened the whole plane onto a line, so two different arrows can end up in the same place, and no undo machine could ever tell them apart. Zero determinant, no undo. Everything else, the boxed recipe works.


Active recall

What is the defining demand we impose to derive ?
That doing then changes nothing, i.e. .
Why does the matrix equation split into four number equations?
Because each output slot equals one row of times one column of , giving four independent scalar equations.
Which two equations solve for and , and why?
Equations (1) and (3), because they contain only and (a clean 2×2 system).
Where does the sign-flip on in the final formula come from?
From the minus signs introduced when rearranging equations (2) and (3), e.g. .
Why can the formula divide by even though Step 3 assumed ?
The assumption only picks one algebra path; the true obstruction is , and any nonzero det admits a valid path to the same formula.
Geometrically, why is there no inverse when ?
The columns are parallel, so squashes the plane onto a line; distinct inputs map to the same output and information is lost.
In the verification , why do the off-diagonal entries vanish?
Because and .

Connections