Su matriz M es un bloque triangular inferior. Para este tipo de matrices, el determinante viene dado por el producto de los determinantes de los bloques de la diagonal, por lo que \det M = \det A \det I_n \det I_n = \det A . Esto se puede demostrar directamente utilizando la definición del determinante como una suma de productos sobre permutaciones. Las únicas permutaciones que dan lugar a un sumando distinto de cero deben enviar \{ 1, \dots, n \} a \{ 1, \dots, n \} y luego \{ n + 1, \dots, 2n \} a \{ n + 1, \dots, 2n \} y de manera similar \{ 2n + 1, \dots, 3n\} a \{ 2n + 1, \dots, 3n \} . Ampliando la definición, verás que esto demuestra que \det M = \det A \det I_n \det I_n = \det A .