Geometria euclidea: differenze tra le versioni

Versione delle 16:21, 28 set 2021

Versione attuale delle 21:08, 18 mar 2025

(22 versioni intermedie di 16 utenti non mostrate)

Riga 1:

[[File:Dodecahedron.gif|thumb|Dodecaedro]]

La '''geometria euclidea''' è un sistema matematico attribuito alallo [[matematico]]scienziato [[Alessandria d'Egitto|alessandrino]] [[Euclide]], che la descrisse nei suoi ''[[Elementi di Euclide|Elementi]]''. La sua geometria consiste nell'assunzione di cinque semplici e intuitivi concetti, detti [[assiomi]] o [[postulati]] e, nella derivazione da detti assiomi, di altre proposizioni ([[teorema|teoremi]]) che non abbiano alcuna contraddizione con essi. Questa organizzazione della geometria permise l'introduzione della [[retta]], del [[Piano (geometria)|piano]], della [[lunghezza]] e dell'[[area]].

Sebbene molte delle conclusioni di Euclide fossero già conosciute dai matematici,<ref>{{cita libro|autore=Eves, Howard|anno=1963|titolo=A Survey of Geometry|url=https://archive.org/details/surveyofgeometry0001eves|editore=Allyn and Bacon|p=[https://archive.org/details/surveyofgeometry0001eves/page/19 19]|volume=1}}</ref> egli mostrò come queste potessero essere organizzate in una maniera [[Deduzione|deduttiva]] e con un [[Sistema formale|sistema logico]].<ref>{{cita libro|autore=Eves, Howard|anno=1963|titolo=A Survey of Geometry|url=https://archive.org/details/surveyofgeometry0001eves|editore=Allyn and Bacon|p=[https://archive.org/details/surveyofgeometry0001eves/page/10 10]|volume=1}}</ref> Gli ''Elementi'' di Euclide incominciano con un'analisi della [[geometria piana]], attualmente insegnata nelle [[scuole secondarie]] e utilizzata come primo approccio alle [[Dimostrazione matematica|dimostrazioni matematiche]], per poi passare alla [[geometria solida]] in [[tre dimensioni]].

Dopo Euclide sono nati particolari tipi di geometrie che non necessariamente rispettano i cinque postulati; tali geometrie sono definite ''[[geometrie non euclidee|non euclidee]]''.

== I cinque postulati ==

I cinque [[Assioma (matematica)|postulati]] (o assiomi) di [[Euclide]] sono:<ref>{{cita|Euclide|p. 7}}.</ref>

# ''TraCongiungendo due [[Punto (geometria)|punti]] qualsiasi è possibile tracciaresi unaottiene eun una[[segmento]] soladi [[retta]];''

# ''Si può prolungare un [[segmento]] oltre i due [[Punto (geometria)|punti]] indefinitamente;''

# ''Dato un [[Punto (geometria)|punto]] e una [[lunghezza]], è possibile descrivere un [[cerchio]];''

# ''Tutti gli [[Angolo retto|angoli retti]] sono [[Congruenza (geometria)|congruenti]] tra loro;''

# ''Se una [[retta]] che taglia altre due rette determina dallo stesso [[Lato (geometria)|lato]] [[Angolo|angoli interni]] minorila cui somma è minore di due [[Angolo retto|angoli retti]], prolungando le due rette, esse si incontreranno dalla parte dove i due angoli sonohanno somma minoriminore di due retti.''

[[File:Euclid's postulates.png |thumb|right|I cinque postulati di Euclide e la formulazione del quinto che oggi si preferisce utilizzare]]

Si nota subito una differenza tra i primi quattro, immediatamente evidenti e praticamente verificabili col semplice uso di [[matita]], [[Riga (strumento)|righello]] e [[Compasso (strumento)|compasso]], e il quinto, che non è caratterizzato dall'immediatezza pratica dei primi, mentre presenta una formulazione molto più involuta. Infatti egli dimostra le prime 28 proposizioni del primo [[Elementi (Euclide)|libro degli ''Elementi'']] senza fare uso del quinto postulato.

Il quinto postulato è equivalente all'assioma seguente, oggi più usato:

:''Per un punto esterno a una retta data passa una e una sola retta [[Parallelismo (geometria)|parallela]] a questa.''

Sulla violazione di questi postulati, e soprattutto sul quinto, si fondano le [[geometrie non euclidee]], come ad esempio la [[geometria iperbolica]].

=== [[Corollario|Corollari]] ===

Dagli [[assioma (matematica)|assiomi]] si possono dedurre delle relazioni di [[Incidenza (geometria)|incidenza]] tra punti, rette e [[Piano (geometria)|piani]]. Ad esempio:

* Per un punto passano infinite rette.

* Per due punti distinti passa una e una sola retta.

* Per una retta nello spazio passano infiniti piani.

* Per tre punti non allineati nello spazio passa un solo piano.

* Per tre punti allineati passa una e una sola retta.

Si definiscono quindi altre nozioni, quali ad esempio:

* Due rette nello spazio si dicono ''[[Complanarità|complanari]]'' quando giacciono sullo stesso piano.

* Se un punto divide una retta, ciascuna delle due parti si dice [[semiretta]]: questa sarà dotata di un'origine, ma non di una fine.

* La parte di retta delimitata da due punti è detta [[segmento]].

Riga 64 ⟶ 68:

== Bibliografia ==

;Fonti primarie

;Bibliografia primaria

* {{cita libro|autore=Euclide|titolo=Elementi|url=http://farside.ph.utexas.edu/Books/Euclid/Elements.pdf|anno=2008|ISBN=978-0-6151-7984-1|curatore=Richard Fitzpatrick|lingua=grc, en|cid=Euclide}}

;Fonti secondarie

;Bibliografia secondaria

* {{cita libro|autore=Leonardo Sasso|titolo=La matematica a colori,. Geometria|città=Torino|editore=Petrini|anno=2014|ISBN=978-88-494-1883-5|cid=Sasso}}

== Voci correlate ==