Miscellaneous · Q4: Verify and
Let
Verify that
(i) (ii)
(Some PDF viewers do not show the two minus signs in this matrix, in front of the 2 in row 1 and the 2 in row 2. They are in the file's text, written with the same character the book uses for the minus signs of the matrices in Example 19, so the matrix is as shown here.)
Expanding along :
. So exists.
Cofactors of :
Let . Then .
(i) Expanding along :
Cofactors of :
LHS:
RHS: . Each cofactor of is a determinant of entries times those of , so it is times the cofactor of . So
LHS = RHS. Hence .
(ii) is of order 3, so
. Hence verified.
Want the reason behind every step, the basics and the checks?
Everything comes from one formula: for a non-singular matrix M, . We apply it to A, then to adj A, then to . Two facts keep the work manageable. First, the cofactors of adj A turn out to be times the entries of A. Second, is just adj A multiplied by the number , so every minor of is times the matching minor of adj A. Both sides of (i) come out as , and (ii) follows in one line.
- Given
- The matrix A above.
- To show
- (i) ; (ii) .
- Plan
- Part (i): (1) . (2) All cofactors of A and adj A. (3) , with the check . (4) . (5) All cofactors of adj A and . (6) . (7) Compare. Part (ii): (1) . (2) from the formula.
Basics you need
is the determinant left after deleting row and column ; the cofactor is . Basics: the + − + sign pattern
adj M is the transpose of the matrix of cofactors, and . So if , . Basics: why the inverse divides by |A|
If every entry of an matrix is multiplied by , its determinant is multiplied by ( for , for ), because each term of the expansion contains one entry from each row. Basics: scaling and adding matrices
The entry of a product is row of the first factor times column of the second. Basics: matrix facts the chapter uses
Part (i):
The determinant of A
A has no zero entries, so we expand along , with signs :
Since , A is non-singular, so exists.
The middle term needs care: the pattern gives , the entry is , and the minor is . So it is . The question only makes sense if exists, which is exactly the condition .Section 4.2.3 (expansion); Section 4.5, Theorem 4 (invertible ⇔ non-singular). Lesson: expanding a 3 × 3 determinantAll nine cofactors of A, and adj A
Rows of A: , , . The first row of minors comes from Part (i), Step 1; the rest:
Now attach the signs :
The matrix of cofactors is symmetric, so transposing it changes nothing:
For example, and . The signs change at the odd positions , , , . A itself is symmetric (entry equals entry ), which is why its cofactor matrix is symmetric too; normally the transpose step does matter.Section 4.4, Definitions 1, 2; Section 4.5.1, Definition 3. Lesson: the adjoint, and the check
Rows of A times columns of adj A, which are , , :
So ✓, and
The check confirms all nine cofactors at once: a wrong cofactor would spoil at least one entry. Dividing by gives , which is exactly the statement that is the inverse. Keeping the factor outside the matrix avoids fractions in every entry.Section 4.5, Theorem 1: . Lesson: inverse of a matrixThe determinant of adj A
Write . Expand along its first row :
So , and adj A is invertible.
This agrees with the general fact for an matrix (the Remark after Theorem 3 in Section 4.5): here . We still computed it directly, since the question asks us to verify, not to assume.Expansion along , Section 4.2.3. Lesson: expanding a 3 × 3 determinantThe cofactors of adj A, and
Rows of P: , , . Row 1 of minors is in Part (i), Step 4; the others:
With the signs , the cofactors of P are
This cofactor matrix is symmetric, so it equals its transpose, and every entry is times the matching entry of A:
For example, and . Comparing with A: , , , and so on. Quick confirmation, using Theorem 1: ✓.Section 4.4, Definition 2; Section 4.5, Theorem 4. Lesson: minors and cofactorsThe adjoint of
From Part (i), Step 3, : every entry of is times the matching entry of P. A minor of is a determinant built from such entries, so it equals times the matching minor of P. For instance,
The signs are the same, so every cofactor of is times the cofactor of P in Part (i), Step 5, and therefore
Entry by entry, the cofactors of are , , (row 1), , , (row 2) and , , (row 3).
This is the scaling rule of Basic 3 with : multiplying every entry of a determinant by multiplies its value by , because each of its two products and picks up twice. Here , so the factor is . It saves us from nine determinants full of fractions, and the one worked out above confirms it.Compare the two sides
Part (i), Step 5 gave and Part (i), Step 6 gave . Both equal
so .
"Verify" means compute both sides independently and see that they agree, which is what Part (i), Steps 5 and 6 did: one came from inverting adj A, the other from taking the adjoint of . In words: inverting and taking the adjoint can be done in either order.Equal matrices: same order and equal corresponding entries. Basics: rows, columns and positions
Part (ii):
The determinant of
with P of order 3, so by the scaling rule with and Part (i), Step 4:
So and is itself invertible.
This matches , which follows from (Theorem 3). Since , the fraction reduces to .Section 4.2.3, Remark (iii); Section 4.5, Theorem 3: . Lesson: inverse of a matrixApply the inverse formula to
Using from Part (i), Step 6:
So .
The formula holds for every non-singular M, and Part (ii), Step 1 showed is non-singular. The result also makes sense directly: says that A undoes , and an inverse is unique, so the inverse of must be A.Section 4.5, Theorem 4. Basics: why the inverse divides by |A|
, , and
which verifies (i). Also and , which verifies (ii). (Verifications have no entry in the answer key.)
Multiply adj A by directly. Row 1 of adj A is and column 1 of A is : , and ✓. Row 1 with column 2 : ✓. Row 2 with column 2: , giving 1 ✓. The verification script computes all of , and exactly with sympy, and also checks both identities on 200 random invertible matrices.
- Reading the matrix without its minus signs. In some PDF viewers the entries in positions and look like ; they are .
- Losing the sign of : , so carries the factor , not .
- Scaling minors by instead of . A minor of is times the minor of P; for the factor is .
- Assuming instead of verifying. Quoting " always" does not verify it for this A; the question asks for the computation.
- For any invertible matrix, (here ) and . These patterns make a good check on long cofactor work. (The second is the Remark after Theorem 3; the first goes beyond this reprint, and on this page it was checked directly in Part (i), Step 5.)
- Pulling a common factor out of a matrix () keeps the arithmetic in integers; remember it scales a minor by and a determinant by .
- Inverse and adjoint commute: , and both equal . This holds for every invertible matrix, a general fact beyond this reprint; the question verifies it for one A.
Every fact used, and where it comes from
| Fact | Used in | Source |
|---|---|---|
| Expansion of a determinant | Part (i), Steps 1, 4 | Section 4.2.3 (Lesson: expanding a 3 × 3 determinant) |
| of order gives | Part (i), Step 6; Part (ii), Step 1 | Section 4.2.3, Remark (iii) |
| Minors and cofactors | Part (i), Steps 2, 5, 6 | Section 4.4, Definitions 1, 2 (Lesson: minors and cofactors) |
| Adjoint; | Part (i), Steps 2, 3, 5 | Section 4.5.1, Definition 3 and Theorem 1 (Lesson: the adjoint) |
| ; | Part (i), Step 4; Part (ii), Step 1 | Section 4.5, Theorem 3 and the Remark after it |
| Invertible ⇔ non-singular; | Part (i), Steps 1, 3, 5; Part (ii), Step 2 | Section 4.5, Theorem 4 (Lesson: inverse of a matrix) |
| The matrix entries, including the two minus signs | Question | PDF text layer of the book, page 99 (checked in the site's verification work) |
| All cofactors, adjoints, determinants and inverses | All steps, Check | Recomputed with sympy (and parsed from this page) 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 →