Geometria euklidear

• 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.

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.

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

Euklidesek bost postulatu planteatu zituen bere sisteman:

1. Bi puntu emanik, hauek elkartzen dituen zuzen bat marraz daiteke.
2. Edozein segmentu era jarraituan luza daiteke edozein noranzkoan.
3. Zirkunferentzia bat marraz daiteke zentroa edozein puntutan kokatuz eta bere erradioa edozein izanik.
4. Angelu zuzen guztiak kongruenteak dira.
5. 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.

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).

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.

• Geometria ez-euklidear
• Matematika
• Geometria
• Axioma
• Euklidesen Elementuak