Pagina:Lezioni di analisi matematica.pdf/89

determinanti, sistemi di equazione di primo grado

73

Dimostrazione Il teorema è evidente se $k=0$. In tal caso $P$ è proprio il prodotto degli elementi della diagonale principale, che è un termine del determinante (il termine principale).

In ogni altro caso il determinante $D'$ dedotto da $D$ con tali $k$ trasposizioni vale $(-1)^{k}D$ (teorema II del § 20); ogni termine $D'$ vale il corrispondente di $D$ moltiplicato per $(-1)^{k}$.

Ora il prodotto $P$ da noi considerato è il termine principale di $D'$, e perciò $P$ è un termine di $D'$. Dunque $(-1)^{k}P$ è un termine di $D$, come dovevasi dimostrare

Teorema IV. I termini di un determinante D, che hanno come fattori h elementi scelti dalle prime h righe e colonne, hanno per somma il prodotto del minore $\Delta$ formato con tali righe e colonne per il minore complementare $\Delta '$ (formato con le residue righe e colonne).

Per $h=1$ si trova un’immediata conseguenza della definizione di determinante.

Dimostrazione Uno di questi termini $T$ è, a meno del segno, il prodotto $P$ di $h$ elementi, appartenenti a righe e colonne distinte del minore $\Delta$, per $n-h$ elementi appartenenti a righe e colonne distinte di $\Delta '$.

Ora il prodotto $p$ dei primi $h$ elementi vale, a meno del segno, un termine $\tau$ di \math>\Delta</math>; e precisamente $\tau =(-1)^{k}p$, se con $k$ trasposizioni si portano gli $h$ elementi di $p$ sulla diagonale principale di $\Delta$. Il prodotto $p'$ degli altri $n-h$ elementi vale, a meno del segno, un termine $\tau '$ di $\Delta '$; e precisamente $\tau '=(-1)^{l}p'$, se con $l$ trasposizioni si portano tali $n-h$ elementi sulla diagonale principale di $\Delta '$.

Allora evidentemente, facendo tutte le citate $p+l$ trasposizioni, tutti gli $n$ elementi considerati sono portati sulla diagonale principale di $D$. E perciò $\mathrm {T} =(-1)^{k+l}P$. Poichè $P=pp'=(-1)^{k}\tau (-1)^{l}\tau '$, sarà $T=\tau \tau '$. Cioè i termini $T$ considerati sono tutti e soli i prodotti di un termine $\tau$ di $\Delta$ per un termine $\tau '$ di $\Delta '$.

come dovevasi dimostrare

Siano scelte $h$ righe qualunque che abbiano i posti $r_{1},r_{2},\ldots ,r_{h}$ scritti in ordine crescente. Trasponiamo la riga $r_{1}^{esima}$ con quella di posto $r_{1}-1$, poi con quella di posto $r_{1}-2$, eccetera eccetera, poi con la prima riga; avremo così fatto $r_{1}-1$ trasposizioni: la riga di posto $r$, è andata al primo posto, senza che ne resti turbato l’ordine in cui si seguono le altre righe.

In modo analogo con $r_{2}-2$ trasposizioni porteremo la riga $r_{2}^{esima}$ al secondo posto, eccetera, con $r_{h}-h$ trasposizioni porteremo la riga $r_{h}^{esima}$ al posto $h$, in tutto con $r_{1}+r_{2}+\ldots +r_{h})-(1+2+\ldots +h)$ trasposizioni avremo portato le nostre $h$ righe ai primi posti senza cambiare nè l’ordine in cui si succedono tali righe, nè l’ordine in cui si succedono le altre $n-h$.

Altrettanto dicasi per $h$ colonne di posti $s_{1},s_{2},\ldots ,s_{h}$.

In tutto con $(r_{1}+r_{2}+\ldots +r_{h})+(s_{1}+s_{2}+\ldots +s_{h})-2(1+2+\ldots +h)$ trasposizioni avremo portato sia le righe che le colonne considerate ai primi $h$ posti senza che sia mutato nè l’ordine in cui si seguono le linee considerate, nè l’ordine in cui si seguono le linee residue. Poichè ogni trasposizione di linee parallele cambia il determinante di segno, e poichè $2(1+2+\ldots +h<)$ è un numero pari, con le trasposizioni citate avremo dedotto dal determinante $D$ un determinante $D'=(-1)^{c}D$ se $C=(r_{1}+r_{2}+\ldots +r_{h})+(s_{1}+s_{2}+\ldots +s_{h})$. E anzi da ogni termine di $D'$ si deduce il corrispondente di $D_{1}$, moltiplicando per $(-1)^{c}$. Applicando a $D'$ il teorema IV, avremo in conclusione:

Teorema V. Se $\Delta$ è un qualsiasi minore di un determinante D di ordine n, formato con $\mathrm {h<n}$ righe e h colonne di D, e $\Delta '$ è il minore formato con le residue $\mathrm {n-h}$ righe e colonne, il prodotto di $\Delta$, di $\Delta '$ e di $(-1)^{c}$, dove c uguaglia la somma degli indici delle righe e delle colonne di $\Delta$, è uguale alla somma di tutti e solo quei termini di $\Delta$, che contengono come fattori h elementi di $\Delta$. Il prodotto $(-1)^{c}\Delta '$ si chiama complemento di $\Delta$: è facile vedere che $(-1)^{c}\Delta$ è il complemento di $\Delta$.