Example 14: Verify
If
then verify that .
, so
and , so
From (i) and (ii), . Hence verified.
Want the reason behind every step, the basics and the checks?
To undo "first , then " you must undo first and second, like taking off shoes before socks. So the inverse of a product is the product of the inverses in reverse order. Here we confirm it with numbers: compute directly, compute separately, and see that they are the same matrix.
- Given
- Two matrices and .
- To show
- for these matrices.
- Plan
- (1) Compute , its determinant and its inverse. (2) Compute and separately. (3) Multiply and compare. (4) See why the order must reverse, and check that the other order fails.
Basics you need
For with entries (top row) and (bottom row): . If , then , where swaps and and changes the signs of and . Basics: why the inverse divides by |A|
Entry of is row of times column of . In general , so the order of factors matters. Basics: matrix facts the chapter uses
A number factor can be taken out of a product: . Basics: scaling and adding matrices
Solution
Compute
and are both : columns of (2) = rows of (2), so is defined and is . Row of times column of :
The left side is the inverse of this single matrix, so we need itself first. Every entry is written out because one sign slip here would spoil everything after it.Multiplication of matrices, Chapter 3, Section 3.4.5. Basics: matrix facts the chapter usesand
The determinant:
Since , is non-singular and exists. Its adjoint (swap and , change the signs of the two 5s):
So
Theorem 4 needs before we may divide by it. The cofactors of the entries of are , (row 1) and , (row 2); their matrix is symmetric, so transposing it gives the same matrix, the adjoint above. In the last line, the outside minus sign was multiplied into every entry: , and so on.Theorem 4, Section 4.5; the adjoint shortcut, Remark after Example 12. Lesson: inverse of a matrix, so exists. Swap and , change the signs of and :
The right side needs both inverses separately, and each needs its own non-zero determinant. We keep the factor outside, as the textbook does, because it makes the multiplication in Step 5 easier., so exists. Swap and , change the signs of and :
Changing the sign of a negative entry makes it positive: and . With , the inverse equals the adjoint.Multiply
Take the scalar outside and multiply the two integer matrices, row of the first times column of the second:
This is exactly the matrix found in Step 2. Hence .
Moving the number to the front is allowed because scalars commute with matrices. Then the two answers are compared entry by entry: in both.: each entry of is a sum of products that all carry the factor , so can be taken out of the sum (row-times-column rule, Chapter 3, Section 3.4.5). Basics: scaling and adding matricesWhy the order reverses
For any invertible , of the same order, multiply by and regroup (multiplication is associative):
In the same way
So is an inverse of , and since an inverse is unique, .
The other order does not work. Here
which differs from (its entry is 0, not ).
The numerical check of Step 5 confirms one case; the four-line argument shows it is true for every pair of invertible matrices of the same order. The regrouping collapses only because meets in the middle, and that needs the reversed order. Because matrix multiplication does not commute, is a genuinely different matrix.Theorem 3 (uniqueness of inverse) and Theorem 4 (), Chapter 3, Section 3.7. Lesson: inverse of a matrix
with (where ) and (where ). Hence is verified. (This agrees with the textbook's own solution.)
Multiply by the inverse found in Step 2; the identity must appear:
Entry by entry: , , , . So the product is . Also , as Theorem 3 of Section 4.5 says it must be.
- Writing . Step 6 shows this gives a different matrix. The order reverses.
- Losing the minus sign in . , so the factor is .
- Sign errors in the adjoint. Only the off-diagonal entries change sign: in , and become and ; the diagonal and only swap.
- Skipping the determinant check. An inverse exists only when the determinant is non-zero; check , and before dividing.
- : reverse the order, because must meet in the middle.
- For matrices: , with the swap-and-change-sign adjoint.
- , so is invertible exactly when both and are.
Every fact used, and where it comes from
| Fact | Used in | Source |
|---|---|---|
| Product of matrices; order condition | Steps 1, 5, 6 | Chapter 3, Section 3.4.5 (Basics: matrix facts the chapter uses) |
| determinant | Steps 2 to 4 | Section 4.2.2 (Lesson: determinant of a square matrix) |
| adjoint: swap diagonal, change sign off it | Steps 2 to 4 | Remark after Example 12, Section 4.5.1 (Lesson: the adjoint) |
| when | Steps 2 to 4 | Theorem 4, Section 4.5 (Lesson: inverse of a matrix) |
| Scalars factor out of products | Step 5 | Row-times-column rule, Chapter 3, Section 3.4.5 |
| Associativity; uniqueness of inverse; | Step 6 | Chapter 3, Section 3.4.6; Theorems 3 and 4, Section 3.7 |
| Check | Theorem 3, Section 4.5 |
Tell us if something on this page is wrong or unclear, or if you would like a fuller explanation, another method or a new feature. Send feedback on this problem →