Geometria euklidesowa

Geometria euklidesowa – najstarsza i najczęściej nauczana forma geometrii, oparta na aksjomatach sformułowanych przez starożytnego greckiego matematyka Euklidesa w jego dziele Elementy. Jest to geometria płaska, czyli opisująca własności i relacje płaszczyzny, prostych, odcinków, kątów oraz figur dwuwymiarowych, takich jak trójkąt, czworokąt i koło. Współcześnie jest ona podstawą matematyki szkolnej, a jej zasady stanowią punkt wyjścia dla bardziej zaawansowanych teorii, np. geometrii różniczkowej czy geometrii nieliniowej.

Historia

Systematyzację zasad geometrii podjął Euklides około 300 p.n.e. Jego Elementy składają się z pięciu ksiąg, w których przedstawiono 23 aksjomaty oraz wiele twierdzeń, w tym słynne twierdzenie Pitagorasa. Dzieło to przeniknęło do średniowiecza i renesansu, kształtując europejską edukację matematyczną aż do XIX wieku, kiedy to pojawiły się alternatywne systemy, m.in. geometria nieeuklidesowa.

Aksjomaty Euklidesa

Podstawą geometrii euklidesowej jest zestaw pięciu postulatów (aksjomatów), które w skrócie przedstawiają:

Przez dwa dowolne punkty przechodzi dokładnie jedna prosta. (prosta)
Każda prosta może być przedłużona w nieskończoność w obu kierunkach.
Można skonstruować okrąg o dowolnym środku i promieniu. (koło)
Wszystkie kąty proste są sobie równe.
Jeśli prosta przecina dwie inne proste tak, że suma odpowiednich kątów jest mniejsza niż dwa kąty proste, to te dwie proste, przedłużone w odpowiednich kierunkach, spotkają się po jednej stronie.

Piąty postulat, zwany postulatem równoległości, odróżnia geometrię euklidesową od jej nieeuklidesowych odpowiedników.

Podstawowe pojęcia i obiekty

W ramach geometrii euklidesowej wyróżnia się szereg kluczowych pojęć:

Punkt – element zerowym, nie posiadający wymiaru.
Odcinek – część prostej ograniczona dwoma punktami.
Kąt – figura utworzona przez dwie półproste wychodzące z tego samego punktu.
Trójkąt – figura ograniczona trzema odcinkami.
Czworokąt i inne wielokąty – figury ograniczone czterema lub większą liczbą odcinków.
Koło oraz okrąg – zbiór punktów w równej odległości od środka.
Przestrzeń euklidesowa – trójwymiarowa analogia płaszczyzny, zdefiniowana przez trzy ortogonalne osie.

Główne twierdzenia

Na bazie aksjomatów udowodniono wiele fundamentalnych wyników:

Twierdzenie Pitagorasa – w trójkącie prostokątnym kwadrat długości przeciwprostokątnej równa się sumie kwadratów przyprostokątnych.
Twierdzenia o równoległych prostych, np. twierdzenie Aleksandryczne (kąt naprzemianległy, odpowiadające kąty).
Twierdzenia o kątach wpisanych i środkowych w okręgu (twierdzenie o kącie wpisanym).
Twierdzenia o podobieństwie i podobnych trójkątach (twierdzenie o podobieństwie).
Wzory na pola i obwody figur płaskich, np. pole trójkąta, pole czworokąta.

Zastosowania

Geometria euklidesowa znajduje zastosowanie w licznych dziedzinach:

Planimetria – pomiary i obliczenia w dwuwymiarowej przestrzeni, wykorzystywane w architekturze i inżynierii.
Trygonometria – badanie zależności pomiędzy kątami a długościami boków w trójkątach.
Geodezja i kartografia – wyznaczanie położeń i odległości na powierzchni Ziemi (przy przybliżeniu jej jako płaszczyzny).
Grafika komputerowa – renderowanie scen 2‑D oraz podstawy projekcji w 3‑D.

Powiązane pojęcia

Geometria euklidesowa jest częścią szerszej geometrii i ściśle wiąże się z takimi dziedzinami jak:

Algebra – w szczególności algebra liniowa, pozwalająca opisywać przekształcenia euklidesowe.
Topologia – badająca własności przestrzeni niezmiennicze względem ciągłych deformacji.
Geometria nieeuklidesowa – alternatywne systemy, w których odrzuca się piąty postulat Euklidesa.

Bibliografia

Euklides, Elementy, tłum. dostępny w Bibliotece cyfrowej.
J. Stillwell, Geometria w przeglądzie, Wydawnictwo Naukowe, 2018.
D. Hilbert, Fundamenty geometrii, PWN, 2015.
M. Kline, Historia geometrii, Wydawnictwo Literackie, 2020.

Geometria euklidesowa pozostaje podstawą edukacji matematycznej i kluczowym narzędziem w wielu praktycznych zastosowaniach, mimo że współczesna matematyka zdecydowanie wykracza poza jej klasyczne ramy.