Geometria euklidear

Geometria euklidearra, edo parabolikoa espazio euklidearren ezaugarri geometrikoen ikerketa da. Plano afin erreal euklidearraren eta hiru dimentsioko espazio afin euklidear errealaren propietate geometrikoak aztertzen ditu metodo sintetikoaren bitartez, Euklidesen bost postulatuak sartuz.

Ohikoa da esatea geometria bat euklidearra dela ez-euklidearra ez baldin bada, hau da, Euklidesen bosgarren postulatua egiaztatzen bada. Deitura honek gero eta erabilpen urriagoa du, izan ere, kanpo-puntu batetik zuzen baten paraleloak marrazteko ematen duen aukera interesa galduz doa.

Matematikoek geometria euklidear adierazpena erabili ohi dute propietate antzekoak dituzten dimentsio nagusiagoko geometriak deskribatzeko. Hala ere, geometria laua edo geometria klasikoaren sinonimoak izaten dira normalean.

Interpretazioak 

 Ikuspuntu historiografiko batetik begiratuta, geometria euklidearra Euklidesek postulatu zuen hura da, Elementuak liburuan, geroago egindako ekarpenak ukatuz —Arkimedesetik Jakob Steiner arte—.
 Metodo sintetikoaren eta metodo aljebraiko-analitikoaren kontraposizioaren arabera, metodo sintetikoen bidez aztertutako, 3 dimentsioko (eta biderketa eskalar konkretuaz hornituriko) espazio bektorial errealaren inbariantza izango litzateke geometria euklidearra.
 Erlangenen programaren (Felix Klein matematikariak proposatua) filosofiari begira, transformazio ortogonalak aplikatzerakoan, espazio euklidear (dimentsio finituko eta biderketa eskalarraz hornituriko bektore espazio erreala) baten isometrien inbariantzaren azterketa izango litzateke geometria euklidearra.

Plano euklidearraren geometria 
Geometria laua edo plano euklidearraren geometria geometriaren zati bat da, zeinetako puntuak plano euklidearrean dauden. Geometria laua geometria euklidearraren barne da, izan ere honek bi dimentsioetatik aurrerako elementu geometrikoak aztertzen ditu.

Axiomak 

Geometria euklidearra modu axiomatiko batean aurkeztu ohi da, teorema guztiak axioma kopuru batetik eratorriak bait dira. Sistema axiomatiko bat proposamen kopuru batetik abiatuz (axiomak, alegia), eta ondorio logikoak aplikatuz, egiazko proposamen logiko berriak sortzen dituena da.

Postulatuak 
Euklidesek bost postulatu planteatu zituen bere sisteman:

 Bi puntu emanik, hauek elkartzen dituen zuzen bat marraz daiteke.
 Edozein segmentu era jarraituan luza daiteke edozein noranzkoan.
 Zirkunferentzia bat marraz daiteke zentroa edozein puntutan kokatuz eta bere erradioa edozein izanik.
 Angelu zuzen guztiak kongruenteak dira.
 Zuzen batek beste bi ebakitzen baditu, alde berean eta barnealdean dauden bi angelu zorrotz eratuz, bi zuzenak angelu hauek dauden aldean ebakiko dira.

Azken postulatu hau, paraleloen postulatua alegia, honela birformulatu zuten:

 5. Zuzenetik kanpo dagoen puntu batetik, paralelo bakar bat marraz daiteke zuzenarekiko.

Postulatu honek ez dirudi beste lauak bezain bistakoa, geometrialari asko saiatu dira aurreko postulatuetatik ondorioztatzen. Absurdura eramaten saiatu zirenean, postulatua ukatuz, bi geometria berri agertu ziren: eliptikoa, edo Riemannen geometria (zuzen bat eta horretatik kanpo dagoen puntu bat emanda, ez da puntu horretatik pasatzen den eta zuzenarekiko paraleloa den zuzenik existitzen) eta hiperbolikoa, edo Lobachevskirena (zuzen bat emanik, honekiko paraleloak eta kanpo-puntu batetik pasatzen diren zuzen bat baino gehiago existitzen dira). Geometria hauek oinarri sendoak dituzte, hortaz bosgarren postulatua beste lauen eratorria ez dela ondoriozta daiteke. Bosgarren postulatua betetzen ez duten geometria hauei geometria ez-euklidear deritze.

Murriztapenak 
Euklidesen lanaren murriztapen bat bosgarren axioma betetzen ez duten sistema geometrikoak ez antzematea izan zen. Hau da, XVIII. mendera arteko geometrek ez zuten geometria ez-euklidearrik aurreikusten, Lobachvski, Gauss eta Riemannen lana argitaratu zen arte.

Nahiz eta XIX. mendean geometria ez-euklidearrak matematikoki interesgarriak eta praktikoki probetxugarriak kontsideratuak izan (esaterako trigonometria esferikoa, astronomian erabilia), espazioaren geometria, euklidearra zela onartua zegoen, eta ondorioz geometria ez-euklidearrak gauza abstraktuak besterik ez ziren, arazo jakin batzuentzako soilik erabilgarriak. Albert Einsteinek ordea, fisika modernoaren betebehar batzuk geometria ez-euklidearrek asetzen dituztela erakutsi zuen. Adibidez, denbora eta espazio kurbatua deskribatzeko erabiltzen dira.

Euklidesen akatsetako bat, gutxienez bi postulatu gehiago ez planteatzea izan zen:

 Bi zirkunferentzia, zeintzuen zentroak hauen erradioen batura baino distantzia txikoagora dauden, bi puntutan ebakitzen dira (Euklidesek erabilia bere lehenengo eraketan).
 Bi triangelu emanik, bakoitzak bi alde berdin izanda eta alde hauen arteko angelua ere berdina izanda, orduan bi triangeluak kongruenteak dira (Euklidesek laugarren teoremarako erabiltzen duen mugimendu-kontzeptuaren baieztapen baliokidea).

Ondorio garrantzitsu batzuk

Triangeluen arteko kongruentzia 
Triangeluak kongruente dira baldin eta hiru aldeak berdinak badira, bi alde berdin eta haien arteko angelua berdina bada, edo bi angelu eta alde bat berdinak badira. Hiru angeluak berdinak dituzten triangeluek ez dute zertan kongruenteak izan behar. Bi alde berdin eta alboko angelua berdina duten angeluek ere ez dute derrigorrez kongruenteak izan behar.

Triangeluen angelu batuketa 
Triangelu baten hiru angeluen batuketa, beti da angelu lau baten berdina (180º). Honek, triangelu aldekide baten hiru angeluak 60 gradukoak izatea ondorioztatzen du. Horrez gain, triangelu guztiek bi angelu zorrotz gutxienez eta kamuts bat gehienez izatea ondoriozta daiteke.

Pitagorasen teorema 
Pitagorasen teoremak dio: triangelu angeluzuzen batean bi katetoek osatzen duten karratuen azaleraren batura, hipotenusak osatzen duen karratuaren azaleraren berdina izango da.

Talesen teorema 
Tales Miletokoak adierazitako teoremak dio: A, B eta C puntuak AC diametroko eta O zentroko zirkunferentzian badaude, eta haien artean ezberdinak badira, puntu hauek osatuko duten triangelua angeluzuzena izango da.

Erreferentziak

Ikus, gainera 
 Geometria ez-euklidear
 Matematika
 Geometria
 Axioma
 Euklidesen Elementuak

Kanpo estekak 

Euklidear geometria
Geometria klasikoa