Hilbertov axiomatický systém

Axiómy v duchu Hilberta

Úvod ku kapitole
V tejto kapitole budeme skúmať základné skupiny axióm, ktoré sú súčasťou Hilbertovho axiomatického systému geometrie – konkrétne zhodnosť, usporiadanie, rovnobežnosť a spojitosť. Tieto axiómy zabezpečujú logickú konzistenciu geometrie, presne definujú vzťahy medzi primitívnymi objektmi (bodmi, priamkami) a umožňujú rozvoj geometrických dôkazov v duchu formálnej deduktívnej vedy. Kategórie axióm sú číslované od hodnoty 2., lebo poradovým číslom 1. bola označená kategória incidencie.
Kapitolu dopĺňajú didaktické komentáre, súvislosti s Euklidovým prístupom a interaktívne prvky (GeoGebra), ktoré podporujú pochopenie abstraktných princípov vo výučbe matematiky.
2. Zhodnosť (kongruencia)
Fráza "zhodné objekty" sa používa na opis útvarov, ktoré za určitých okolností sa navzájom dajú premiestniť tak, aby "sa prekrývali". Presnú charakteristiku dvoch zhodných geometrických útvarov v matematike definujeme pomocou axióm zhodnosti.
Axiómy zhodnosti:
  • Z1 – Prenášanie úsečky: Zaručuje existenciu a jednoznačnosť prenesenej úsečky z jedného bodu na druhý.
  • Z2 – Symetria zhodnosti: Ak je úsečka \small AB zhodná s úsečkou \small CD, potom \small CD je zhodná s \small AB.
  • Z3 – Tranzitívnosť zhodnosti: Ak \small AB ≅ \small CD a \small CD ≅ \small EF, potom \small AB ≅ \small EF.
  • Z4 - Prenášanie uhla: Zaručuje, že uhol možno preniesť tak, aby vznikol zhodný uhol na inom mieste.
  • Z5 – Symetria a tranzitívnosť uhlov: Analogicky ako pri úsečkách.
  • Z6 – Zhodnosť trojuholníkov (kritérium sus – SUS): Ak dve trojice strán a uhol nimi zovretý sú zhodné, tak trojuholníky sú zhodné.
Didaktický komentár:
V školskom kontexte zhodnosť zavádzame intuitívne pomocou prekrytia alebo strihania papierových modelov. Hilbert však zabezpečuje formálnu presnosť – prenášanie sa nestane „od oka“, ale je garantované axiómami. Napríklad axióma Z4 predstavuje euklidovskú konštrukciu prenášania uhla do danej polroviny.  Interaktívny applet o prenášaní uhla pomocou kružidla, ktorý je vhodný aj pre žiakov základných škôl, predstavuje nasledujúci applet.

🔗 Aktivujte si dynamický applet Tu.
3. Usporiadanie
Axiómy usporiadania:
  • U1 – Vzťah medzi: Ak bod \small B leží medzi \small A,C, potom \small A,B,C sú rôzne a kolineárne.
  • U2 – Existencia bodov medzi danými bodmi: Pre ľubovoľné \small A,B existuje bod \small C taký, že \small B leží medzi \small A,C.
  • U3 – Jednoznačnosť poradia: Z troch rôznych kolineárnych bodov práve jeden leží medzi zvyšnými dvoma.
  • U4 – Paschova axióma: Ak priamka pretína jednu stranu trojuholníka, musí pretínať aj druhú.
Axiómy usporiadania sú nevyhnutné pri korektnosti definovania pojmov: úsečka a polriamka. Napríklad úsečku môžeme pomocou symboliky teórie množím a vzťahu "medzi" definovať takto:
Definícia úsečky
Nech \small A , B sú dva rôzne body. Úsečka \small {AB} je množina bodov \small X , ktoré ležia medzi bodmi \small A,B zjednotená s dvojprvkovou množinou \small \lbrace{A, B}\rbrace . Body \small A , B sú krajné body úsečky.
\small {AB} := \lbrace{X; \mu(AXB)}\rbrace \vee X \in \lbrace{A,B}\rbrace
Didaktický komentár:
Paschova axióma je často prehliadaná, no má kľúčový význam pre dôkazy pomocou geometrických diagramov. Je to prvá axióma, ktorá spája lokálnu incidenciu s globálnou logikou priestoru.
Axiómy usporiadania sú aj východiskom pre matematicky korektné definície polroviny a trojuholníka. Avšak pred vyslovením týchto definícií je nutné dokázať, že priamka rozdeľuje rovinu na dve podmnožiny.
Tvrdenie (separačná vlastnosť v rovine, U4S).
Priamka p delí rovinu okrem bodov priamky p na dve triedy tak, že body ležia v tej istej triede práve vtedy, keď
ležia na tej istej strane od priamky p . (t.j. neexistuje bod \small X \in p taký, že \small \mu (AXB) , kde \small A a \small B sú dané body).
Tvrdenie je prevzaté z práce (KOB, 2024). Podrobný dôkaz si nájdete v práci (CHAL, 2023).
Teraz môžeme vysloviť spomínané definície.
  1. Nech \small A , B, C sú dané nekolineárne body. Pod polrovinou \small \overrightarrow{ABC} rozumieme množınu bodov \small X , pre ktoré platí, že prienik úsečky \small XC s priamkou \small \overleftrightarrow{AB} je prázdna množina, alebo jednoprvková množina, ktorej prvkom je práve bod X .
    \small \overrightarrow{ABC} := \lbrace{ X \in E_2;XC \cap \overleftrightarrow{AB}= ∅ \vee XC \cap \overleftrightarrow{AB}= \lbrace{X\rbrace} \rbrace}
  2. Nech \small A , B, C sú dané nekolineárne body. Pod trojuholníkom \small ABC rozumieme prienik polrovín \small \overrightarrow{ABC}, \overrightarrow{BCA}, \overrightarrow{CAB} .
    \small \triangle ABC := \overrightarrow{ABC} \cap \overrightarrow{BCA} \cap \overrightarrow{CAB}

