2024-04-14

539: Determinant of Square Matrix Whose Last Row Is All 1 and Whose Each Other Row Is All 0 Except Row Number + 1 Column 1 Is -1 to Power of Dimension + 1

<The previous article in this series | The table of contents of this series | The next article in this series>

description/proof of that determinant of square matrix whose last row is all 1 and whose each other row is all 0 except row number + 1 column 1 is -1 to power of dimension + 1

Topics


About: matrix

The table of contents of this article


Starting Context



Target Context


  • The reader will have a description and a proof of the proposition that the determinant of any square matrix whose last row is all 1 and whose each other row is all 0 except the row number +1 column 1 is 1 to the power of the dimension +1.

Orientation


There is a list of definitions discussed so far in this site.

There is a list of propositions discussed so far in this site.


Main Body


1: Structured Description


Here is the rules of Structured Description.

Entities:
M: { the n x n matrices }, the last row is all 1 and each other j-th row is 0 except the j+1-th column 1
//

Statements:
detM=(1)n+1.
//


2: Natural Language Description


For any  n x n  matrix, M, whose last row is all 1 and whose each other j-th row is 0 except the j+1-th column 1, the determinant is detM=(1)n+1.


3: Proof


M=(0100...00010...0...1111...1).

Let us prove it inductively.

Let the determinant of the n-dimensional matrix be f(n).

When n=1, M=(1), and f(1)=detM=1=(1)1+1.

When n=2, M=(0111), and f(2)=detM=1=(1)2+1.

Let us suppose that for n=m1, detM=(1)m1+1. For n=m, let us expand detM by the Laplace expansion of determinant by the 1st row. The 1st row has only 1 nonzero column, the 2nd column, 1. The cofactor of the component is (1)1+2f(m1), because M with the 1st row and the 2nd column removed is nothing but the matrix for the case, m1. So, f(m)=1f(m1).

So, f(n)=(1)n+1.


References


<The previous article in this series | The table of contents of this series | The next article in this series>