Euklidinen geometria on matematiikan järjestelmä, joka kuvaa taso- ja avaruusrakenteita käyttäen pisteitä, suoria ja muotoja. Eukleideen on perinteisesti katsottu olleen ensimmäinen tämän järjestelmän systemaattinen kuvaaja, ja siksi geometria kantaa hänen nimeään. Hän esitteli sen ensimmäisen kerran oppikirjassaan Elements, joka oli varhaisin laaja ja jäsennelty esitys geometriasta ja sen loogisista perusteluista. Kirjassa Eukleides aloittaa muutamilla perusaksioomilla ja postulaateilla: nämä toimivat lähtökohtana, joista voidaan johtaa ja todistaa muita teoreemoja.
Aksioomat ja postulaatit
Euklidisen geometrian alkuperäisessä muotoilussa on viisi niin sanottua postulaattia. Niitä on tulkittu eri tavoin vuosisatojen aikana, mutta perusmuoto on seuraava:
- Voidaan piirtää suora yhdistäen minkä tahansa kahden pisteen.
- Jatketaan suoran rantaa mielivaltaiseen suuntaan.
- Voidaan piirtää ympyrä, kun keskipiste ja säde ovat annettuja.
- Kaikki suorakulmat ovat yhtäsuuret.
- Rinnakkaispostulaatti: jos suora leikkaa kahta suoraa siten, että kulmien summa on alle kahden suorakulman, niin nämä kaksi suoraa leikkaavat tietyssä suunnassa (muiden muotoilujen mukaan: Playfain axiom — yhden ja vain yhden suoran kautta pisteen, joka ei kuulu annetulle suoralle, kulkee suora, joka on sille rinnakkainen).
Nämä postulaatit näyttävät intuitiivisilta, mutta erityisesti viides postulaatti on ollut pitkään kiistanalainen: monet matemaatikot yrittivät todistaa sen muista postulaateista, kunnes 1800-luvulla havaittiin, että siitä voi saada mielekkäitä vaihtoehtoisia geometrioita jättämällä tai korvaamalla sen muulla aksioomalla.
Keskeiset seuraukset
Euklidisesta aksioomajoukosta seuraa suuri määrä tunnettuja tuloksia, joiden intuitiivisuus vastaa arkikokemusta tasolla ja avaruudessa. Esimerkkejä:
- Kolmion kulmien summa on 180°.
- Samankaltaisten kolmioiden ja muiden muotojen käsite ja mittasuhteiden säilyminen.
- Pythagoraan lause ja muut geometriset suhteet suorakulmaisissa kolmioissa.
- Etäisyyden ja kulman käsitteet, jotka johtavat analyyttiseen geometriaan ja koordinaattimuotoiluihin.
Ei-euklidiset geometriat
1800-luvulla löydettiin muita geometrian muotoja, joita kutsutaan yhteisnimellä ei-euklidista geometriaa. Tutkimuksen edetessä huomattiin, että viidettä postulaattia voi korvata muulla aksioomalla ilman ristiriitaa — tuloksena syntyivät eri geometriset järjestelmät, joissa rinnakkaispostulaattia ei ole tai se on korvattu. Tämän alueen keskeisiä kehittäjiä olivat muun muassa Carl Friedrich Gauss, János Bolyai ja Nikolai Ivanovitš Lobatševski.
Merkittävimmät ei-euklidiset tyypit ovat:
- Hyperbolinen geometria — rinnakkaisia lävistäviä suorien ominaisuuksia ei ole; pisteen kautta, joka ei kuulu suoralle, kulkee vähintään kaksi suoraa, jotka eivät leikkaa alkuperäistä suoraa. Tässä geometrassa kolmioden kulmien summa on alle 180°.
- Elliptinen tai sferinen geometria — esimerkiksi pallopinta, jossa "suorat" ovat suuria ympyröitä; suorat leikkaavat aina kahdessa pisteessä ja kolmion kulmien summa on yli 180° (ei ole rinnakkaisia suoria lainkaan).
Nämä vaihtoehtoiset geometriat eivät olleet vain teoreettinen kuriositeetti: ne osoittivat, että euklidinen geometria ei ole ainoa loogisesti mahdollinen geometrinen malli, ja samalla avasivat tien myöhemmälle differentiaali- ja Riemannin geometrialle, joita käytetään mm. yleisessä suhteellisuusteoriassa kuvaamaan avaruuden ja ajan kaareutumista.
Myöhäisempi aksiomatisointi ja merkitys
1800–1900-luvuilla Eukleideen alkuperäistä aksiomajoukkoa kehitettiin järjestelmällisemmäksi ja muodollisemmaksi. David Hilbert esitti 1900-luvun alussa oman aksiomisaation, joka pyrki poistamaan epäselvyydet ja implisiittiset oletukset alkuperäisestä tekstistä. Modernit aksiomajärjestelmät tekevät selväksi, mitä käsitteillä kuten "piste", "suora" ja "läheisyys" tarkoitetaan, ja antavat yleispätevän perustan geometrian loogiselle tutkimukselle.
Euklidinen geometria on edelleen keskeinen osa matematiikkaa, sen opetusta ja sovelluksia: rakentaminen, insinöörityö, arkkitehtuuri, tietokonegrafiikka ja monet sovellukset käyttävät euklidista mallia tapana mitata etäisyyksiä ja kulmia. Samalla ei-euklidiset geometriset mallit ovat välttämättömiä modernissa fysiikassa ja geometrisessa analyysissä.
Yhteenveto
Euklidinen geometria muodostaa yhden matematiikan peruspilareista: selkeä aksiomajärjestelmä johtaa moniin luonnollisiin ja hyödyllisiin tuloksiin. 1800-luvun löytöjen myötä ymmärrettiin, että vaihtoehtoisilla aksioomilla voidaan kehittää johdonmukaisia, ei-euklidisia geometrioita, mikä syvensi käsitystämme matemaattisesta rakenteesta ja todellisuuden kuvaamisesta.