Exercise 4.4 · Q12: Verify
Let
Verify that .
Since ,
and , so
From (i) and (ii), LHS = RHS, that is, . Hence verified.
Want the reason behind every step, the basics and the checks?
Compute both sides separately and compare them entry by entry. Each inverse of a matrix comes from , where the adjoint of a matrix is found by swapping the diagonal entries and changing the signs of the other two. The order reverses because to undo "first , then " you undo first.
- Given
- The matrices and above.
- To show
- and are the same matrix.
- Plan
- (1) Compute . (2) Find , and . (3) Find . (4) Find . (5) Multiply and compare. (6) See why the result holds for all invertible matrices.
Basics you need
Entry of is row of times column of . Two matrices always have a product. Basics: matrix facts the chapter uses
Main diagonal product minus the other diagonal product:
For a matrix, swaps the two diagonal entries and changes the signs of the other two (Remark after Example 12, Section 4.5.1). Lesson: the adjoint
If , (Theorem 4). Basics: why the inverse divides by |A|
Solution
Compute
is and is : columns of (2) = rows of (2), so is defined and is .
, for example, pairs row 1 of () with column 2 of (): . We need as a single matrix because the left side asks for the inverse of the product.Pair up, multiply, add. Basics: matrix facts the chapter usesThe left side:
, so exists. The cofactors of are , , , , so
For a matrix each minor is a single entry: deleting row 1 and column 1 of leaves , so ; deleting row 1 and column 2 leaves , and position carries a minus sign, so ; similarly and . Transposing puts in position and in position . That is the "swap the diagonal, negate the rest" rule. (Here the cofactors are those of the matrix , not entries of .), so exists:
Swap the diagonal entries and ; change the signs of and . Dividing by changes nothing., so exists:
We keep the factor outside for now; it keeps the next multiplication in whole numbers. Notice that , exactly as Theorem 3 () predicts: a first sign that the work is consistent.The right side:
Both are , so the product is defined and is . A scalar can be moved to the front of a product, so
Entries of the matrix product (rows of times columns of ):
Entry by entry this is the matrix found for in Step 2. Hence .
Two matrices are equal when they have the same order and every pair of corresponding entries agrees. Both sides are and all four entries match: . (In fact even before dividing, equals .)Why the order must reverse, for any invertible ,
Let and be any invertible matrices of the same order. Then, using associativity and , :
So is an inverse of , and since a matrix has only one inverse, it is the inverse: .
The numbers in Steps 1–5 verify the rule for one pair; this step shows why it always holds. In the factor is on the far left, so meets in the middle first and cancels it, then meets . With the order nothing would sit next to its own inverse, because matrices do not commute in general.Uniqueness of the inverse and : Theorems 3 and 4 of Chapter 3, Section 3.7. Basics: inverses
Both sides equal this matrix, so the identity is verified. (The answer key gives no separate answer for this question, since it asks for a verification.)
Multiply by the integer matrix : entry is , which is ; entry is ; entry is ; entry is , which is . So , and multiplying by gives ✓. The wrong order differs: the entry of is , not .
- Computing . Its entry is , not . The order must reverse.
- Arithmetic in . and are close; a slip gives the wrong sign or the wrong size of every entry.
- Swapping the off-diagonal entries in the adjoint. Only the diagonal entries swap; the other two stay in place and change sign.
- Losing the . is , not .
- : undo the last operation first ("socks on, then shoes; shoes off, then socks").
- is a quick consistency check whenever you compute all three determinants.
- Keep scalar factors like outside until the end; the matrix arithmetic stays in whole numbers.
Every fact used, and where it comes from
| Fact | Used in | Source |
|---|---|---|
| Row-times-column product; | Steps 1, 5 | Chapter 3, Sections 3.4.5 and 3.4.6 |
| determinant | Steps 2–4 | Section 4.2.2 (Lesson: determinants) |
| adjoint: swap the diagonal, negate the rest | Steps 2–4 | Remark after Example 12, Section 4.5.1 (Lesson: the adjoint) |
| when | Steps 2–4 | Theorem 4, Section 4.5 (Lesson: inverse) |
| Step 4 | Theorem 3, Section 4.5 | |
| Inverse is unique; | Step 6 | Chapter 3, Section 3.7, Theorems 3 and 4; also Example 14 of this chapter |
| All products, determinants and entries | Steps 1–5, Check | Recomputed in the site's verification script |
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 →