I risultati ottenuti nella lezione precedente suggeriscono un metodo per determinare la distanza tra due sottovarietΓ lineari e , di dimensioni rispettivamente e , di uno spazio affine euclideo .
Si considerari un punto generico , le cui coordinate dipenderanno quindi da parametri, e un punto generico , le cui coordinate dipenderanno da parametri. Si calcoli il vettore , le cui componenti dipenderanno dunque da parametri, e si imponga che sia ortogonale ai sottospazi e . La condizione di ortogonalità a si esprime imponendo che il prodotto scalare di con gli vettori di una base del sottospazio direttore di sia nullo (si ottengono così equazioni lineari). Analogamente, la condizione di ortogonalità a si esprime imponendo che il prodotto scalare di con gli vettori di una base del sottospazio direttore di sia nullo (si ottengono così equazioni lineari). Si ottiene pertanto un sistema di equazioni lineari in incognite, la cui soluzione permette di determinare due punti e tali che il vettore sia ortogonale a e . Per quanto visto in precedenza, la distanza tra e coincide con la distanza tra e .
Illustriamo ora quanto sopra esposto mediante alcuni esempi.
Distanza di un punto da una retta.
Sia uno spazio affine euclideo e indichiamo con la retta passante per un punto e parallela a un vettore . Dato un punto , vogliamo determinare la distanza di dalla retta .
Un generico punto della retta è dato da , al variare del parametro . Il vettore è quindi dato da . Imponendo che questo vettore sia ortogonale alla retta (cioè al vettore ), si ottiene
da cui si ricava
Se indichiamo con il punto di corrispondente a tale valore del parametro , si ha
Il punto Γ¨ dunque il punto della retta per cui il vettore Γ¨ ortogonale alla retta stessa: Γ¨ dunque il piede della perpendicolare tracciata per alla retta .
Si ha pertanto
Sviluppando i calcoli, si ottiene
da cui si ricava la seguente formula per la distanza di un punto da una retta:
Il problema della determinazione della distanza di un punto da una retta puΓ² essere affrontato anche in un altro modo, come ora spiegheremo.
Utilizzando le notazioni precedenti, poniamo , e consideriamo il parallelogramma , avente come base il segmento e come altezza la distanza del punto dalla retta .
Indicando con il vettore e ricordando che , lβarea del parallelogramma Γ¨ data dalla seguente formula:
Si ottiene pertanto:
Nel caso particolare in cui Γ¨ lo spazio affine euclideo , lβarea di un parallelogramma di lati e coincide con la norma del prodotto vettoriale :
In questo caso la distanza di dalla retta si puΓ² dunque calcolare come segue:
Nel prossimo esempio ricaveremo unβutile formula per determinare la distanza di un punto da un iperpiano dello spazio affine euclideo . Prima perΓ² abbiamo bisogno del seguente risultato:
Teorema.
Nello spazio affine euclideo consideriamo un iperpiano di equazione
e indichiamo con il vettore le cui componenti sono i coefficienti delle incognite nellβequazione di ,
Allora il vettore Γ¨ ortogonale allβiperpiano .
Dimostrazione.
Sia un punto di . Si ha
Per ogni vettore appartenente al sottospazio direttore di , il punto appartiene allβiperpiano , quindi si ha
Sottraendo le due uguaglianze precedenti, si ottiene
Distanza di un punto da un iperpiano.
Nello spazio affine euclideo indichiamo con lβiperpiano di equazione
e con un punto di .
Vogliamo determinare la distanza di dallβiperpiano .
Per quanto visto in precedenza, tale distanza coincide con la distanza di dallβunico punto per cui il vettore Γ¨ ortogonale a .
Come abbiamo visto in precedenza, il vettore Γ¨ ortogonale allβiperpiano , quindi la retta passante per il punto e perpendicolare a ha equazione
Il punto che stiamo cercando Γ¨ dunque il punto di intersezione tra la retta e lβiperpiano :
In coordinate, le equazioni parametriche della retta sono
Sostituendo queste espressioni nellβequazione di si ottiene lβequazione
la cui soluzione Γ¨
Il punto della retta corrispondente a tale valore di Γ¨ il punto cercato:
Si ha pertanto
Sviluppando i calcoli, si ottiene così
Generalizzando gli esempi precedenti, vediamo ora come si possa determinare la distanza di un punto da una sottovarietΓ lineare qualunque di uno spazio affine euclideo.
Distanza di un punto da una sottovarietΓ lineare.
Sia uno spazio affine euclideo e sia una sottovarietΓ lineare di dimensione di .
Dato un punto , vogliamo determinare la distanza di da ; tale distanza coinciderΓ con la distanza di dallβunico punto di per cui il vettore Γ¨ ortogonale a .
Sia un punto qualunque di e indichiamo con una base ortonormale di .
Un generico punto di Γ¨ dato da
al variare dei parametri .
Indicando con il vettore e con il vettore , si ha dunque
La richiesta che questo vettore sia ortogonale a si esprime imponendo che il prodotto scalare di per i vettori della base di sia nullo.
Ricordando che i vettori formano una base ortonormale di ,
per ogni , si ha
da cui si ricava
Il punto cercato Γ¨ quindi dato da
Si ha pertanto
Sviluppando i calcoli si trova
da cui si ottiene infine la seguente formula per la distanza di da :
Distanza tra due rette.
Indichiamo con e due rette in uno spazio affine euclideo .
Per determinare la distanza di da cerchiamo due punti e tali che il vettore sia ortogonale alle rette e .
Sia un vettore direttore di e scegliamo arbitrariamente un punto : un generico punto di Γ¨ quindi dato da
Analogamente, indicando con un vettore direttore di e fissando un punto , un generico punto della retta Γ¨ dato da:
Se indichiamo con il vettore , si ha
La richiesta che questo vettore sia ortogonale alle rette e si esprime imponendo che i prodotti scalari di con e siano nulli:
Se i vettori e sono linearmente indipendenti (cioΓ¨ se le rette e non sono parallele) il determinante della matrice dei coefficienti di questo sistema Γ¨ diverso da zero, quindi il sistema ammette unβunica soluzione e . Sostituendo tali valori nelle espressioni di e si ottengono i punti e cercati.
Se invece le rette e sono parallele, il determinante della matrice dei coefficienti del sistema precedente Γ¨ nullo. In questo caso esso ammette infinite soluzioni (dipendenti da un parametro). Una qualunque di queste soluzioni fornisce una coppia di punti e tali che .