Euclidische meetkunde is een systeem in de wiskunde dat de eigenschappen van punten, lijnen, hoeken en vlakken beschrijft in een vlak of in de gewone driedimensionale ruimte. Men denkt dat Euclides de eerste was die het systematisch vastlegde; daarom draagt het zijn naam. Hij beschreef het voor het eerst in zijn leerboek Elementen. Dat boek was de eerste systematische en axioma­tische bespreking van de meetkunde zoals die in zijn tijd bekend was. Euclides begint met enkele aannames — zowel algemene logisch-ogende "gewoonte­regels" als specifieke postulaat­stellingen — die als uitgangspunt dienen. Uitgaande van die axioma's kunnen andere stellingen worden bewezen.

Definitie en kernidee

In de Euclidische meetkunde worden lijnen als oneindig doorlopende rechte figuren gezien, hoeken als de ruimte tussen twee snijdende lijnen, en vormen zoals driehoeken en cirkels worden bestudeerd met behulp van duidelijke regels voor meten en construeren. Het belangrijkste idee is dat je met een klein aantal aannames (axioma's/postulaten) allerlei eigenschappen kunt afleiden door formele redenering.

Euclides en de Elementen

Het werk Elementen van Euclides (ca. 300 v.Chr.) bestaat uit 13 boeken en behandelt niet alleen meetkunde maar ook getaltheorie. Euclides formuleerde daar zowel algemene logische uitspraken (common notions) als vijf fundamentele postulaatstellingen. Door deze axioma­tische aanpak werd zijn boek eeuwenlang het model voor wiskundige opbouw en bewijsvoering.

Euclidische axioma's (postulaten)

De klassieke formulering van Euclides bevat onder meer de volgende vijf postulaatstellingen (in eenvoudige bewoording):

  • 1. Tussen twee punten kan een rechte lijn getrokken worden.
  • 2. Een eindig lijnstuk kan onveranderd verlengd worden tot een rechte lijn.
  • 3. Voor elk middelpunt en elke afstand kan een cirkel getekend worden.
  • 4. Alle rechte hoeken zijn aan elkaar gelijk.
  • 5. (Parallellenpostulaat) Als een rechte een paar rechte lijnen zodanig snijdt dat de binnenhoeken aan dezelfde kant samen minder dan twee rechte hoeken zijn, dan snijden die twee lijnen elkaar aan die kant als ze oneindig verlengd worden.

Naast deze postulaatstellingen gebruikte Euclides ook enkele "algemene axioma's" zoals "Dingen die gelijk zijn aan hetzelfde zijn ook aan elkaar gelijk". Deze vorm van systematisch redeneren is kenmerkend voor de Euclidische aanpak.

Het parallellenpostulaat en niet-Euclidische meetkunde

Het vijfde postulaat (het parallellenpostulaat) is minder intuïtief en werd door veel wiskundigen van oudsher behandeld als iets dat mogelijk uit de andere postulaten kon worden afgeleid. Pogingen om het af te leiden faalden en leidden uiteindelijk tot de ontdekking van alternatieve, consistente meetkundes die dit postulaat vervangen.

In de 19e eeuw ontstonden de zogenaamde niet-Euclidische meetkunde vormen. Belangrijke figuren in die ontwikkeling waren Carl Friedrich Gauss, János Bolyai en Nikolai Ivanovich Lobachevsky. Zij toonden aan dat je consistente meetkundes kunt opbouwen waarin het parallellenpostulaat niet geldt:

  • Hyperbolische meetkunde: door een punt buiten een gegeven lijn gaan meer dan één evenwijdige lijnen of geen — afhankelijk van de definitie — en de som van de hoeken in een driehoek is kleiner dan 180°.
  • Elliptische (of elliptische/Riemannse) meetkunde: er bestaan geen evenwijdige lijnen en de som van de hoeken in een driehoek is groter dan 180°.

Deze ontdekkingen toonden dat Euclidische meetkunde niet de enige mogelijke logische meetkunde is en leidden tot een herwaardering van wat axioma’s en bewijsvoering betekenen.

Gevolgen en voorbeelden

  • In Euclidische vlakke meetkunde is de som van de hoeken van een driehoek altijd 180°.
  • In een vlak is de afstand tussen twee punten de lengte van het lijnstuk dat ze verbindt; veel klassieke stellingen gaan over verhoudingen en gelijkheid (congruentie) van figuren.
  • Constructies met passer en liniaal (zoals het middelpunt van een cirkel tekenen, loodrechte lijnen construeren, regelmatige veelhoeken construeren onder bepaalde omstandigheden) behoren tot de praktische kant van Euclidische meetkunde.

Historische ontwikkeling en modernisering

Na Euclides bleven wiskundigen eeuwenlang zijn systeem gebruiken en aanvullen. In de 19e eeuw leidde de discussie over het parallellenpostulaat tot de ontwikkeling van niet-Euclidische meetkunde en later tot het formaliseren van het begrip "axioma" zelf. Aan het eind van de 19e en begin 20e eeuw gaf David Hilbert een modernere en striktere axioma­tische herformulering van de Euclidische meetkunde (Hilberts axioma's), waarin onduidelijkheden van Euclides werden aangepakt en het fundament van de meetkunde werd verstevigd.

Tegenwoordig wordt de Euclidische meetkunde gezien als een speciale, maar uiterst nuttige, geval van de meer algemene Riemannse meetkunde, die in de natuurkunde (bijv. de algemene relativiteitstheorie) en moderne wiskunde veel wordt gebruikt.

Toepassingen en betekenis

Euclidische principes liggen ten grondslag aan veel praktische toepassingen: bouwkunde en architectuur, landmeten, technische tekeningen, computergraphics en robotica. Daarnaast heeft het axioma­tische model van Euclides grote invloed gehad op de ontwikkeling van wiskundige methoden en het begrip van wiskundige zekerheid.

Samengevat: de Euclidische meetkunde is het klassieke, op axioma's gebaseerde systeem voor het bestuderen van ruimte, lijnen en hoeken. Het vormt nog steeds de basis van veel praktische toepassingen en is historisch en conceptueel van groot belang — ook omdat de alternatieven (de niet-Euclidische meetkundes) de wiskunde en natuurkunde fundamenteel hebben verrijkt.