A triangular matrix has determinant equal to the product of its diagonal entries. Since is a unit lower triangular matrix, . ThusEquivalently, the elimination used only row additions, which leave the determinant unchanged; there were no row swaps or row scalings to account for.
Define the characteristic polynomial using , where is the identity matrix. Expanding the determinant along the first row givesThus the characteristic equation isThe convention changes the sign of this cubic polynomial but gives the same roots.
The elementary row operations used above add multiples of other rows, so preserve the determinant. The determinant of an upper triangular matrix is the product of its diagonal entries. HenceEquivalently, and multiplicativity of the determinant gives .
Source gap / TODO: the original printed page 4, confirmed visually, omits the unknown vector. It literally equates a matrix with a vector, so it does not define a well-formed system of linear equations. The following answer is conditional on the usual intended interpretation ; the missing factor is not present in the source.
Under that interpretation, the rows satisfy . Applying this linear relation to the right-hand side gives the necessary consistency conditionIt is sufficient too: the upper-left minor has determinant , so the first two rows are linearly independent. The third row is , and imposes precisely the condition already found. ThereforeFor completeness, setting givesand direct substitution satisfies all three linear equations exactly for those two values of . An unconditional answer to the malformed printed equality awaits a source correction.
The determinant is unchanged by matrix transposition, soThus has a nontrivial null space, givingThe same argument with shows that a matrix and its transpose have the same characteristic polynomial. It does not say that they have the same eigenvectors: here .
Let be the original columns. The first three are linearly independent: restricting them to rows 2, 3 and 4 gives the triangular matrixwhose determinant is one. Also , so a basis for the column space isThese are columns of the original matrix. Taking columns of its reduced row echelon form would generally give the wrong column space.
The determinant of the Jacobian matrix is . Wherever , the inverse function theorem permits a local inverse of the parabolic coordinates transformation, andReading off its entries givesThese are local formulas on a chosen branch: and have the same image, and at the origin the Jacobian matrix is singular, so this inverse-derivative formula does not apply there.
Denote the columns by . The first two are linearly independent, because the top two coordinates have determinant . Direct calculation givesThus a column-space basis is , andFor the last description, the third row equals twice the first row plus three times the second, so every column lies in that plane. Since the two independent columns already span a two-dimensional vector subspace, they fill the plane.
The target vector satisfies , so it is in the column space. An especially simple linear combination isIn terms of the displayed basis, the same vector is . The column space itself is unique; the freedom is in choosing its basis.
For square matrices of the same size,For an upper or lower triangular matrix , its determinant is the product of its diagonal entries:These formulas include singular matrices and zero diagonal entries.
Let be standard coordinate columns. The required elementary matrix isIt is the identity matrix with the extra entry in position . Left matrix multiplication implements the row operation: all other rows are unchanged. Since , is a lower triangular matrix with every diagonal entry one. Part (a) therefore gives andHence adding a multiple of one row to another leaves the determinant unchanged, even if is singular.
Write the determinant in its Leibniz formula for determinants, where is the set of permutations of :The permutation sign is justified by the given row-interchange property: a permutation matrix is obtained from the identity matrix by row interchanges, and every interchange changes its determinant by a factor . Reversing a sequence of interchanges constructs the inverse permutation with the same number of interchanges. Consequently . The Leibniz formula for determinants can itself be obtained by expanding the rows multilinearly in the standard basis: repeated selected coordinate rows contribute zero, and the remaining terms are precisely these signed permutation matrices.
Since , the same formula givesReindex the product with and reindex the sum with . Both reindexings are bijections, soThus for every real square matrix, including singular matrices. This proof does not assume the analogous column-operation rules in order to establish the transpose identity.
For a skew-symmetric matrix, . By parts (c) and (d),If is odd, , hence over . Therefore , so is a singular matrix. The conclusion depends on odd dimension: in dimension two, is skew-symmetric and has determinant one.
For , the triangular matrix formula gives the characteristic polynomialThe three eigenvalues are distinct, so part (d) already proves the existence of an eigenvector basis. Explicit choices, ordered by eigenvalues , areTheir column matrix has determinant one, and direct multiplication gives respectively one, three and two times the indicated vector.
For , expansion along the last row givesAgain the three eigenvalues are distinct. An explicit eigenvector basis, ordered by eigenvalues , isIts column matrix has determinant . In particular, 's diagonal entries are not its eigenvalues: it is not a triangular matrix.
Finally , so every nonzero vector is an eigenvector with eigenvalue one. Choose the standard basis . These are linearly independent even though their eigenvalues coincide. Distinct eigenvalues are sufficient for an eigenvector basis, and are not necessary.
The determinant of the unit lower triangular matrix is 1. There is one row swap, so , and the upper triangular matrix has determinant . Therefore
Accumulate the product of the matrices from left to right, which matches forward linked list traversal.The four-value assignment is simultaneous, as permitted by the source. With , the loop invariant after reading the prefix iswith the empty product initialized to the identity matrix. Multiplication on the right by produces exactly the four assignments above. The associativity of matrix multiplication allows this left-to-right accumulation even though the recursive conversion groups operations from the right.
PROCEDURE cf2rat(f: fraction; VAR n, d: INTEGER);
VAR p: fraction; a, b, c, e, x: INTEGER;
BEGIN
a := 1; b := 0; c := 0; e := 1;
p := f;
WHILE p # NIL DO
x := p.head;
a, b, c, e := a*x+b, a, c*x+e, c;
p := p.tail
END;
n := a; d := c
END cf2rat;At completion, the first column is the numerator/denominator pair for the whole continued fraction: the last factor sends to , and each earlier factor applies the recurrence from part (d). The vector is an algebraic device, not a finite input ratio requiring division by zero. For a nonempty list the resulting is positive; for a singleton it is . The product has determinant , so its first-column entries are coprime. Return in linear node-processing time and auxiliary space, without changing the list.
Use multiplicativity of the determinant and the determinant criterion for an invertible matrix:Neither factor can therefore be zero, so both matrices are nonsingular. The determinant of a triangular matrix is the product of its diagonal entries:Each product is nonzero, forcing every diagonal factor to be nonzero. These explicitly stated determinant properties justify both conclusions.
Let column of be , so . Every diagonal entry of the invertible lower triangular matrix is nonzero, since its determinant is the product of those entries. In row one through row , the right-hand side is zero. Forward substitution first gives , then , and successively for all . These are precisely the entries above the diagonal in column of . Every column satisfies this, proving that is lower triangular. This is triangularity of an inverse matrix.
A triangular matrix has determinant equal to the product of its diagonal entries, so and . A permutation matrix exchanging two rows has determinant . Using multiplicativity of the determinant in yields . Hence .
Subtract the first vertex from the other two, giving side vectors and . Their determinant is , the signed area of the corresponding parallelogram. The triangle occupies half that area, hence its area is . Taking the absolute value would remove any sign change caused by reversing the vertex order. This is the determinant formula for triangle area.
Let and . The remaining columns are and , so these two vectors span the column space. They are linearly independent: the determinant of their first two coordinates is . Therefore is a basis of the range, and the matrix rank is two.