Note on the involutant of two binary matrices. (Q1531763)

Man betrachte die beiden Matrizen \[ M=\begin{matrix} (a, & b) \\ |c, & d| \end{matrix}, \quad M'=\begin{matrix} (a' & b') \\ |c', & d'| \end{matrix}, \] sowie ihr Product in der einen oder anderen Folge: \[ MM'=\begin{matrix} (A, & B) \\ |C, & D|, \end{matrix},\quad M'M=\begin{matrix} (A_1, & B_1) \\ |C_1, & D_1| \end{matrix}, \] so ist die Involutante, nach ihrer Definition, gleich jeder der beiden Determinanten: \[ I=\begin{vmatrix} 1 & a & a' & A \\ 0 & b & b' & B \\ 0 & c & c' & C \\ 1 & d & d' & D \end{vmatrix}, \quad I_1=\begin{vmatrix} 1 & a' & a & A_1 \\ 0 & b' & b & B_1 \\ 0 & c' & c & C_1 \\ 1 & d' & d & D_1 \end{vmatrix}, \] und daher, wie bewiesen wird, \(I=I_1\).