Apri il menu principale

La regola di Cramer o metodo di Cramer è un teorema di algebra lineare, che prende il nome dal matematico Gabriel Cramer, utile per risolvere un sistema di equazioni lineari usando il determinante, nel caso in cui il sistema abbia esattamente una soluzione.

Come algoritmo di calcolo è inefficiente. Pertanto, può essere effettivamente utilizzato solo per risolvere sistemi di poche equazioni. Tuttavia, esso è di grande importanza teorica in quanto dà un'espressione esplicita per la soluzione del sistema.

La regolaModifica

Un sistema di equazioni lineari può essere rappresentato usando moltiplicazione fra matrici come:

 

dove   è una matrice e  ,   sono due vettori. Se   è una matrice quadrata (cioè il numero di incognite del sistema è pari al numero di equazioni) ed è anche invertibile (determinante diverso da zero cioè rango della matrice uguale al numero di incognite), il teorema di Rouché-Capelli asserisce che il sistema ha esattamente una soluzione.

In questo caso, la regola di Cramer fornisce un algoritmo per calcolare la soluzione   usando il determinante nel modo seguente:

 

dove   è la matrice formata sostituendo la  -esima colonna di   con il vettore  . Si nota che la condizione di invertibilità di   garantisce che il denominatore   sia diverso da zero, e quindi che l'espressione descritta abbia sempre senso.

DimostrazioneModifica

La dimostrazione tiene conto di due proprietà dei determinanti:

  • Se si somma una colonna a un'altra, il valore del determinante non cambia;
  • Se si moltiplica ogni elemento di una colonna per un certo fattore, il determinante risulterà moltiplicato di altrettanto.

Dato un sistema di   equazioni lineari in   variabili  :

 

La regola di Cramer fornisce, per il valore di  , l'espressione:

 

che può essere verificata adoperando le suddette proprietà del determinante. Infatti, stando al sistema, il quoziente riportato è equivalente a:

 

Sottraendo dalla prima colonna la seconda moltiplicata per  , la terza colonna moltiplicata per   ecc., e la  -sima colonna moltiplicata per  , si ottiene l'espressione:

 

e, stando alla seconda proprietà del determinante, questo equivale a:

 

Allo stesso modo, se la colonna di   si trova al posto della  -sima colonna della matrice del sistema di equazioni, il risultato sarà uguale a  . Pertanto si ottiene:

 

Interpretazione geometricaModifica

 
Interpretazione geometrica della regola di Cramer. Le aree del secondo e terzo parallelogramma sono uguali, mentre l'area del secondo è   volte quella del primo. Da tale uguaglianza segue la regola.

La regola di Cramer può essere mostrata utilizzandone l'interpretazione geometrica. Si consideri il caso di due equazioni in due incognite:

 

che si può vedere come un'equazione tra vettori:

 

L'area del parallelogramma determinato da:

 

è data dal determinante del sistema:

 

In generale, quando vi sono più equazioni di più variabili, il determinante di   vettori di lunghezza   fornisce il volume del parallelepipedo che essi formano nello spazio euclideo di dimensione  . Quindi, l'area del parallelogramma determinato da:

 

deve anche essere   volte l'area del primo, dal momento che uno dei lati è stato moltiplicato per tale fattore. Quest'ultimo parallelogramma ha, per il principio di Cavalieri, la stessa area del parallelogramma formato da:

 

Uguagliando le aree dell'ultimo e del secondo parallelogramma si ottiene l'equazione:

 

da cui segue la regola di Cramer.

EsempioModifica

Due per dueModifica

Un sistema con 2 equazioni e 2 incognite:

 

espresso in forma matriciale come:

 

ha un'unica soluzione se e solo se il determinante di:

 

è diverso da zero. In questo caso, la soluzione   è data da:

 
 

Tre per treModifica

Analogamente, un sistema con 3 equazioni e 3 incognite:

 

può essere scritto come prodotto fra matrici e vettori nel modo seguente:

 

Se la matrice   ha determinante diverso da zero, il sistema ha una sola soluzione   data da:

 

Applicazioni alla geometria differenzialeModifica

La regola di Cramer è estremamente utile per scrivere delle formule in geometria differenziale. Ad esempio, date due equazioni:

 

in quattro variabili, due delle quali dipendono dalle altre nel modo seguente:

 

è possibile calcolare (ipotizzando che tutte queste funzioni siano sufficientemente derivabili):

 

usando la regola di Cramer, nel modo seguente.

Prima si calcolino le prime derivate di  ,  ,   ed  :

 
 
 
 

Sostituendo  ,   in   e in  , si ha:

 
 

Poiché  ,   sono entrambe indipendenti, i coefficienti di  ,   devono essere zero. Così si possono scrivere le equazioni per i coefficienti:

 
 
 
 

Ora, dalla regola di Cramer, si vede che:

 

Questa è ora una formula in termini di due Jacobiane:

 

Formule simili possono essere derivate per  ,   e  .

Problemi nell'applicazioneModifica

Come accennato nell'introduzione, il metodo di Cramer è adatto per calcolare la soluzione di sistemi lineari  , solo se   è molto piccolo. In pratica, il metodo richiede il calcolo di   determinanti di matrici  . Applicando la regola di Leibnitz, ciascuno di questi richiede   moltiplicazioni, per un totale di   moltiplicazioni. Un numero che diventa rapidamente enorme al crescere di  . Se si trascura il tempo necessario per effettuare le addizioni, un calcolatore che esegue un milione di moltiplicazioni al secondo impiegherebbe circa otto mesi per risolvere un sistema lineare di 15 equazioni, tempo che supererebbe il milione e mezzo di anni se le equazioni fossero 20.

In alternativa, gli   determinanti possono essere calcolati tramite l'algoritmo di Gauss che è estremamente più veloce,   moltiplicazioni. Però, questo è un sottoprodotto del metodo di eliminazione di Gauss per la soluzione di un sistema lineare associato alla stessa matrice. Quindi, è molto più rapido risolvere il sistema lineare di partenza utilizzando direttamente il metodo di Gauss una sola volta.

BibliografiaModifica

Voci correlateModifica

Altri progettiModifica

Collegamenti esterniModifica

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica