Isometria del piano
In geometria, si definisce isometria (o trasformazione rigida) una trasformazione che non modifica le distanze tra i punti (e, di conseguenza, le ampiezze degli angoli).
Formalmente, dato uno spazio su cui sia definita una distanza , una funzione è una isometria se e solo se si ha che
L'insieme delle isometrie che agiscono su un piano euclideo è un gruppo non commutativo. Esso è stato molto studiato, in quanto contiene trasformazioni molto intuitive ed utilizzate, ad esempio, nella teoria delle tassellazioni del piano.
Catalogazione
[modifica | modifica wikitesto]Le isometrie del piano possono essere divise in quattro classi:
- rotazioni, di cui sono un caso particolare le simmetrie centrali
- traslazioni
- simmetrie assiali, anche dette riflessioni
- antitraslazioni, anche dette glissosimmetrie, glissoriflessioni o simmetrie con scorrimento
Siccome si definisce antitraslazione la composizione di una simmetria assiale e di una traslazione di direzione parallela all'asse di simmetria, si può osservare che le simmetrie assiali possono essere viste come casi particolari di antitraslazioni, in cui la componente di traslazione ha modulo 0.
-
Rotazione
-
Traslazione
-
Simmetria assiale
-
Antitraslazione
Le traslazioni formano un gruppo commutativo, così come le rotazioni di fissato centro. Le rotazioni invece non formano gruppo, perché la composizione di due rotazioni è una rotazione o una traslazione.
Isometrie invertenti
[modifica | modifica wikitesto]Le isometrie possono inoltre essere classificate in isometrie invertenti (o inverse) e isometrie non invertenti (o dirette); le prime comprendono le simmetrie assiali e le antitraslazioni, mentre le seconde sono le rotazioni e le traslazioni.
L'aggettivo invertente (a volte sostituito da inversa, che però può essere fonte di equivoco in quanto si può confondere con la funzione inversa di una data isometria) può fare intuire su cosa si basi questa distinzione: dato un poligono G con lati i cui vertici siano numerati da 1 a n in senso orario, la sua immagine tramite una isometria invertente avrà i vertici numerati in senso antiorario; se invece l'isometria è non invertente, l'ordine dei vertici non cambia.
-
La simmetria è un'isometria invertente
-
La rotazione è un'isometria non invertente
È facile osservare che la composizione di un numero qualsiasi di isometrie non invertenti è un'isometria non invertente; in altre parole, le isometrie non invertenti formano un gruppo con l'operazione di composizione.
Le isometrie invertenti invece non formano un gruppo; infatti la composizione di un qualsiasi numero pari di isometrie invertenti dà un'isometria non invertente. Inoltre è ovvio che la composizione di una qualunque isometria invertente con una qualunque isometria non invertente dà un'isometria invertente.
Tutte queste considerazioni non dipendono dall'ordine in cui si effettua la composizione.
Generazione tramite riflessioni
[modifica | modifica wikitesto]Un'importante caratteristica delle isometrie è che ognuna di esse può essere generata da un massimo di tre riflessioni; in particolare, due caratterizzano le rotazioni e le traslazioni, tre le antitraslazioni. Da questo segue che ogni isometria è anche composizione di una simmetria assiale e di una isometria non invertente, ed eventualmente da una sola di esse.
La dimostrazione di questo fatto è piuttosto semplice, ed è costruttiva (ovvero non ci dice solo che queste due isometrie esistono, ma ci permette di trovarne una possibile coppia).
![](https://upload.wikimedia.org/wikipedia/commons/thumb/9/98/3pointsfixisometry.png/590px-3pointsfixisometry.png)
Prima di tutto osserviamo che, date due isometrie , se esistono non allineati e tali che:
allora . Questo è equivalente a dire che se una isometria ha tre punti non allineati come punti fissi allora è l'identità.
Questo fatto si può verificare facilmente osservando che se l'intersezione di tre circonferenze contiene almeno due punti distinti , allora i loro centri sono allineati (perché sono sull'asse del segmento ). Quindi, supponiamo per assurdo che esista X tale che , e siano le circonferenze rispettivamente di centro e di raggio . Siccome un'isometria mantiene le distanze, sia che devono appartenere entrambi a tutte e tre le circonferenze, e quindi alla loro intersezione. Quindi sono allineati, e questo contraddice le nostre ipotesi.
Chiamiamo quindi l'isometria che vogliamo costruire, e prendiamo 3 punti qualsiasi . Siano .
Come primo passo, possiamo applicare una traslazione H tale che H(A)=A' (tale traslazione esiste ed è unica).
A questo punto, dobbiamo distinguere il caso in cui l'isometria che vogliamo costruire è invertente o meno:
- se è invertente, applicheremo una riflessione con asse di simmetria l'asse del segmento
- se non è invertente, applicheremo una rotazione di centro A' ed angolo
In entrambi i casi, abbiamo che l'immagine di A resta A' (è un punto fisso), e quella di B diventa B'. Per quanto riguarda C, sempre per la proprietà dell'isometria di conservare le distanze l'immagine C' dovrà stare sull'intersezione del cerchio di centro A' e raggio AC e quello di centro B' e raggio BC. Si verifica facilmente che tale intersezione ammette solo due punti, e che i due triangoli composti da AB e uno di questi due punti hanno orientamento diverso.
Ricordando quindi che una traslazione composta ad una riflessione sarà invertente, mentre una traslazione composta ad una rotazione sarà non invertente, abbiamo che in entrambi i casi l'isometria ottenuta è necessariamente quella cercata.
-
Generazione di un'isometria invertente
-
Generazione di un'isometria non invertente
Costruzione di isometrie
[modifica | modifica wikitesto]![](https://upload.wikimedia.org/wikipedia/commons/thumb/f/f6/Rotx2%3DtraslOK.png/220px-Rotx2%3DtraslOK.png)
![](https://upload.wikimedia.org/wikipedia/commons/thumb/a/ae/Simx2%3DtraslOK.png/220px-Simx2%3DtraslOK.png)
![](https://upload.wikimedia.org/wikipedia/commons/thumb/4/4e/Simx2%3DrotOK.png/220px-Simx2%3DrotOK.png)
La dimostrazione appena data non prova solo che la composizione di riflessioni, rotazioni e traslazioni genera tutte le isometrie del piano, ma anche che la composizione delle sole rotazioni e traslazioni (che sono, ricordiamo, non invertenti) genera tutte le isometrie non invertenti.
Non invertenti (tramite rotazioni)
[modifica | modifica wikitesto]Esiste un risultato più forte: le stesse traslazioni possono essere generate con la sola composizione di rotazioni, il che implica che le sole rotazioni generano tutte le isometrie non invertenti.
Supponiamo infatti di volere costruire la traslazione di direzione e modulo . Sia un punto qualsiasi, e la sua immagine. Sarà sufficiente applicare due rotazioni rispettivamente di centro ed angolo tali che:
- dato C punto medio del segmento AA', si abbia AP=PC=CQ=QA'
- ed siano uno da una parte e uno dall'altra della retta che passa per e
- l'ordine di composizione è dato dal verso di
Invertenti e non invertenti (tramite simmetrie assiali)
[modifica | modifica wikitesto]Le seguenti costruzioni mostrano come generare traslazioni e rotazioni dalle riflessioni:
- Traslazioni: supponiamo di volere costruire la traslazione di direzione e modulo . Sarà sufficiente applicare due riflessioni di asse rispettivamente tali che:
- e siano entrambi perpendicolari a (e quindi paralleli tra di loro)
- la distanza tra i due assi sia
- l'ordine di composizione delle due simmetrie è dato dal verso di
- Rotazioni: supponiamo di volere costruire la rotazione di centro e angolo . Sarà sufficiente applicare due riflessioni di asse rispettivamente tali che:
- e si intersechino in
- l'angolo formato da e sia
- l'ordine di composizione delle due simmetrie è dato dal senso in cui misuriamo gli angoli (ovvero solitamente antiorario)
Descrizione formale
[modifica | modifica wikitesto]Essendo particolari trasformazioni affini, le isometrie del piano possono essere rappresentate come moltiplicazione per una matrice seguita dalla somma di un vettore.
Osserviamo alcuni casi particolari:
- la rotazione con centro nell'origine di angolo può essere rappresentata mediante una matrice,
- similmente, la riflessione con asse passante per l'origine e formante un angolo con l'asse delle ascisse,
L'insieme di tutte le riflessioni e rotazioni del piano che lasciano fissa l'origine, munito dell'operazione di composizione delle trasformazioni costituisce un gruppo.
Il gruppo ha come identità Rot(0). Ogni rotazione Rot(
Si noti che sia Ref(
L'insieme di tutte le matrici ortogonali bidimensionali con munito della moltiplicazione fra matrici costituisce il gruppo ortogonale in dimensione 2, talvolta denotato O(2).
- infine, la generica traslazione può essere rappresentata dalla somma di un vettore, le cui due componenti sono le componenti della traslazione lungo i due assi.
Composizioni di rotazioni e riflessioni
[modifica | modifica wikitesto]Due riflessioni
[modifica | modifica wikitesto]Vediamo che la composizione di due riflessioni M1 e M2 è generalmente una rotazione: siano L1 e L2 i loro assi. La riflessione M1 trasforma un generico punto P nella sua immagine P′ appartenente al semipiano delimitato da L1 che non contiene P (se P appartiene a L1 P′=P). M2 trasforma P′ nella sua immagine P′′ nel semipiano delimitato della retta L2 non contenente P′′ (e se P′ appartiene a L1 P′′=P′).
Se le rette L1 e L2 si intersecano in un punto
che denotiamo O e formano un angolo
In formule,
Se invece L1 e L2 sono rette parallele la composizione di M1 ed M2 è la traslazione nella direzione ortogonale alle due rette per la distanza uguale al doppio della distanza tra L1 e L2 (una tale traslazione si può considerare una rotazione intorno al punto all'infinito nella direzione delle due rette).
Due rotazioni
[modifica | modifica wikitesto]È facile rendersi conto che una coppia di rotazioni attorno ad uno stesso punto O è equivalente ad un'altra rotazione attorno a tale punto. La composizione di due rotazioni con centri diversi è più complicata.
In formule,
Rotazione e riflessione
[modifica | modifica wikitesto]La composizione di una riflessione e di una rotazione, o di una rotazione e una riflessione è equivalente ad una riflessione. Si osserva che la composizione di una rotazione e di una riflessione non è commutativa),
In formule:
Queste equazioni possono essere provate con il semplice calcolo dei prodotti delle matrici e la applicazione di identità trigonometriche.