🔗 Otvorte si interaktívny applet Tu.

Pozrite si tiež definície v práci (MON, 2018) v kapitola 2: "Konvexná množina".
4. Rovnobežnosť
Euklides: Rovnobežky sú priamky, ktoré ležia v rovnakej rovine a predĺžené na obe strany do nekonečna sa nikde nepretínajú. (Servít) 
Hilbert: Dve priamky sú rovnobežné (rovnobežky), ak nemajú spoločný bod.
Playfairova axióma (Hilbertova verzia Euklidovho 5. postulátu):
„Pre každý bod mimo priamky existuje práve jedna priamka, ktorá je s ňou rovnobežná.
Tvrdenie (Základy, Kniha I. Tvrdenie 27).
Keď priamka pretínajúca dve priamky vytvára striedavé uhly navzájom rovnaké, budú tie priamky navzájom rovnobežné.
Dôkaz.
Vyplýva z tvrdenia o vonkajšom uhle.
Dôsledok - existencia rovnobežky.
Nech bod \small B neleží na priamke p . Potom existuje priamka q taká, že \small B \in q \; \wedge \; p \parallel q .
Dôkaz.
Nech \small A je ľubovoľný bod priamky p . Zostrojme priečku \small t=AB priamok p,q . 
Vzniknú striedavé uhly pri priamkach p,q s priečkou t . Ľahko dokážeme, že tieto uhly sú zhodné.
Rovnobežnosť priamok p, q je dôsledkom vety o vonkajšom uhle trojuholníka.

Aktivujte si applet interpretujúci dôkaz Tu.
Didaktický komentár:
  1. Rovnobežnosť sa v školskom prostredí obvykle zavádza cez intuitívne chápanie „nikdy sa nepretínajú“. V Hilbertovom duchu ide o vlastnosť vylúčenia prieniku. Skúmanie cez transverzály umožňuje prepojiť túto axiómu s dôkazmi zhodnosti uhlov.
  2. Predchádzajúce tvrdenie spolu s dôsledkom sú východiskom pri dokazovaní tvrdenia, že súčet vnútorných uhlov v trojuholníku vytvára priamy uhol. Toto tvrdenie Euklides v Základoch uvádza v Knihe I. pod číslom 32. Ukazuje sa veľmi vhodné zadať študentom vypracovať projekt o súčte uhlov v trojuholníku. V projekte by mali vyhľadať v Základoch príslušné tvrdenia, urobiť dôkaz a nakoniec vytvoriť vlastný applet na prezentovanie ich dôkazu.
Euklidove konštrukcie si vyžadujú aj "spojitosť" konštrukcií. Napríklad, ak s nadanými študentami analyzujeme Euklidovo prvé tvrdenie "Zostroj rovnostranný trojuholník s danou stranou“, tak pravdepodobne prídeme k záveru, že v afinných priestoroch nad poľom racionálnych čísel sa kružnice nemusia pretínať. Bez axiómy spojitosti by konštrukcia zlyhala.
5. Spojitosť
Axiómy spojitosti:
  • S1 – Archimedova axióma: Zaručuje, že pre každú úsečku existuje konečný počet opakovaní kratšej úsečky, ktorý ju presiahne.
  • S2 – Axióma spojitej množiny bodov (Cantor-Dedekind): Ak je množina bodov medzi A a B zaplnená bez „medzier“, môžeme ich jednoznačne priradiť reálnym číslam.
Didaktický komentár:
Spojitosť je ťažko uchopiteľná žiakmi. Skvelou pomôckou je vizualizácia „nepretínajúcich sa kružníc“ pri nedostatočnej spojitosti. Názorná demonštrácia v GeoGebre podnecuje diskusiu o tom, čo znamená „spojitá číselná os“.
Záver kapitoly
Hilbertov axiomatický systém nie je len súborom definícií – je to nástroj na formálnu výstavbu geometrie, ktorý nachádza uplatnenie v súčasnej matematickej didaktike. Zhodnosť, usporiadanie, rovnobežnosť a spojitosť tvoria kostru celej geometrickej teórie. Ich presné pochopenie rozvíja u žiakov logické myslenie, schopnosť abstrakcie a matematickú argumentáciu.
Pre učiteľa je výzvou preklopiť tieto formálne štruktúry do prístupnej a vizuálne podporenej formy. V kombinácii s interaktívnym nástrojom GeoGebra a LMS systémom Moodle sa však táto výzva mení na príležitosť – učiť geometriu v duchu Hilberta, no zároveň v jazyku súčasnosti.
\( .\)