Loading…
Transpose transfers determinant identities from rows to columns; cofactor cancellation then gives the adjoint formula and Cramer’s rule.
Transpose transfers determinant identities from rows to columns. Column linearity then makes it possible to isolate one coefficient in a linear combination: replacing a column creates repeated columns in every unwanted term. This cancellation gives Cramer’s rule and connects it to the adjoint identity.
Throughout this note, matrices and scalars are real; whenever a determinant is written, the matrix is square.
Theorem 7.3.1
(Determinant of a transpose)
For every square matrix ,
Although the recursive definition uses the first row, transposition leaves its value unchanged.
Proof
(A factorization proof of transpose invariance)
If is singular, then is singular as well: transposing either inverse equation would turn an inverse for into an inverse for . Thus both determinants are zero. If is invertible, write
as a product of elementary matrices. A swap or nonzero scaling elementary matrix is unchanged by transposition. The transpose of an addition matrix is , which is another addition matrix with determinant one. Therefore for every factor, while
The determinant product rule gives . The matrix factors reverse order, but their determinant values are scalars, whose product may be reordered. This proof uses the factorization and row-operation results of 7.2. It supplies a derivation of the column expansion stated in 7.1 without using that column formula in the argument.
Theorem 7.3.2
(Cofactor expansion along any column)
For any fixed column of a square matrix , with , where is the minor determinant and is the cofactor,
Equivalently,
So you may expand along a row or along a column. The right choice is whichever one produces the cleanest minors.
To see why the column formula follows from the row formula, fix column . Write for the matrix obtained by deleting row and column . The entry becomes the entry in row of , and deleting that row and column gives
The two submatrices have the same determinant by transpose invariance. Therefore row- expansion of is
which equals . This is the promised column- expansion.
Worked example 7.3.3
(A column expansion with many zeros)
Let
The third column has one zero, so expand along that column:
That gives
The same answer would come from row expansion, but the chosen column makes the arithmetic shorter.
Because transpose preserves determinant, every row-operation rule has a column version.
Theorem 7.3.4
(How column operations change determinant)
Let be obtained from a square matrix by one elementary column operation.
These are the row rules applied to , followed by transpose invariance. The source and target columns in rule 3 must be different. The same transfer gives multilinearity in one column and the fact that two equal columns force a zero determinant. Those two properties will do the cancellation work in Cramer's rule.
Worked example 7.3.5
(Use column operations to create zeros)
Consider
Apply the column operations and then , using the updated first column at each step:
After the first step, the second step gives
These are column-addition operations, so the determinant is unchanged. Expand along the first column:
The negative cofactor sign at position is essential. Choose row or column operations according to which creates useful zeros, and use the updated matrix at each step.
The cofactor of one entry helps in one expansion. The adjoint matrix collects all cofactors into one object.
Definition 7.3.6
(Adjoint matrix)
For an matrix with , let denote the cofactor of , and first form the cofactor matrix
The adjoint matrix is the transpose of that cofactor matrix:
For the base case, define and . Then . The cofactor identity proof below handles .
Theorem 7.3.7
(Adjoint identity and inverse formula)
For every square matrix , including singular matrices,
If , then is invertible and
Proof
(The diagonal and off-diagonal cases)
The following proof assumes ; the base case was defined above.
The entry of is
If , this is cofactor expansion along row , so it equals . If , form by replacing row of with row . The matrix has two equal rows, hence . Expanding along its replaced row uses exactly the cofactors from : deleting row removes the replacement. Therefore
The diagonal entries are and every off-diagonal entry is zero. When , divide by that scalar and use the square-matrix inverse criterion. The identity itself remains valid when is singular; only the inverse formula requires division.
Worked example 7.3.8
(Recover the 2×2 inverse formula from the adjoint)
Let
The cofactor matrix is
so
Therefore
The familiar inverse formula is really the adjoint identity written in the case. Multiplication displays the cancellation:
The transpose in the adjoint is essential. If the untransposed cofactor matrix were used instead, the product would generally have entries , , , and , not a scalar on the diagonal with zero off-diagonal entries.
Theorem 7.3.9
(Cramer's rule)
Let satisfy , and let . For each , let be the matrix obtained by replacing the th column of with .
If is the unique solution of
then
Each coordinate is a determinant ratio, expressing its dependence on the coefficient matrix and the right-hand side.
Proof
(Fixed-column linearity isolates x_j)
Write the columns of as . Since , the system has a unique solution and
In , keep every column except column fixed and substitute this sum only into column . By linearity in that column,
When , the determinant has two equal columns, so that term is zero. The remaining term is . Hence
The order of the columns never changes, which is why no additional sign appears.
The visual below follows the determinant logic behind Cramer's rule: replace one column by the right-hand side vector, use column linearity, and watch repeated columns force the extra terms to vanish.
Follow how replacing one column by the right-hand side vector makes Cramer's rule isolate a single coordinate.
Read by columns
The system Ax=b says the right-hand side vector is b=x1 a1+x2 a2+x3 a3, a weighted combination of A's columns.
Replace one column
To solve for x1, build M1 by replacing the first column of A with b while leaving the other columns fixed.
Substitute b
Substituting b=x1 a1+x2 a2+x3 a3 makes the replaced column a sum of three column vectors.
Use column linearity
Column linearity splits det(M1) into x1 det(A) plus two determinants with repeated columns.
Repeated columns vanish
The repeated-column determinants are zero, so det(M1)=x1 det(A), and x1=det(M1)/det(A).
Worked example
For the displayed system, det(A)=6 and the replacement determinants are 15, -6, and 3, so x=(5/2,-1,1/2).
Cramer's rule works because replacing one column by b turns det(M_j) into x_j det(A); invertibility lets us divide by det(A).
For , the established inverse formula gives a second, compatible reading of the same coordinate formula. Since , we have . Applying to and then substituting this identity gives
The numerator is exactly : expand down its replaced column . Deleting that column removes and leaves the same minor as in , so the cofactor attached to is . Thus the adjoint route and the fixed-column linearity route meet at the same signed sum. For , write and with ; directly, .
Worked example 7.3.10
(A 3×3 adjoint and replacement determinants)
Let
Expansion along the first row gives
The cofactor matrix is
Transposing it gives
Replacing columns one, two, and three by gives
Their first-row expansions are
Thus the solution is
Substitution gives , , and , so all three equations agree with .
The numerical data also provide an independent audit of the signs and of the adjoint route. Multiplying the displayed adjoint by gives
so the adjoint identity predicts , exactly the vector obtained from the three replacement determinants. For example, the first entry is ; the signs in the cofactor matrix are already included before this multiplication.
Worked example 7.3.11
(Solve a 2×2 system with Cramer's rule)
Solve
Write
First compute
Replace the first column by :
Replace the second column by :
So
Substitution checks the result: and .
Common mistake
(Cramer's rule is not a universal system solver)
Cramer's rule requires a square coefficient matrix and a nonzero determinant. If the system is rectangular or singular, the rule is not available. Even when it applies, it is usually less efficient than Gaussian elimination for large systems.
Counterexample mode
Let , a nonzero singular matrix. With , the equations are , , and , so the solutions are . With , the second equation is , so the system is inconsistent.
Write the replacement column triples explicitly. For , , , and ; every determinant is zero because of a zero column or repeated columns. For , , , and ; every determinant is zero because each triple has a zero column, and has two zero columns. Thus all six formal ratios are and undefined. Require before using Cramer's rule. For a singular system, row-reduce the augmented matrix and inspect consistency and free variables.
Quick check
(Does transpose change the determinant of a square matrix?)
State the theorem directly.
No. .
Quick check
(What column operation leaves the determinant unchanged?)
Think of the column analogue of a type-III row operation.
Adding a scalar multiple of one distinct source column to another target column leaves the determinant unchanged.
Quick check
(When may Cramer's rule be used?)
Identify the structural hypotheses on A.
When the coefficient matrix is square and invertible, equivalently when its determinant is nonzero.
Quick check
(Use a column expansion to compute .)
Choose the column with the most zeros.
Expand along the second column:
Quick check
(For , write down .)
Compute the four cofactors first, then transpose the cofactor matrix.
The cofactors are , , , and . Hence
Quick check
(Use Cramer's rule to find x_1 for the system , .)
You only need and .
Here
Then
So
Return to 7.2 Row operations, products, and invertibility if the row-operation bookkeeping is still shaky.
Keep 3.3 Transpose, symmetric, and skew-symmetric matrices nearby, because the transpose theorem here extends that earlier structural chapter.
For system language, connect this note back to 1.1 Equations and solution sets and 2.3 Gaussian elimination and RREF.