Deje AA n×nn×n reales valores de la matriz, n≥2n≥2. Para cada columna de n-vectores xx A⋅x=0A⋅x=0 obtenemos nn ecuaciones
a11x1+a21x2+⋯+an1xn=0a12x1+a22x2+⋯+an2xn=0…a1nx1+a2nx2+⋯+annxn=0
Sé que si det(A)≠0, entonces la única solución aA⋅x=0x=0.
Ahora reemplace todas las anteriores igualdades con las desigualdades con el fin de obtener el siguiente sistema:
a11x1+a21x2+⋯+an1xn≥0a12x1+a22x2+⋯+an2xn≥0…a1nx1+a2nx2+⋯+annxn≥0
Que las condiciones en la matriz A garantía de que la única solución de este sistema de desigualdades es x=0?
Por supuesto, si det(A)=0 la condición no puede cumplirse, por lo que vamos a suponer det(A)≠0 y la búsqueda de condiciones adicionales.