Así, supongamos que el $A$ es una matriz cuadrada, y que $B$ es una matriz tal que $BA=I$. Quiere mostrar que $B$ es la única izquierda inversa de a $A$ (que lo es).
Tenga en cuenta que un sistema de $A\mathbf{x}=\mathbf{b}$ tiene más de una solución, es decir,$B\mathbf{b}$: si $A\mathbf{x}=\mathbf{b}$, luego
$$\mathbf{x} = I\mathbf{x} = BA\mathbf{x} = B\mathbf{b}.$$
Si $CA=I$, luego de nuevo un sistema de $A\mathbf{x}=\mathbf{b}$ tiene más de una solución, es decir,$C\mathbf{b}$. Por lo tanto, $B\mathbf{b}=C\mathbf{b}$ cualquier $\mathbf{b}$ para los que el sistema tiene una solución.
Si podemos demostrar que $A\mathbf{x}=\mathbf{e}_i$ tiene una solución para cada una de las $i$ donde $\mathbf{e}_i$ $i$th estándar de la base de vectores ($1$$i$th entrada, $0$s en otros lugares) esto mostrará que $B=C$, ya que tienen las mismas columnas.
Debido a $A\mathbf{x}=\mathbf{0}$ tiene una solución, solución que debe ser $B\mathbf{0}=\mathbf{0}$. Eso significa que la reducción de la fila-forma escalonada de a$A$$I$. Debido a la reducción de la fila-forma escalonada de a$A$$I$, la realización de una reducción de la fila en la matriz de coeficientes aumentada $[A|\mathbf{e}_i]$ los rendimientos de la matriz $[I|\mathbf{y}]$ algunos $\mathbf{y}$, $\mathbf{y}$ es la solución a $A\mathbf{x}=\mathbf{e}_i$. Desde este vector es igual para ambos $\mathbf{b}_i=B\mathbf{e}_i$ ($i$ésima columna de a $B$) y a $\mathbf{c}_i=C\mathbf{e}_i$, como se señaló anteriormente, entonces la $i$th columnas de $B$ $C$ son iguales; por lo tanto, $B=C$, y que la matriz tiene un único izquierda inversa.
Ahora, supongamos que el $A$ es una matriz cuadrada y tiene derecho a la inversa, $AB=I$. Queremos mostrar que $B$ es el único derecho inversa de a $A$. Tomando transpone, obtenemos $I = I^T = (AB)^T = B^TA^T$. Por lo que fue demostrado anteriormente, $B^T$ es la única izquierda inversa de a $A^T$. Si $AC=I$,$C^TA^T=I^T = I$, lo $C^T=B^T$, por lo tanto $C=B$. Por lo tanto, $B$ es el único derecho inversa de a $A$.