Uscire dal piano ... come da una porta d'Hotel

Image
le isometrie inverse (o invertenti)
  • coniugazione seguita da roto-traslazione: se, prima di eseguire una roto-traslazione, si esegue un ribaltamento intorno all'asse reale (ossia la isometria conj), si ottiene quel che si chiama una isometria inversa (o invertente). Pertanto, una isometria inversa è una trasformazione del tipo: TvRuconj   con uU e vC  
  • le isometrie inverse e la sovrapponibilità di figure piane uscendo dal piano: se una figura F viene trasformata nella figura F' da un'isometria invertente, si ha che F e F' sono della stessa forma e grandezza, ma non è possibile portare F a sovrapporsi a F' se non uscendo dal piano  
  • formula di un'isometria inversa: ricaviamo subito, dalla definizione: (TvRuconj)(z) = u•z + v  
  • roto-traslazione seguita da coniugazione: se la coniugazione si opera dopo la roto-traslazione si ha: (conjTvRu)(z) = u•z + v = u•z + v = u•z + v = (T vRu)(z), ossia:   conj Tv Ru = T v Ru conj  
  • proprietà delle isometrie inverse:
  • composizione di isometrie inverse: la composta di due isometrie inverse è una isometria diretta. Infatti: (Tv'Ru'conj) (TvRuconj) = (Tv'Ru'conj) (conjTv Ru) = (Tv'Ru') (Tv Ru)  e quest'ultima è la composta di due roto-traslazioni e quindi, come visto, è una roto-traslazione
  • coniugazione e altri ribaltamenti: la coniugazione è una isometria inversa, in quanto conj = idconj (e l'identità è una isometria diretta). E' però più interessante osservare che se si vuol ribaltare un punto z non intorno all'asse reale, ma intorno a una generica retta contenente un punto unitario u, basta ruotare z con la rotazione R1/u=Ru (che porta u in 1), poi effettuare la coniugazione, e infine ruotare con la rotazione Ru (che porta 1 in u). Si ottiene così la cosiddetta simmetria assiale intorno alla retta Ru, data dalla formula: Su := Ru conj R1/u. Anche questa trasformazione è una isometria invertente (provarlo come esercizio)
  • inversione di una isometria invertente: l'isometria invertente   TvRuconj   ha come trasformazione inversa l'isometria invertente   conjR1/uT-v
  • inversione dell'orientamento: dati tre punti A, B, C e una isometria invertente che li porti rispettivamente in A', B', C', i percorsi ABC e A'B'C' sono uno orario e l'altro antiorario, oppure uno antiorario e l'altro orario (brevemente si dice che sono discordi). In effetti basta osservare che questo scambio di versi di percorrenza è effettuato da conj e che la componente rototraslativa di una isometria invertente non fa altro che mantenere il verso che conj ha invertito.