geometria non euclidea (informatica)

CENNI DI GEOMETRIA IPERBOLICA
http://cs.unm.edu/%7ejoel/NonEuclid/NonEuclid-Italian.html
Un modello di geometria non euclidea è il disco di Poincaré.
E’ un modello che nega il V postulato di Euclide in particolare ammettendo che, dato una retta e un
punto non appartenente ad essa, esistono infinte rette passanti per il punto e parallele alla retta.
In questa geometria:
•
il piano è costituito dalla regione interna ad una assegnata circonferenza,
•
i punti sono i punti appartenenti a tale regione,
•
le rette sono costituite dai diametri del cerchio o dagli archi di circonferenza aventi gli
estremi sulla circonferenza e perpendicolari alla circonferenza stessa.
Nella figura sono disegnate punti e rette.
Definita naturalmente l’intersezione di rette si può affermare che in questo modello per due punti
distinti passa una e una sola retta. Sono inoltre definiti in modo naturale segmenti e angoli.
Si noti che la lunghezza di un segmento subisce una variazione rispetto al concetto euclideo di
lunghezza. La chiameremo lunghezza iperbolica: da essa nasce un’idea di congruenza che
potrebbe apparire “non congruenza”.
Ecco un triangolo ed ecco una retta che ha diverse parallele passanti per uno stesso punto.
ESERCIZIO 1: IL CIRCOCENTRO NELLA GEOMETRIA IPERBOLICA
Nome del file: ipercircocentro.cognome.euc
Riguardare la dimostrazione fatta in classe circa la proprietà del circocentro di essere il centro
della circonferenza circoscritta. Si osservi come nella dimostrazione non entri il concetto di
parallelismo: la dimostrazione è indipendente dal validità o meno del V postulato di Euclide.
Si verifichi quindi che, costruendo nel modello iperbolico introdotto, un triangolo e identificando il
suo circocentro, esso sarà il centro della circonferenza circoscritta al triangolo dato.
Si noti che, come accennato, le lunghezze iperboliche non coincidono con la lunghezza usuale: il
centro della circonferenza circoscritta non ‘appare’ equidistante dai punti della circonferenza.
Facendo variare la posizione dei vertici del triangolo la cosa può apparire più evidente. Tuttavia
misurando con l’apposito comando le distanze dei vertici del triangolo dal centro della
circonferenza esse coincidono.
ESERCIZIO 2: L!INCENTRO NELLA GEOMETRIA IPERBOLICA
Nome del file: iperincentro.cognome.euc
Si rivisiti la dimostrazione fatta in classe circa la proprietà dell’incentro di essere il centro della
circonferenza inscritta e si valuti se tale dimostrazione dipende dal V postulato di Euclide. Si
costruisca una figura che mostri se la proprietà sussiste o no.
ESERCIZIO 3: COSA NON VALE
Nome del file: propr_non_valida.cognome.euc
Si cerchi tra quelle studiate una proprietà la cui dimostrazione dipenda dal concetto di parallelismo
(e quindi dal V postulato di Euclide) e si mostri che nel caso della geometria iperbolica di Poincaré
perde validità. Si introduca, mediante il comando, Show Note Box sotto il menu Visualizza, un
testo che spieghi di quale proprietà si sta trattando.