Regola di Cramer

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca

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.

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.

Dimostrazione

[modifica | modifica wikitesto]

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 geometrica

[modifica | modifica wikitesto]
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.

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:

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:

Il determinante di una matrice 3 per 3 può essere calcolato utilizzando la regola di Sarrus.

Applicazioni alla geometria differenziale

[modifica | modifica wikitesto]

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'applicazione

[modifica | modifica wikitesto]

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.

Voci correlate

[modifica | modifica wikitesto]

Altri progetti

[modifica | modifica wikitesto]

Collegamenti esterni

[modifica | modifica wikitesto]
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica