Riepilogo
Questa lezione estende alle matrici quadrate di qualsiasi ordine il numero che, nella lezione sui sistemi lineari del corso Algebra e Geometria I, decideva se un sistema di due equazioni in due incognite ha un’unica soluzione. Interpreta il determinante di ordine due come l’area orientata del parallelogramma individuato dalle colonne della matrice; definisce quello di ordine tre mediante lo sviluppo secondo la prima riga e mostra che coincide con la regola di Sarrus; e definisce quello di ordine per ricorrenza. Dimostra per induzione sull’ordine, a partire da questa definizione, le proprietà del determinante (la linearità in ogni riga, lo scambio di righe, le righe nulle o uguali, la somma di un multiplo di un’altra riga, la trasposta e le matrici triangolari), e le applica al calcolo per riduzione e alla relazione tra il determinante e il rango. Dimostra il teorema di Binet in ordine due, la cui dimostrazione generale è data nella lezione sulla matrice inversa, e la regola di Cramer in ogni ordine; i problemi applicano i determinanti all’area di un triangolo, al determinante di Vandermonde, all’identità di Cassini dei numeri di Fibonacci e alla circonferenza per tre punti.
Obiettivi di apprendimento
- Calcolare determinanti di ordine due e tre mediante lo sviluppo secondo una riga e mediante la regola di Sarrus, e interpretare quello di ordine due come un’area orientata.
- Dimostrare per induzione sull’ordine le proprietà del determinante e usarle per calcolare determinanti di qualsiasi ordine per riduzione a una matrice triangolare.
- Mettere in relazione il determinante con il rango e con il prodotto di matrici, e decidere con esso se una matrice è singolare.
- Risolvere sistemi di equazioni in incognite mediante la regola di Cramer, e applicare i determinanti a problemi di geometria analitica e di successioni.
Il determinante di ordine due e l’area orientata
Nella lezione del corso I su equazioni di primo grado e sistemi lineari si è chiamato determinante di un sistema di due equazioni il numero , e si è dimostrata la regola di Cramer: se non è nullo, il sistema ha esattamente una soluzione. Nella lezione su vettori nel piano, lo stesso numero, formato con le componenti di due vettori, decideva se essi sono paralleli. Ora, nella lezione su matrici e operazioni con le matrici si sono introdotte le matrici quadrate, e nella lezione su il metodo di Gauss-Jordan ogni sistema lineare è stato scritto nella forma . Se è così, conviene considerare quel numero come una funzione della matrice dei coefficienti, ed estenderlo alle matrici quadrate di qualsiasi ordine.
Il determinante di una matrice quadrata di ordine due è il prodotto degli elementi della sua diagonale principale meno il prodotto degli elementi dell’altra diagonale. Si scrive , oppure con gli elementi della matrice tra due barre verticali.
Il determinante di un sistema di due equazioni è quello della sua matrice dei coefficienti, che ha nella prima colonna i coefficienti di e nella seconda quelli di : il suo determinante è . Le barre non indicano qui un valore assoluto, perché il determinante può essere negativo; per esempio:
Le due colonne di una matrice di ordine due sono vettori del piano, e il teorema dell’area orientata, enunciato qui sotto, dà al determinante un significato geometrico che spiega, di passaggio, il criterio di parallelismo della lezione del corso I sui vettori.
Siano e vettori del piano, e sia la matrice le cui colonne sono e . L’area del parallelogramma individuato dalle frecce di e di tracciate da una stessa origine è il valore assoluto di . Inoltre, se i vettori non sono nulli né paralleli, è positivo quando la rotazione di meno di mezzo giro che porta la direzione di su quella di è antioraria, e negativo quando è oraria.
Se è nullo, il parallelogramma si riduce a un segmento e il determinante è nullo; supponiamo quindi che non lo sia. La dimostrazione usa la distanza di un punto da una retta, ottenuta nella lezione del corso I sui vettori, le coordinate polari della lezione su coordinate polari e la formula del seno della differenza della lezione su formule di addizione e sottrazione. La figura la accompagna con e .
Dimostrazione
Si ammette, come nella geometria elementare, che l’area di un parallelogramma è il prodotto di una base per l’altezza corrispondente. Prendiamo come base il lato che rappresenta , sulla retta passante per l’origine con quella direzione; la sua equazione è , che l’origine e l’estremo di soddisfano. Per il teorema del vettore normale, il vettore è perpendicolare a quella retta, e la sua norma è quella di .
L’altezza è la distanza dell’estremo di da quella retta. Nella formula della distanza prendiamo l’origine come punto della retta, in modo che il vettore che va dalla retta al punto è proprio .
L’area è la base per l’altezza, e la norma di si semplifica con quella di . Nella figura, la base misura , l’altezza , e l’area è .
Per il segno, scriviamo i vettori in coordinate polari: e sono le loro norme, e e gli angoli che essi formano con il semiasse positivo delle ascisse, in modo che e . Per la formula del seno della differenza, il determinante è per il seno dell’angolo che va da a .
Poiché , il determinante ha il segno di , che è positivo se è compreso tra e , a meno di un multiplo di , cioè se si raggiunge da ruotando in senso antiorario di meno di mezzo giro, e negativo nel caso contrario. È nullo se e solo se è multiplo di , cioè se i vettori sono paralleli. Nella figura, ; scambiando le colonne, la rotazione che porta su è oraria, e il segno cambia.
Il teorema giustifica che il determinante di ordine due si chiami area orientata: il suo valore assoluto misura l’area, e il suo segno il verso della rotazione che porta la prima colonna sulla seconda. Il criterio di parallelismo della lezione del corso I sui vettori è il caso dell’area nulla: due vettori sono paralleli esattamente quando il parallelogramma che individuano si schiaccia su una retta. La relazione tra il determinante e le aree di figure qualsiasi, quando la matrice agisce come una trasformazione del piano, sarà studiata nella lezione su matrici come trasformazioni del piano.
Caricamento del contenuto…