Escribamos L−1=[y1⋯yn], donde cada yk es un n×1 matriz.
Ahora, por definición, LL−1=I=[e1⋯en], donde ek es el n×1 matriz con un 1 en el k ª fila y 0 s en todas partes. Observe, sin embargo, que LL−1=L[y1⋯yn]=[Ly1⋯Lyn], así que Lyk=ek(1≤k≤n)
Según la proposición, puesto que ek sólo tiene 0 s por encima del k ª fila y L es triangular inferior y Lyk=ek entonces yk sólo tiene 0 s por encima del k ª fila. Esto es válido para todos los 1≤k≤n por lo que L−1=[y1⋯yn], entonces L−1 también es triangular inferior.
∗∗∗∗∗∗∗∗
He aquí un enfoque alternativo (pero relacionado).
Obsérvese que una matriz triangular inferior es no singular si y sólo si tiene todas las entradas distintas de cero en la diagonal. Procedamos por inducción en n . El caso base ( n=1 ) es simple, ya que todos los escalares son trivialmente "triangulares inferiores". Supongamos ahora que todos los escalares no singulares n×n las matrices triangulares inferiores tienen inversas triangulares inferiores, y sea A sea cualquier (n+1)×(n+1) matriz triangular inferior. En forma de bloque, entonces, tenemos A=[L0nxTα], donde L es un no singular n×n matriz triangular inferior, 0n es el n×1 matriz de 0 s, x es algo n×1 matriz, y α es un escalar distinto de cero. (¿Puedes ver por qué esto es cierto?) Ahora, en forma de bloque compatible, tenemos A−1=[MbyTβ], donde M es un n×n matriz, b,y son n×1 matrices, y β algún escalar. Dejando In y In+1 denotan el n×n y (n+1)×(n+1) matrices de identidad, respectivamente, tenemos In+1=[In0n0Tn1]. Por lo tanto, [In0n0Tn1]=In+1=A−1A=[ML+byTM0n+bαxTM+αyTyT0n+βα]=[ML+byTαbxTM+αyTβα]. Desde α es un escalar distinto de cero y αb=0n entonces debemos tener b=0n . Así, A−1=[M0nyTβ], y [In0n0Tn1]=[ML0nxTM+αyTβα]. Desde ML=In entonces M=L−1 y por hipótesis inductiva, tenemos que M es entonces triangular inferior. Por lo tanto, A−1=[M0nyTβ] también es triangular inferior, como se desea.