Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
x n1
x1
vi . . .
v n1
xn
xn
a 11 x 1 + a 12 x 2 + . . . + a 1n x n
a 21 x 1 + a 22 x 2 + . . . + a 2n x n
..
a x + a x + . . . + a x
m1 1
m2 2
mn n
=0
=0
=0
de m equaes e n incgnitas, onde m < n. Vamos provar o resultado por induo no nmero de equaes do sistema.
Se tivermos apenas uma equao do tipo
a 11 x 1 + . . . + a 1n x n = 0
com n > 1 incgnitas, devemos ter um dos dos coeficientes a 1i 6= 0 (caso contrrio esta equao no faria sentido). Podemos supor ento, sem perda de
generalidade, que a 1n 6= 0. Isolando x n na equao dada, temos
a 1,n1
a 11
xn =
x1 + . . . +
x n1 .
a 1n
a 1n
Para obtermos uma soluo no-trivial para a equao do sistema, basta escolhermos valores quaisquer para os x 1 , . . . , x n1 (que so variveis livres) e obteremos x n .
Para completar a induo, vamos supor que o lema seja verdadeiro para um
sistema com m 1 equaes. Podemos primeiramente admitir que, no sistema
original, temos a mn 6= 0 (caso contrrio, o sistema no teria m, mas m 1 equaes). Ento, a m-sima equao pode ser reescrita como
a m,n1
a m1
x1 + . . . +
x n1 .
xn =
a mn
a mn
Substituindo em cada uma das m1 primeiras equaes a incgnita x n por esta
expresso, obtemos um sistema homogneo de m 1 equaes nas n 1 primeiras incgnitas. Pela hiptese de induo, este sistema admite uma soluo
no-trivial (1 , . . . , n1 ), pois n 1 > m 1. Escrevendo ento
a m,n1
a m1
1 + . . . +
n1 ,
n =
a mn
a mn
obtemos uma soluo no-trivial (1 , . . . , n1 , n ) do sistema proposto.
13