Axiomatický systém, Euklidove Základy, Neeuklidovská geometria
Portál: | Virtuálna Univerzita Mateja Bela |
Kurz: | Planimetria a stereometria N |
Kniha: | Axiomatický systém, Euklidove Základy, Neeuklidovská geometria |
Vytlačil(a): | Hosťovský používateľ |
Dátum: | pondelok, 20 mája 2024, 04:51 |
Historické poznámky
Slovo geometria pochádza z gréckeho výrazu hé gé meteón, čo znamená vymeriavanie pozemkov pomocou lán. Pozri prácu [SED]. Matematika ako veda vznikla v Grécku približne v období 6. - 5. st. pred n. l.
Základy geometrie nachádzame už v Babylone, Egypte, Indii a Číne. Veľký rozmach zaznamenala grécka matematika. K zásadnému pokroku v rozvoji
geometrie prispeli významní grécki matematici Thales, Pytagoras a Euklides.
Euklidove Základy môžeme považovať za základy planimetrie, stereometrie a geometrickej algebry. Uvedieme ukážku riešenia úlohy o výpočte obsahu rovnoramenného trojuholníka z obdobia mezopotámskej ríše. Pripomíname, že matematika tohto obdobia používala šesťdesiatkovú číselnú sústavu.
Úloha. (Babylon)
Je daný trojuholník so stranami: (1,40) dĺžka každej z dvoch strán, (2,20) šírka. Aká je plocha?
Je daný trojuholník so stranami: (1,40) dĺžka každej z dvoch strán, (2,20) šírka. Aká je plocha?
Obsah trojuholníka v Babylone podľa starobabylonskej tabuľky
YBC 8633, na ktorej je klinovým písmom vyrytý postup riešenia úlohy na výpočet obsahu rovnoramenného trojuholníka.
Poznámky
Na výpočet obsahov trojuholníkov používali mezopotámski matematici nasledovné vzorce:
Na výpočet obsahov trojuholníkov používali mezopotámski matematici nasledovné vzorce:
K rozvoju geometrie prispeli aj egytskí účenci, ktorí boli nútení po každoročných záplavách Nílu nanovo rozmeriavať pozemkové parcely. Zároveň museli ovládať aj postupy pri rozdeľovaní úrody. Z toho vznikla potreba vedieť vypočítať obsahy rôznych geometrických útvarov ako aj postupy riešenia jednoduchých rovníc. Pozrite si ukážky:
Egypt - obdobie elementárnych matematických pojmov.
Rhindov a Moskovský papyrus.
Výpočet obsahov obdĺžnikov, kruhov, trojuholníkov a objemy kvádrov, zrezaných kužeľov a pyramíd. Riešenie rovníc - pozrite si riešenie úlohy R40 z Rhindovho papyrusu.
Egypt - obdobie elementárnych matematických pojmov.
Rhindov a Moskovský papyrus.
Výpočet obsahov obdĺžnikov, kruhov, trojuholníkov a objemy kvádrov, zrezaných kužeľov a pyramíd. Riešenie rovníc - pozrite si riešenie úlohy R40 z Rhindovho papyrusu.
Úloha
Je treba rozdeliť 100 chlebov medzi 5 mužov tak, aby bola jedna sedmina z troch horných pre dvoch mužov dole.
Je treba rozdeliť 100 chlebov medzi 5 mužov tak, aby bola jedna sedmina z troch horných pre dvoch mužov dole.
Poznámky k pôvodnému riešeniu, ktorý je uvedený na papyruse. Pozrite tiež prácu [BEC, 2003]
Podmienku, že jedna sedmina z troch horných pre dvoch mužov dole, môžeme vyjadriť vzťahom:
Z predchádzajúceho vzťahu vypočítame
Ide teda o postupnosť
,
ktorej súčet je . Číslo musíme vynásobiť číslom
,
aby sme získali požadovaný súčet . Týmto číslom musíme preto vynásobiť aj členy vyššie uvedenej postupnosti. Hľadaná aritmetická postupnosť je teda:
,
ktorej diferencia je . Tento výsledok však na papyruse nie je uvedený.
- Celkový počet chlebov je 100 a je potrebné tieto chleby nejakým spôsobom rozdeliť medzi 5 mužov. V úlohe sa spomínajú traja horní muži a dvaja dolní. Toto naznačuje určité usporiadanie, ale nie je celkom isté, že ide o aritmetickú postupnosť. To vyplýva až z prezentovaného riešenia.
- Ďalej je tu podmienka, ktorú je možné interpretovať tak, že súčet počtu chlebov troch horných mužov v usporiadaní sa rovná súčtu chlebov dvoch mužov dole v usporiadaní.
Podmienku, že jedna sedmina z troch horných pre dvoch mužov dole, môžeme vyjadriť vzťahom:
Z predchádzajúceho vzťahu vypočítame
Ide teda o postupnosť
,
ktorej súčet je . Číslo musíme vynásobiť číslom
,
aby sme získali požadovaný súčet . Týmto číslom musíme preto vynásobiť aj členy vyššie uvedenej postupnosti. Hľadaná aritmetická postupnosť je teda:
,
ktorej diferencia je . Tento výsledok však na papyruse nie je uvedený.
V súčasnosti by sa tento príklad mohol počítať takto:
Chybný predpoklad by sme nahradili neznámou a dostali by sme dve rovnice o dvoch neznámych:
.
po ekvivalentných úpravách by sme dospeli k tomu istému výsledku.
Chybný predpoklad by sme nahradili neznámou a dostali by sme dve rovnice o dvoch neznámych:
.
po ekvivalentných úpravách by sme dospeli k tomu istému výsledku.
Matematika ako veda vznikla v Grécku približne v období 6. - 5. st. pred n. l. Gréci ako prví prestali riešiť iba otázku ako, ale hľadali aj
odpovede na otázku prečo. Významní predstavitelia gréckej matematiky: Tháles, Pytagoras, Euklides
Elementy (zdroj:http://en.wikipedia.org); Kniha II, Návrh 5 - pozrite Tu.
Otvorte si applet Tu. (Aktivujte si navigačný panel.)
V starom Grécku
- Bol vytvorený systém základných vzťahov (axióm) a požiadaviek (postulátov) - Euklidove Základy. Takýto kompletne spracovaný systém bol publikovaný v Euklidových Základoch. Pozrite si práce [EUC] a [SER]. Toto dielo sa považuje za základy planimetrie, stereometrie a geometrickej algebry. Existuje český preklad od Servíta Tu, Heathov preklad je v online verzi od D.E.Joyce Tu. V roku 2022 vyšiel v nakladateľstve Perfekt slovenský preklad s komentármi od profesora J. Čižmára.
- Grécki matematici začali matematické tvrdenia dokazovať , pričom používali deduktívnu metódu. Pokúšali sa vyriešiť aj tri preslávené problémy
- trisekcia uhla (rozdelenie uhla na tri rovnaké uhly)
- zdvojenie kocky (nájdenie kocky, ktorej objem sa rovná dvojnásobku kocky pôvodnej)
- kvadratúru kruhu (nájdenie štvorca, ktorý má rovnaký obsah ako daný kruh),
Euklidove Základy
“Pane, niet kráľovskej cesty ku geometrii.”
Euklidova odpoveď na žiadosť Ptolemaia I. vysvetliť mu svoje Základy rýchlo a ľahko.
Euklidova odpoveď na žiadosť Ptolemaia I. vysvetliť mu svoje Základy rýchlo a ľahko.
Základnými kameňmi pri axiomatickom budovaní geometrie sú
- Základné pojmy (Definície) Euklides popisuje intuitívne pomocou zaužívaných pojmov ako „dĺžka, šírka, ..." . Napr.:
- Bod je to, čo nemá dĺžku.
- Čiara je dĺžka bez šírky.
- Hranicami čiary sú body.
- Priamka (Euklides vo svojich Základoch pod pojmom priamka chápe úsečku ) je čiara, ktorá je v každom svojom bode rovná.
- Trojuholník ... (vyhľadajte definíciu v Euklidových Základoch).
- V skutočnosti sa predpokladá, že čitateľ vie, čo si má pod týmito pojmami predstaviť. Celkove Euklides uvádza 23 definícií.
- Axiómy - postuláty, ktorých pravdivosť sa nespochybňuje.
- Odvodené pojmy (Zásady, Common notion) sa definujú pomocou základných pojmov a prijatých axióm.
- Tvrdenia (Proposition) sú dokazované pomocou základných pojmov, axióm a odvodených pojmov.
Euklides vo svojich Základoch uvádza len päť axióm:
Post 1: Nakresliť priamku z ľubovoľného bodu do ľubovoľného bodu.
Post 2: A priamku možno neohraničene na obe strany predĺžiť.
Post 3: A z akéhokoľvek bodu a akýmkoľvek polomerom možno narysovať kružnicu.
Post 4: A každé dva pravé uhly sú navzájom "zhodné".
Post 5: A keď priamka pretínajúca dve priamky tvorí s nimi na jednej strane vnútorné uhly menšie než dva pravé, pretnú sa tieto priamky neohraničene predĺžené na tej strane, kde súčet uhlov je menší než dva pravé.
Post 1: Nakresliť priamku z ľubovoľného bodu do ľubovoľného bodu.
Post 2: A priamku možno neohraničene na obe strany predĺžiť.
Post 3: A z akéhokoľvek bodu a akýmkoľvek polomerom možno narysovať kružnicu.
Post 4: A každé dva pravé uhly sú navzájom "zhodné".
Post 5: A keď priamka pretínajúca dve priamky tvorí s nimi na jednej strane vnútorné uhly menšie než dva pravé, pretnú sa tieto priamky neohraničene predĺžené na tej strane, kde súčet uhlov je menší než dva pravé.
Prvé tri postuláty majú konštrukčný charakter, pričom popisujú skúsenosť z rysovania pomocou pravítka a kružidla. Tieto postuláty umožňujú v (euklidovskej) rovine:
- narysovať priamku prechádzajúcu dvoma danými bodmi;
- ľubovoľne predĺžiť úsečku;
- narysovať kružnicu s daným stredom a polomerom.
- narysovať priamku prechádzajúcu dvoma danými bodmi;
- ľubovoľne predĺžiť úsečku;
- narysovať kružnicu s daným stredom a polomerom.
Piaty postulát so svojou nejasnou nezávislosťou od zvyšných postulátov má špecifické postavenie. Matematici sa asi 2000 rokov snažili piaty postulát dokázať z predchádzajúcich alebo ho aspoň nahradiť niečím jednoduchším, zjavnejším. Neúspešne
Za postulátmi nasledujú odvodené pojmy alebo zásady:
Za zásadami nasledujú tvrdenia. Prevažná väčšina tvrdení v Euklidových Základoch je dokazovaná prevažne formou konštrukcie resp. návodov ako postupovať pri dokazovaní týchto tvrdení. V ďalšej časti uvedieme niektoré tvrdenia z prvej knihy Základov.
- Ak sa dve rovnajú tretiemu, rovnajú sa aj navzájom.(Servít)
Veci, ktoré sa rovnajú tej istej veci, sa tiež navzájom rovnajú. (Preklad z angl. verzie.) - A ak sa rovným pridá rovné, sú aj celky rovné.
- A ak sa od rovných odnímu rovné, sú aj celky rovné.
- A útvary, ktoré sa (pohybom?) stotožňujú, sú navzájom rovné.
- A celok je väčší ako časť.
Za zásadami nasledujú tvrdenia. Prevažná väčšina tvrdení v Euklidových Základoch je dokazovaná prevažne formou konštrukcie resp. návodov ako postupovať pri dokazovaní týchto tvrdení. V ďalšej časti uvedieme niektoré tvrdenia z prvej knihy Základov.
Euklidove Základy - tvrdenia
- Kniha 1, Tvrdenie I: Vytvoriť rovnostranný trojuholník na danej konečnej priamke.
-
Kniha 1, Tvrdenie II: Z daného bodu narysovať úsečku zhodnú s danou úsečkou .
Dôkaz tvrdenia T/II vo forme dynamickej konštrukcie si otvoríte Tu. - Kniha 1, Tvrdenie IV: Veta .
- Kniha 1, Tvrdenie V: Uhly v rovnoramennom trojuholníku sú pri základni zhodné.
Pri dokazovaní prvých dvoch tvrdení Euklides využíva postulát o konštruovateľnosti kružnice. Tiež používa definíciu
kruhu (Základy, Definícia 15), v ktorej predpokladá existenciu kruhu určeného stredom a polomerom. Definícia kruhu v Základoch má znenie:
Kruh je útvar rovinný ohraničený jednou čiarou (nazýva sa obvod resp. kružnica) tak, že všetky priamky (úsečky), ktoré vychádzajú z jedného bodu vo vnútri útvaru, sa navzájom rovnajú.
Definícia kruhu v Základoch intuitívne používa pojmy "medzi" a "zhodnosť", ktoré nie sú zavedené. Neskôr (takmer dve tisíc rokov) tieto pojmy zavádza Hilbert vo svojom axiomatickom systéme, kde sa kružnica po zavedení axióm zhodnosti už môže korektne zadefinovať.
Na záver tohto úvodného pohľadu na Euklidove Základy uvedieme "doslovný" preklad dôkazu Tvrdenia IV - (Základná veta o zhodnosti trojuholníkov )
Kniha 1, Tvrdenie IV. Ak sa dva trojuholníky zhodujú v dvoch stranách a v uhle nimi určenom, tak sú zhodné.
Dôkaz .
Dynamickú konštrukciu otvoríte Tu.
- Nech sú dva trojuholníky, ktoré majú dve strany rovné dvom stranám . Konkrétne rovná a rovná a uhol je rovný uhlu .
- Hovorím (Euklides), že základňa sa rovná aj základni , trojuholník sa rovná trojuholníku a zostávajúce uhly sa rovnajú zostávajúcim uhlom, respektíve opačne rovnakým stranám. To znamená, že uhol sa rovná uhlu a uhol sa rovná uhlu . Nepriamy dôkaz
- Nech trojuholník je uložený na trojuholníku a ak je bod umiestnený na bode a priamka na .
- Priamka sa tiež rovná , pretože uhol sa rovná uhlu .
- Ale a tiež zhoduje s , a preto základňa sa zhoduje so základňou a rovná sa jej.
- Takže celý trojuholník sa zhoduje s celým trojuholníkom .
- Zvyšné uhly sa zhodujú so zostávajúcimi uhlami a rovnajú sa, uhol sa rovná uhlu a uhol sa rovná uhlu .
- Preto ak dva trojuholníky majú dve strany rovnobežné s dvoma stranami a majú uhly obsiahnuté rovnými čiarami rovnaké, potom majú aj základňu rovnú základni, trojuholník sa rovná trojuholníku a zvyšné uhly sú rovné zvyšným uhlom respektíve tým, ktoré sú oproti rovnakým stranám.
Dynamickú konštrukciu otvoríte Tu.
Komentár k dôkazu tvrdenia T/IV je prevzatý a upravený z Euklidových Základov podľa Servíta.
Poznámka
Pri dokazovaní tohto tvrdenia sa predpokladá, že pri prenášaní úsečky (T/II, T/III) resp. uhla sa ich veľkosť nezmení. Toto v Hilbertovej sústave zabezpečujú axiómy zhodnosti.
Pri dokazovaní tohto tvrdenia sa predpokladá, že pri prenášaní úsečky (T/II, T/III) resp. uhla sa ich veľkosť nezmení. Toto v Hilbertovej sústave zabezpečujú axiómy zhodnosti.
Riešenie
Nami predložená konštrukcia nie je riešenie známeho problému "trisekcia uhla". Pri riešení využívame postulát Post 2, ktorý zaručuje existenciu bodov .
Konštrukcia umožňuje s dostatočnou presnosťou nájsť polohu bodu tak, aby sa veľkosť úsečky približovala (postupným posúvaním bodu po priamke ) k veľkosti polomeru a tým aj uhol k veľkosti uhla .
Ak si vopred stanovíme presnosť veľkosti na desatinných miest, tak túto úlohu môžeme úspešne riešiť využitím skriptovania v programe GeoGebra.
Otvorte si dynamickú konštrukciu Tu a prehrajte si konštrukciu pomocou navigačného panela.
Nami predložená konštrukcia nie je riešenie známeho problému "trisekcia uhla". Pri riešení využívame postulát Post 2, ktorý zaručuje existenciu bodov .
Konštrukcia umožňuje s dostatočnou presnosťou nájsť polohu bodu tak, aby sa veľkosť úsečky približovala (postupným posúvaním bodu po priamke ) k veľkosti polomeru a tým aj uhol k veľkosti uhla .
Ak si vopred stanovíme presnosť veľkosti na desatinných miest, tak túto úlohu môžeme úspešne riešiť využitím skriptovania v programe GeoGebra.
Otvorte si dynamickú konštrukciu Tu a prehrajte si konštrukciu pomocou navigačného panela.
Rovnoramenný trojuholník
Euklidove definície (Servít: "Výmery")
Definícia 20
Z trojstranných útvarov je trojuholník:
Okrem toho z trojstranných útvarov je trojuholník:
Z trojstranných útvarov je trojuholník:
- rovnostranný, ktorý má tri strany rovnaké;
- rovnoramenný, ktorý má len dve strany rovnaké;
- rôznostranný, ktorý má tri strany nerovnaké.
Okrem toho z trojstranných útvarov je trojuholník:
- pravouhlý, ktorý má pravý uhol;
- tupouhlý, ktorý má tupý uhol;
- ostrouhlý majúci tri uhly ostré.
Jedným z fundamentálnych Euklidových tvrdení, ktoré sa využíva v dôkazoch mnohých ďalších tvrdení je veta o zhodnosti uhlov pri základni rovnoramenného trojuholníka. Dôkaz tohto tvrdenia je typicky konštrukčný a zásadne sa líši od bežne používaného dôkazu v stredoškolskej matematike. V dôkaze sa vytvoria dva nové a zároveň zhodné trojuholníky podľa vety (sus). V konštrukcii sa používa len pravítko a kružidlo.
Kniha 1, Tvrdenie V
V rovnoramenných trojuholníkoch sa uhly pri základni navzájom rovnajú; a ak sa predĺžia rovnaké priamky (ramená), uhly pod základňou navzájom rovnajú.
V rovnoramenných trojuholníkoch sa uhly pri základni navzájom rovnajú; a ak sa predĺžia rovnaké priamky (ramená), uhly pod základňou navzájom rovnajú.
Dôkaz
Otvorte si dynamickú konštrukciu Tu.
Otvorte si dynamickú konštrukciu Tu.
Veľmi poučný je aj dôkaz Tvrdenia XIII, ktorý je publikovaný v prvej knihe Základov. Toto tvrdenie zohráva významnú úlohu pri geometrii uhlov.
Kniha 1, Tvrdenie XIII
Ak priamka stojí na priamke, vytvára buď dva pravé uhly alebo uhly, ktorých súčet sa rovná dvom pravým uhlom.
Ak priamka stojí na priamke, vytvára buď dva pravé uhly alebo uhly, ktorých súčet sa rovná dvom pravým uhlom.
Dôkaz
Upravený podľa českého prekladu Euklidových Základov.
Nech akákoľvek priamka stojaca na priamke vytvára uhly . Hovorím, že buď uhly sú dva pravé uhly alebo ich súčet sa rovná dvom pravým uhlom.
Otvorte si applet Tu.
Upravený podľa českého prekladu Euklidových Základov.
Nech akákoľvek priamka stojaca na priamke vytvára uhly . Hovorím, že buď uhly sú dva pravé uhly alebo ich súčet sa rovná dvom pravým uhlom.
Otvorte si applet Tu.
- Ak sa teraz uhol rovná uhlu , potom sú to dva pravé uhly. Def.10
- Ale ak nie, nakreslite z bodu v pravom uhle k . Preto uhly sú dva pravé uhly. T/XI
- Pretože uhol sa rovná súčtu dvoch uhlov , pridajte uhol ku každému, takže súčet uhlov sa rovná súčtu troch uhlov . Z.2, Z.4
- Pretože uhol sa rovná súčtu dvoch uhlov , ku každému z nich pridajte uhol , preto sa súčet uhlov rovná súčtu troch uhlov . Z.2, Z.5
- Ale súčet uhlov sa tiež ukázal byť rovný súčtu rovnakých troch uhlov a veci, ktoré sa rovnajú rovnakému, sa rovnajú rovnako sebe, preto súčet uhlov sa rovná súčtu uhlov . Uhly sú však dva pravé uhly, takže súčet uhlov sa tiež rovná dvom pravým uhlom. Z.1, Z.6
- Preto ak priama čiara stojí na priamke, vytvára buď dva pravé uhly alebo uhly, ktorých súčet sa rovná dvom pravým uhlom.
Uhly
Dynamický applet si otvoríte Tu.
Definície
Sú dané dve rovnobežné priamky , ktoré pretína priamka v bodoch . Uhly nazývame súhlasné (obr. vľavo) resp. striedavé (obr. vpravo).
Sú dané dve rovnobežné priamky , ktoré pretína priamka v bodoch . Uhly nazývame súhlasné (obr. vľavo) resp. striedavé (obr. vpravo).
Kniha 1, Tvrdenie XV
Ak sa dve priamky pretínajú, tvoria uhly vrcholové, ktoré sa navzájom rovnajú.
Ak sa dve priamky pretínajú, tvoria uhly vrcholové, ktoré sa navzájom rovnajú.
Nech sa priamky a pretínajú v bode . Hovorím, že uhol sa rovná uhlu a
uhol sa rovná uhlu .
- Tvrdenie XIII: Pretože priamka stojí na priamke tvoria uhly a , súčet uhlov a sa teda rovná dvom pravým uhlom. >
- Pretože priamka stojí opäť na priamke , takže uhly a sa preto súčet uhlov a rovná dvom pravým uhlom.
- Postulát 4: Súčet uhlov a sa však tiež ukázal ako rovný dvom pravým uhlom, preto sa súčet uhlov a rovná súčtu uhlov a .
- Odvodené pojmy - Zásady Z1, Z3: Od každého odčítajte uhol . Potom zostávajúci uhol sa rovná zostávajúcemu uhlu .
- Podobne je možné dokázať, že uhly a sú rovnaké.
- Preto, ak sa dve priamky pretínajú, tvoria uhly vrcholové, ktoré sa navzájom rovnajú.
Applet otvoríte Tu.
Interpretujte a dokážte ďalšie Euklidove tvrdenia o uhloch.
Vety o trojuholníku
Medzi asi najznámejšie vlastnosti trojuholníka patria tvrdenia o veľkostiach jeho strán a vnútorných uhloch:
- súčet veľkostí ľubovoľných dvoch strán je väčšia ako veľkosť tretej strany - trojuholníková nerovnosť
- súčet vnútorných uhlov trojuholníka sa rovná priamemu uhlu - súčet uhlov sa rovná 180°.
Kniha 1 Tvrdenie XVI
V každom trojuholníku, ktorého jedna strana sa predĺži, vonkajší uhol je väčší ako ktorýkoľvek protiľahlý vnútorný uhol.
V každom trojuholníku, ktorého jedna strana sa predĺži, vonkajší uhol je väčší ako ktorýkoľvek protiľahlý vnútorný uhol.
Dynamický dôkaz si otvoríte Tu.
Kniha 1 Tvrdenie XVIII
V každom trojuholníku oproti väčšej strane leží väčší uhol.
V každom trojuholníku oproti väčšej strane leží väčší uhol.
Dôkaz
Nech je trojuholník a nech strana je dlhšia ako . Hovorím, že tiež uhol je väčší ako uhol .
Nech je trojuholník a nech strana je dlhšia ako . Hovorím, že tiež uhol je väčší ako uhol .
- Nech , odrežme a veďme ... T/III, Post.1
- A keďže vonkajším uhlom trojuholníka je , je väčší protiľahlému vnútornému uhlu ... T/XVI
- Avšak , ako aj strana . rovnoramenný
- Teda tiež ... T/V
- Mnohom väčší teda je ako .
Otvorte si applet Tu.
Kniha 1 Tvrdenie XIX
V každom trojuholníku oproti väčšiemu uhlu leží väčšia strana .
V každom trojuholníku oproti väčšiemu uhlu leží väčšia strana .
Dôkaz
- otvorte si applet
Tu.
Nech je trojuholník a nech hovorím, že tiež strana dlhšia je ako strana .
Nech je trojuholník a nech hovorím, že tiež strana dlhšia je ako strana .
- Pretože ak nie, tak buď alebo je menšie ako .
- Určite nie je (rovné) s , lebo rovným by bol tiež s avšak nie je. (Pozri Tvrdenie V.: Uhly pri základni rovnoramenného trojuholníka sú rovné.)
- Teda nerovná sa .
- Určite ani je menšie ako lebo aj by bol menší ako , avšak nie je .
- Teda nie je je menšie ako . Ukázalo sa, že však nie rovný. (Spor)
Kniha 1 Tvrdenie XX
V každom trojuholníku ktorékoľvek dve strany (súčtom) dvoch sú dlhšie ako strana ostávajúca.
V každom trojuholníku ktorékoľvek dve strany (súčtom) dvoch sú dlhšie ako strana ostávajúca.
Dôkaz
Otvorte si applet Tu.
Otvorte si applet Tu.
Kniha 1 Tvrdenie XXIX (Striedavé uhly)
Priamka pretínajúca dve rovnobežné priamky vytvára striedavé uhly , navzájom rovnaké, vonkajší uhol sa rovná vnútornému opačnému (súhlasnému) uhlu a súčet vnútorných uhlov , na tej istej strane sa rovná dvom pravým uhlom.
Priamka pretínajúca dve rovnobežné priamky vytvára striedavé uhly , navzájom rovnaké, vonkajší uhol sa rovná vnútornému opačnému (súhlasnému) uhlu a súčet vnútorných uhlov , na tej istej strane sa rovná dvom pravým uhlom.
Kniha 1 Tvrdenie XXXII (Súčet uhlov trojuholníka) V každom trojuholníku, ak sa jedna zo strán predĺži, tak sa vonkajší uhol sa rovná súčtu dvoch vnútorných protiľahlých uhlov a súčet troch vnútorných uhlov trojuholníka sa rovná dvom pravým uhlom.
Dynamický dôkaz si otvoríte Tu.
Euklidovské konštrukcie
Ako sme už uviedli, pri dokazovaní mnohých tvrdení týkajúcich sa vlastností geometrických útvarov, Euklides využíva hlavne konštrukčnú metódu. Pri podrobnejšom skúmaní týchto konštrukčných dôkazov zistíme, že navrhnuté konštrukcie sa dajú vo väčšine prípadov realizovať len použitím pravítka a kružidla. V odbornej literatúre sa takéto konštrukcie nazývajú euklidovské.
Definícia.
Grafická konštrukcia v euklidovskej rovine (alebo v euklidovskom priestore) realizovaná len
Grafická konštrukcia v euklidovskej rovine (alebo v euklidovskom priestore) realizovaná len
- ideálnym pravítkom a ideálnym kružidlom
- a konečným počtom krokov sa nazýva Euklidovská konštrukcia.
Každý krok elementárnej konštrukcie predstavuje zostrojenie
- priamky prechádzajúcej dvoma danými rôznymi bodmi alebo
- kružnice so stredom v danom bode a s daným polomerom alebo
- priesečníka dvoch rôznobežných priamok (resp. prieniku priamky a kružnice alebo prieniku dvoch kružníc).
Elementárne euklidovské konštrukcie
- Zostrojenie rovnostranného trojuholníka. Kniha 1, Tvrdenie I.
- Zostrojenie osi daného uhla. Kniha 1, Tvrdenie IX.
- Zostrojenie stredu danej úsečky. Kniha 1, Tvrdenie X.
- Zostrojenie osi úsečky.
- Zostrojenie kolmice v danom bode na danú priamku. Kniha 1, Tvrdenie XI. Mezi elementárne euklidovské konštrukcie zaraďujeme aj konštrukcie používané v školskej matematike už na 1. stupni ZŠ
- "Prenesenie" danej úsečky na danú polpriamku. Kniha 1, Tvrdenie II a III.
- "Prenesenie" daného uhla na danú polpriamku v danej polrovine.
Otvorte si konštrukciu Tu
Poznámky.
- Podmienka konečného počtu krokov v definícii euklidovskej konštrukcii je opodstatnená. Napríklad konštrukcia uvedená v príklade v kapitole 2 nemôže byť euklidovská, lebo pri konečnom počte aproximácií nezískame trisekciu uhla. Na druhej strane vieme stanoviť počet krokov, ktoré budú veľkosť trisekcie uhla určovať s vopred danou presnosťou .
- Prvé tri uvedené elementárne konštrukcie nie je problém zrealizovať, ak máme k dispozícii pravítko a kružidlo. Pozrite si napríklad konštrukciu osi uhla a osi úsečky (úloha č. 4).
- V geometrii, v ktorej neplatí piaty Euklidov postulát (neeuklidovské geometrie) to také jednoduché nebude. V prvom rade musíme nájsť odpoveď na otázku: "Čo budeme rozumieť pod pravítkom resp. kružidlom v takejto geometrii?"
- V časti Neeuklidovská geometria popíšeme niektoré elementárne euklidovské konštrukcie v neeuklidovskej geometrii, ktoré budú tvoriť samostatnú triedu Euklidovských konštrukcií.
Podľa prof. Šedivého euklidovská konštrukcia sa považuje za zrealizovanú ak sú splnené podmienky K1 až
K6.
K1: Bod je zostrojený, ak je daná jeho poloha, alebo je priesečníkom dvoch priamok, dvoch kružníc alebo priamky a kružnice.
K2: Priamku považujeme za zostrojenú, ak sú dané jej dva rôzne body.
K3: Kružnicu považujeme za zostrojenú, ak je daný bod a úsečka .
K4: Ak sú dané dve rôznobežky , potom považujeme ich priesečník za zostrojený.
K5: Ak je daná kružnica a jej sečnica, potom považujeme ich priesečníky za zostrojené.
K6: Ak sú dané dve kružnice, o ktorých vieme, že sa pretínajú, potom považujeme ich priesečníky za zostrojené.
Základné euklidovské konštrukcie môžeme považovať za elementárne stavebné kroky pri zostrojovaní zložitejších geometrických útvarov, pre ktorý sú dané nutné "generujúce" prvky.
Napríklad zostrojiť trojuholník, ak sú dané dve jeho strany a uhol nimi zovretý, je možné zrealizovať na základe vety sus o zhodnosti trojuholníkov [Kniha 1, Tvrdenie IV].
K1: Bod je zostrojený, ak je daná jeho poloha, alebo je priesečníkom dvoch priamok, dvoch kružníc alebo priamky a kružnice.
K2: Priamku považujeme za zostrojenú, ak sú dané jej dva rôzne body.
K3: Kružnicu považujeme za zostrojenú, ak je daný bod a úsečka .
K4: Ak sú dané dve rôznobežky , potom považujeme ich priesečník za zostrojený.
K5: Ak je daná kružnica a jej sečnica, potom považujeme ich priesečníky za zostrojené.
K6: Ak sú dané dve kružnice, o ktorých vieme, že sa pretínajú, potom považujeme ich priesečníky za zostrojené.
Základné euklidovské konštrukcie môžeme považovať za elementárne stavebné kroky pri zostrojovaní zložitejších geometrických útvarov, pre ktorý sú dané nutné "generujúce" prvky.
Napríklad zostrojiť trojuholník, ak sú dané dve jeho strany a uhol nimi zovretý, je možné zrealizovať na základe vety sus o zhodnosti trojuholníkov [Kniha 1, Tvrdenie IV].
Definícia (konštrukčná úloha).
Zostrojenie (konštrukciu) geometrického útvaru z daných prvkov sa nazýva konštrukčná úloha.
Zostrojenie (konštrukciu) geometrického útvaru z daných prvkov sa nazýva konštrukčná úloha.
Riešiť konštrukčnú úlohu znamená:
- odvodiť vzťahy medzi zadanými a hľadanými prvkami - náčrtok, rozbor,
- konštrukčne doplniť zadané prvky ďalšími tak, aby bol útvar zostrojiteľný - postup konštrukcie a jeho grafické prevedenie - konštrukcia,
- urobiť dôkaz, že zostrojený útvar je ten, ktorý bolo treba zostrojiť - dôkaz správnosti konštrukcie,
- stanoviť, za ktorých podmienok je úloha riešiteľná a prípadne koľko má vyhovujúcich riešení - diskusia.
Rozbor - prvá etapa riešenia konštrukčnej úlohy, metóda: geometrické miesto bodov. V rozbore ide o hľadanie kauzalít medzi
danými a hľadanými prvkami geometrického útvaru .
- Náčrtok - súčasťou rozboru môže byť aj náčrt (na úrovni ZŠ je to dôležitá súčasť rozboru).
- nakreslíme netypický trojuholník, náčrt kreslíme/modelujeme pomocou úsečiek, kružnicových oblúkov, ... .
- "silnejšie" resp. farebne vyznačíme strany a uhol
- Logický rozbor
- Algebraická metóda rozboru
Obrázok aktivujete Tu.
Applet si otvoríte Tu.
Záver analýzy
Z rozboru vyplýva postup konštrukcie trojuholníka : strana ; uhol ; kružnica ... vrchol je priesečník ramena uhla a kružnice.
Z rozboru vyplýva postup konštrukcie trojuholníka : strana ; uhol ; kružnica ... vrchol je priesečník ramena uhla a kružnice.
Konštrukcia - druhá etapa riešenia konštrukčnej úlohy
Konštrukcia sa skladá z dvoch častí: grafická konštrukcia (narysovanie hľadaného útvaru) a zápis krokov (robí sa vedľa). Stiahnite si applet Tu.
Konštrukcia sa skladá z dvoch častí: grafická konštrukcia (narysovanie hľadaného útvaru) a zápis krokov (robí sa vedľa). Stiahnite si applet Tu.
Dôkaz - tretia etapa riešenia konštrukčnej úlohy. Dôkazom sa chápe argumentácia, či útvar vytvorený konštrukciou spĺňa všetky požiadavky uvedené v zadaní úlohy. V našom príklade dôkaz vyplýva z postupu konštrukcie.
Diskusia - štvrtá etapa riešenia konštrukčnej úlohy
Nech je vzdialenosť bodu od priamky , potom počet priesečníkov závisí na hodnotách . Musíme rozlíšiť dve základné situácie:
- V diskusii určujeme za akých podmienok je úloha riešiteľná, prípadne určujeme koľko má vyhovujúcich riešení resp. skúmame závislosť riešenia od zadaných prvkov.
- V tejto úlohe výhodne vyžijeme posuvníky a počet riešení odvodíme od vzájomnej polohy daných prvkov.
Nech je vzdialenosť bodu od priamky , potom počet priesečníkov závisí na hodnotách . Musíme rozlíšiť dve základné situácie:
- Pokiaľ platí, že , potom je a úloha
a) nemá riešenie, ak
b) má práve jedno riešenie pre alebo
c) má práve dve riešenia za podmienky .
- Pre je diskusia jednoduchšia, úloha
a) nemá riešenie za podmienky
b) má práve jedno riešenie, pokiaľ platí .
Hilbertov axiomatický systém
V roku 1899 slávny matematik David Hilbert publikoval prácu Grundlagen der Geometrie, v ktorej navrhuje axiomatický systém, nahrádzajúci tradičné axiómy Euklida. V literatúre je tento axiomatický systém známy ako Hilbertov axiomatický systém. V práci [HIL] je uvedených šesť primitívnych pojmov, ktoré sú začlenené do dvoch skupín:
- Primitívne objekty
- body - označujeme veľkými písmenami latinskej abecedy ;
- priamky - na označenie používame malé písmená a
- roviny - označujeme malými gréckymi písmenami .
- Primitívne vzťahy (binárne relácie)
- incidencia - ["bod leží na priamke ", "priamka prechádza bodom ", "bod a priamka sú incidentné"].
- vzťah "medzi" - \small [usporiadanie troch kolineárnych bodov , kde bod leží medzi bodmi ]; používa sa aj označenie . Pozri prácu [ChalJ]
- zhodnosť (kongruencia) - ["úsečka je zhodná s úsečkou "], zhodnosť uhlov, zhodnosť trojuholníkov.
Otvorte si interaktívny applet Tu.
Hilbertov axiomatický systém pozostáva z piatich skupín axióm.
- axiómy incidencie
- axiómy usporiadania
- axiómy zhodnosti (kongruencie)
- axióma o rovnobežnosti
- axiómy spojitosti Axiómy charakterizujú vzťahy medzi primitívnymi objektmi. Axiomatický systém obsahuje celkom 20 axióm.
Axiómy incidencie v rovine
I1: Dvoma rôznymi bodmi prechádza práve jedna priamka.
I2: Každá priamka obsahuje aspoň dva rôzne body.
I3: Existuje aspoň jedna trojica navzájom rôznych nekolineárnych bodov.
Axiómy incidencie v priestore
I4: Tromi nekolineárnymi bodmi prechádza práve jedna rovina.
I5: V každej rovine existujú aspoň tri nekolineárne body.
I6: Ak dva rôzne body priamky ležia v rovine , potom každý bod priamky leží v rovine .
I7: Ak dve roviny majú spoločný bod , potom majú spoločný ešte aspoň jeden bod , rôzny od .
I8: Existuje aspoň jedna štvorica nekomplanárnych bodov .
I1: Dvoma rôznymi bodmi prechádza práve jedna priamka.
I2: Každá priamka obsahuje aspoň dva rôzne body.
I3: Existuje aspoň jedna trojica navzájom rôznych nekolineárnych bodov.
Axiómy incidencie v priestore
I4: Tromi nekolineárnymi bodmi prechádza práve jedna rovina.
I5: V každej rovine existujú aspoň tri nekolineárne body.
I6: Ak dva rôzne body priamky ležia v rovine , potom každý bod priamky leží v rovine .
I7: Ak dve roviny majú spoločný bod , potom majú spoločný ešte aspoň jeden bod , rôzny od .
I8: Existuje aspoň jedna štvorica nekomplanárnych bodov .
Dôkaz. nepriamo
V ďalšej časti sa zameriame na interpretáciu Euklidovskej roviny pomocou dynamických geometrických systémov (DGS). Budeme používať softvér GeoGebra. Vo všeobecnosti ak DGS má správne interpretovať danú geometriu (napr. Euklidovskú), tak je nutné vhodne popísať/definovať základné geometrické pojmy a vzťahy. Túto požiadavku výstižne charakterizuje doc. Vallo vo svojej habilitačnej práci, kde zdôrazňuje požiadavku determinovanosti pri využívaní IKT v geometrii.
V DGS je nutné, aby dôležité prvky geometrických útvarov boli deterministicky definované (Vallo, 2021).
Uvádzame niekoľko východísk, ktoré tvorcovia softvéru GeoGebra naprogramovali v jeho základnej verzii. Vo vzhľade Nákresňa (2-rozmerný priestor) je bod reprezentovaný dvojicou reálnych čísel. Tento model je izomorfný s afinným dvojrozmerným priestorom nad poľom reálnych čísel.
Požiadavka determinovanosti z pohľadu geometrie znamená presne stanoviť, čo predstavuje bod so súradnicami . Presné geometrické vymedzenie (determinovanosť) veľmi dobre interpretujú nasledovné príkazy softvéru GeoGebra.
Otvorte si applet Tu.
Pri klasickej výučbe geometrie (manuálne rysovacie prostriedky) je problematické reálne „pracovať“ s totožnými (identickými) útvarmi. Napríklad dva rôzne ale totožné body rozlíšime len tak, že pri ich popise uvedieme .
Požiadavka determinovanosti z pohľadu geometrie znamená presne stanoviť, čo predstavuje bod so súradnicami . Presné geometrické vymedzenie (determinovanosť) veľmi dobre interpretujú nasledovné príkazy softvéru GeoGebra.
- Príkaz
vygeneruje na zobrazovacej ploche bod so súradnicami
a s popisom
.
- Príkaz vygeneruje opäť bod s tými istými súradnicami a s popisom .
Otvorte si applet Tu.
Pri klasickej výučbe geometrie (manuálne rysovacie prostriedky) je problematické reálne „pracovať“ s totožnými (identickými) útvarmi. Napríklad dva rôzne ale totožné body rozlíšime len tak, že pri ich popise uvedieme .
Poznámka.
V DGS priesečník dvoch priamok sa musí exaktne definovať pomocou nástroja Priesečník. Ak nie, tak DGS ho neidentifikuje ako bod.
V DGS priesečník dvoch priamok sa musí exaktne definovať pomocou nástroja Priesečník. Ak nie, tak DGS ho neidentifikuje ako bod.
Pomocou nástroja " Priesečník" môžeme vytvoriť tri priesečníky výšok v trojuholníku
o ktorých vieme dokázať (Kapitola "Významné prvky trojuholníka"), že sú to tri totožné body.
DGS to chápe ako tri samostatné body. Pomocou nástroja "Vzťah a = b" môžeme napríklad overiť, či bod leží aj na kolmici . GeoGebra nám zobrazí oznam/výsledok, ktorý predstavuje obrázok vpravo. Celá konštrukcia "Priesečník výšok v trojuholníku" je znázornená na obrázku vľavo.
Otvorte si dynamickú konštrukciu Tu.
Otvorte si dynamickú konštrukciu Tu.
Modely geometrie
V predchádzajúcej časti sme stručne načrtli interpretáciu základných pojmov (bod, priamka, incidencia a pod.) v programe GeoGebra. Interpretácia týchto pojmov môže mať rôzne podoby.
Ak priradíme základným pojmom nejaký konkrétny význam, tak vytvoríme model geometrie.
Potom v tomto modeli môžeme skúmať, či platia axiómy v systéme, ktorý sme zaviedli. Ak sú axiómy v tejto interpretácii (v modeli geometrie) pravdivé, potom takto vytvorený model je modelom daného axiomatického systému.
Uvádzame niekoľko modelov geometrie.
Ak priradíme základným pojmom nejaký konkrétny význam, tak vytvoríme model geometrie.
Potom v tomto modeli môžeme skúmať, či platia axiómy v systéme, ktorý sme zaviedli. Ak sú axiómy v tejto interpretácii (v modeli geometrie) pravdivé, potom takto vytvorený model je modelom daného axiomatického systému.
Uvádzame niekoľko modelov geometrie.
Incidenčné modely geometrie
- Trojbodová (prípadne štvorbodová, päťbodová) geometria
- sú body a sú priamky resp.
Kompletný graf s
3 (prípadne so 4 resp. 5 vrcholmi.
- Euklidov postulát o rovnobežkách neplatí.
- Overte platnosť axióm incidencie.
- Algebraický model - analytická geometria euklidovskej roviny
Sféra ako neincidenčný model
- Bodmi sú body na guľovej ploche (sfére). Priamkami sú kružnice na sfére so stredom v strede gule.
- Každé dve priamky sa pretínajú v dvoch bodoch, preto nejde o model incidenčnej geometrie. Otvorte si applet a pohybujte bodmi .
Otvorte si interaktívny applet Tu
Lineárna perspektíva (15. stor.) - projekcia bodov trojrozmerného priestoru do roviny (na plátno).
Prevzaté z: Parramón, José M.: Perspektiva pro výtvarníky, Praha : JAN VAŠUT, 1998, ISBN 80-7236-041-8
Otvorte si projekciu bodov v GeoGebra modeli Tu. Porovnajte s pohľadom na koľajnice. Pohľad na koľajnice je vlastne zobrazenie v lineárnej perspektíve.
Prevzaté z: Parramón, José M.: Perspektiva pro výtvarníky, Praha : JAN VAŠUT, 1998, ISBN 80-7236-041-8
Otvorte si projekciu bodov v GeoGebra modeli Tu. Porovnajte s pohľadom na koľajnice. Pohľad na koľajnice je vlastne zobrazenie v lineárnej perspektíve.
Zhodnosť
Axiómy zhodnosti
Z1: Pre ľubovoľné dva rôzne body a polpriamku vychádzajúcu z bodu
existuje na tejto polpriamke práve jeden bod taký, že .
Z2: Ak a , potom .
Navyše, každá úsečka je zhodná sama so sebou: .
Z3: Ak , , a , potom .
Z4: Pre daný uhol , danú polpriamku a danú polrovinu ohraničenú priamkou
existuje práve jedna polpriamka v danej polrovine tak, že .
Z5: Ak a , potom .
Navyše, každý uhol je zhodný sám so sebou: .
Z6: Ak pre trojuholníky a platí, že a ,
potom a .
Z1: Pre ľubovoľné dva rôzne body a polpriamku vychádzajúcu z bodu
existuje na tejto polpriamke práve jeden bod taký, že .
Z2: Ak a , potom .
Navyše, každá úsečka je zhodná sama so sebou: .
Z3: Ak , , a , potom .
Z4: Pre daný uhol , danú polpriamku a danú polrovinu ohraničenú priamkou
existuje práve jedna polpriamka v danej polrovine tak, že .
Z5: Ak a , potom .
Navyše, každý uhol je zhodný sám so sebou: .
Z6: Ak pre trojuholníky a platí, že a ,
potom a .
Veta sus. (Euklidove Základy, Tvrdenie I.4)
Ak pre trojuholníky a platí, že a , potom sú tieto trojuholníky zhodné.
Ak pre trojuholníky a platí, že a , potom sú tieto trojuholníky zhodné.
Dôkaz.
V dôsledku axiómy Z6 stačí ukázať, že . Dôkaz urobíme sporom. Nech
.
Nech , pre ktorý platí . Použitím axiómy Z6 dostaneme, že
,
čo je v rozpore s axiómou Z4 o prenášaní uhla. Teda musí platiť .
V dôsledku axiómy Z6 stačí ukázať, že . Dôkaz urobíme sporom. Nech
.
Nech , pre ktorý platí . Použitím axiómy Z6 dostaneme, že
,
čo je v rozpore s axiómou Z4 o prenášaní uhla. Teda musí platiť .
Poznámky.
- Niekedy sa veta sus uvádza ako axióma Z6.
- Porovnajte nami prezentovaný dôkaz vety sus s dôkazom v uvedeným v Euklidových Základoch.
- Ďalšie vety o zhodnosti trojuholníkov nájdete v samostatnej e-knihe tohto kurzu.
V Hilbertovom axiomatickom systéme axiómy Z1 a Z4 zaručujú jednoznačnosť prenášania
- danej úsečky na danú polpriamku - Z1
- uhla danej veľkosti do polroviny - Z4
Definícia.
Nech je ľubovoľný bod a je daná nenulová úsečka. Kružnica so stredom a polomerom je množina všetkých bodov , pre ktoré platí, že úsečka je zhodná s úsečkou .
Nech je ľubovoľný bod a je daná nenulová úsečka. Kružnica so stredom a polomerom je množina všetkých bodov , pre ktoré platí, že úsečka je zhodná s úsečkou .
Definície ďalších geometrických útvarov budeme uvádzať priebežne podľa potreby.
Axióma Z4 predstavuje euklidovskú konštrukciu prenášania uhla do danej polroviny. Vo vyučovaní geometrie na ZŠ sa táto konštrukcia uskutočňuje pomocou listu papiera alebo pomocou kružidla. Dynamickú formu aktivity prenášania uhla pomocou kružidla, ktorá je vhodná pre žiakov základných škôl, predstavuje nasledujúci applet.
Otvorte si applet Tu
Kružnica sa využíva aj pri euklidovskej konštrukcii osi uhla Kniha 1, Tvrdenie IX ako ukazuje nasledujúci obrázok.
V predchádzajúcich dvoch euklidovských konštrukciách sa mimovoľne predpokladalo, že pri prenášaní úsečky jej veľkosť sa nemení. V Hilbertovom axiomatickom systéme vlastnosť zachovávania "veľkosti útvaru" pri "prenášaní" sa zaručuje pomocou axióm Z1 a Z4.
Rozdiel medzi Euklidovými Základmi a Hilbertovým axiomatickým prístupom je zásadný, ktorý podrobnejšie popíšeme v nasledujúcej podkapitole.
Axióma Z4 predstavuje euklidovskú konštrukciu prenášania uhla do danej polroviny. Vo vyučovaní geometrie na ZŠ sa táto konštrukcia uskutočňuje pomocou listu papiera alebo pomocou kružidla. Dynamickú formu aktivity prenášania uhla pomocou kružidla, ktorá je vhodná pre žiakov základných škôl, predstavuje nasledujúci applet.
Otvorte si applet Tu
Kružnica sa využíva aj pri euklidovskej konštrukcii osi uhla Kniha 1, Tvrdenie IX ako ukazuje nasledujúci obrázok.
V predchádzajúcich dvoch euklidovských konštrukciách sa mimovoľne predpokladalo, že pri prenášaní úsečky jej veľkosť sa nemení. V Hilbertovom axiomatickom systéme vlastnosť zachovávania "veľkosti útvaru" pri "prenášaní" sa zaručuje pomocou axióm Z1 a Z4.
Rozdiel medzi Euklidovými Základmi a Hilbertovým axiomatickým prístupom je zásadný, ktorý podrobnejšie popíšeme v nasledujúcej podkapitole.
Geometria uhlov
Tvrdenie.
Ak sú dva uhly zhodné, potom aj ich susedné uhly sú zhodné.
Ak sú dva uhly zhodné, potom aj ich susedné uhly sú zhodné.
Dôkaz.
Otvorte si applet Tu.
Otvorte si applet Tu.
Definícia (Vonkajší uhol trojuholníka).
Vonkajší uhol trojuholníka je uhol susedný s priľahlým vnútorným uhlom trojuholníka.
Vonkajší uhol trojuholníka je uhol susedný s priľahlým vnútorným uhlom trojuholníka.
Napríklad v predchádzajúcej vete je uhol
vonkajší uhol k uhlu
. Existenciu bodu
zabezpečuje axióma Z1 a axióma U2.
Tvrdenie.
Vonkajší uhol v trojuholníku susedný k uhlu je väčší ako ľubovoľný zo zvyšných dvoch vnútorných uhlov tohto trojuholníka. Symbolicky zapísané
a zároveň .
Vonkajší uhol v trojuholníku susedný k uhlu je väčší ako ľubovoľný zo zvyšných dvoch vnútorných uhlov tohto trojuholníka. Symbolicky zapísané
a zároveň .
Dôkaz.
Stačí, keď dokážeme platnosť prvého a druhého prípadu. Budeme dokazovať sporom.
Stačí, keď dokážeme platnosť prvého a druhého prípadu. Budeme dokazovať sporom.
- Nech platí
a zároveň nech
, potom
.
Otvorte si applet Tu.
Odtiaľ dostávame
.
Zároveň zo zhodnosti a z tvrdenia o susedných uhloch dostávame , kde je bod na polpriamke taký, že .
Polpriamky obe zvierajú s rovnaký uhol, pričom body ležia na tej istej strane od (sú oba na opačnej ako ). To je spor s axiómou Z4. - Nech platí
,
potom existuje polpriamka medzi polpriamkami tak, že platí
.
Teraz tento prípad prevedieme na prvý prípad, ktorého platnosť sme už dokázali. Polpriamka pretína pretína úsečku (veta o priečke uhla, Chalmovianska, str. 19) v bode . Potom v trojuholníku je vonkajší uhol pri vrchole zhodný s vnútorným uhlom pri vrchole . To je ale predpoklad prvého prípadu. To však viedlo k sporu, preto nemôže nastať ani druhý prípad. - V ďalších dvoch prípadoch
;
postupujeme analogicky.
Otvorte si applet Tu .
Poznámky.
- Euklides tvrdenie o vonkajšom uhle (uvádza vo svojich Základoch ako tvrdenie T/XVI, pozrite Tu) dokazuje pomocou zhodnosti vrcholových uhlov. V dôkaze využíva vlastnosť (ktorú bližšie nešpecifikuje), že pri "prenášaní" úsečky sa jej veľkosť nemení.
- V Euklidovom dôkaze kľúčovým momentom je predpoklad, že polpriamka leží medzi polpriamkami . To Euklides pokladá za všeobecne platnú Zásadu. U Hilberta je to podložené axiómami zhodnosti a usporiadania.
- Zhodnosť vrcholových uhlov dokazuje pomocou vlastnosti, že súčet susedných uhlov sa rovná dvom pravým uhlom. Tvrdenie T/XV, dôkaz pozrite Tu.
- V stredoškolskej matematike sa táto veta uvádza ako Teoréma vonkajšieho uhla. Pozri Wikipédiu Tu
Usporiadanie
Axiómy usporiadania
U1: Ak leží medzi a [], potom sú tri rôzne kolineárne body a platí tiež, že leží medzi a .
U2: Pre ľubovoľné navzájom rôzne body existujú body tak, že a .
U3: Pre ľubovoľné tri navzájom rôzne kolineárne body práve jeden z nich leží medzi zvyšnými dvoma.
U4: (Paschova axióma, 1882) Nech priamka neprechádza žiadnym z nekolineárnych bodov .
Ak pretína úsečku , potom pretína buď úsečku alebo úsečku .
U1: Ak leží medzi a [], potom sú tri rôzne kolineárne body a platí tiež, že leží medzi a .
U2: Pre ľubovoľné navzájom rôzne body existujú body tak, že a .
U3: Pre ľubovoľné tri navzájom rôzne kolineárne body práve jeden z nich leží medzi zvyšnými dvoma.
U4: (Paschova axióma, 1882) Nech priamka neprechádza žiadnym z nekolineárnych bodov .
Ak pretína úsečku , potom pretína buď úsečku alebo úsečku .
Definície.
- Nech
sú dva rôzne body. Úsečka
je množina bodov
, ktoré ležia medzi bodmi
zjednotená s dvojprvkovou množinou
. Body
sú krajné body úsečky.
- Nech
sú dva rôzne body. Polpriamka
je množina bodov úsečky
a bodov
, pre ktoré platí
.
- Nech
sú dva rôzne body. Opačná polpriamka k polpriamke
je množina bodov
, pre ktoré platí, že bod
leží medzi bodmi
zjednotenú s jednobodovou množinou
.
Dôkaz.
Z definície polpriamky dostávame
.
Potrebujeme ešte dokázať, že platí . Zvoľme si ľubovoľný bod , pre ktorý platí
.
Otvorte si applet Tu.
Z definície polpriamky dostávame
.
Potrebujeme ešte dokázať, že platí . Zvoľme si ľubovoľný bod , pre ktorý platí
.
- Nech alebo , potom dokazovaná inklúzia platí.
- Nech . Keďže , tak musí súčasne platiť Súčasne môže nastať len prípad . Záver: z axiómy U3 dostávame: .
Otvorte si applet Tu.
Dôkaz.
Dôkaz je nutné rozložiť do dvoch krokov (dokazujeme rovnosť množín).
Dôkaz je nutné rozložiť do dvoch krokov (dokazujeme rovnosť množín).
- Nech , potom treba dokázať . Použite definíciu polriamky.
- Nech , potom treba dokázať . Použite definíciu priamky.
Definícia.
Daná je priamka a body neležiace na tejto priamke. Hovoríme, že body
• ležia na opačných stranách od danej priamky, ak úsečka túto priamku pretína, t.j. ak na tejto priamke existuje bod tak, že
• ležia na tej istej strane od priamky , ak alebo ak a úsečka priamku nepretína (\\small ( p \cap AB= ∅ ) \)
Daná je priamka a body neležiace na tejto priamke. Hovoríme, že body
• ležia na opačných stranách od danej priamky, ak úsečka túto priamku pretína, t.j. ak na tejto priamke existuje bod tak, že
• ležia na tej istej strane od priamky , ak alebo ak a úsečka priamku nepretína (\\small ( p \cap AB= ∅ ) \)
Otvorte si interaktívny applet Tu .
Príklad.
Dané sú tri nekolineárne body . Určte množinu (šrafovaním)
.
Konštrukčný návod Tu. Applet, v ktorom je nástroj na vyznačenie polroviny Tu.
Riešenie Tu.
Dané sú tri nekolineárne body . Určte množinu (šrafovaním)
.
Konštrukčný návod Tu. Applet, v ktorom je nástroj na vyznačenie polroviny Tu.
Riešenie Tu.
Tvrdenie (separačná vlastnosť v rovine, U4S).
Priamka delí rovinu okrem bodov priamky na dve triedy tak, že body ležia v tej istej triede práve vtedy, keď
ležia na tej istej strane od priamky . (t.j. neexistuje bod taký, že , kde a sú dané body).
Dôkaz pozri prácu [CHAL] .
Priamka delí rovinu okrem bodov priamky na dve triedy tak, že body ležia v tej istej triede práve vtedy, keď
ležia na tej istej strane od priamky . (t.j. neexistuje bod taký, že , kde a sú dané body).
Dôkaz pozri prácu [CHAL] .
Definície.
Otvorte si interaktívny applet Tu.
Pozrite si tiež definície v práci [MON] kapitola 2: "Konvexná množina".
Rovnobežnosť
Definícia (Rovnobežnosť).
Euklides: Rovnoběžky jsou přímky, které jsou v téže rovině a prodlouženy na obě strany do nekonečna nikde se nesbíhají. (Servít)
Hilbert: Dve priamky sú rovnobežné (rovnobežky), ak nemajú spoločný bod.
Euklides: Rovnoběžky jsou přímky, které jsou v téže rovině a prodlouženy na obě strany do nekonečna nikde se nesbíhají. (Servít)
Hilbert: Dve priamky sú rovnobežné (rovnobežky), ak nemajú spoločný bod.
Tvrdenie (Základy, T/XXVII).
Keď priamka pretínajúca dve priamky vytvára striedavé uhly navzájom rovnaké, budú tie priamky navzájom rovnobežné.
Keď priamka pretínajúca dve priamky vytvára striedavé uhly navzájom rovnaké, budú tie priamky navzájom rovnobežné.
Dôkaz.
Urobte si cvičenie. Použite dôsledok vety o vonkajšom uhle.
Urobte si cvičenie. Použite dôsledok vety o vonkajšom uhle.
Dôkaz.
Zvoľme si ľubovoľný bod na priamke . Zostrojme priamku (transverzála/priečka priamok ).
Následne zostrojíme priamku tak, aby striedavé uhly pri priamkach s transverzálou boli rovnaké (axióm Z4).
Rovnobežnosť vyplýva z vety o vonkajšom uhle trojuholníka.
AppletTu.
Zvoľme si ľubovoľný bod na priamke . Zostrojme priamku (transverzála/priečka priamok ).
Následne zostrojíme priamku tak, aby striedavé uhly pri priamkach s transverzálou boli rovnaké (axióm Z4).
Rovnobežnosť vyplýva z vety o vonkajšom uhle trojuholníka.
AppletTu.
Poznámka.
Dokázaním predchádzajúceho dôsledku sme ukázali existenciu rovnobežky, pričom sme použili predchádzajúce axiómy.
Teraz stačí formulovať axiómu, ktorá zaručí jednoznačnosť - existenciu jedinej rovnobežky.
Dokázaním predchádzajúceho dôsledku sme ukázali existenciu rovnobežky, pričom sme použili predchádzajúce axiómy.
Teraz stačí formulovať axiómu, ktorá zaručí jednoznačnosť - existenciu jedinej rovnobežky.
Playfairova axióma.
Pre každú priamku a pre každý bod existuje práve (najviac) jedna priamka rovnobežná s priamkou (ozn. ).
Pre každú priamku a pre každý bod existuje práve (najviac) jedna priamka rovnobežná s priamkou (ozn. ).
Piaty Euklidov postulát.
A keď priamka pretínajúca priamky dve priamky tvorí na tej istej strane vnútornej (priľahlej) uhly menšie dvoch pravých, tie dve priamky predĺžené do nekonečna sa zbiehajú na tej strane, kde sú uhly menšie dvoch pravých.
A keď priamka pretínajúca priamky dve priamky tvorí na tej istej strane vnútornej (priľahlej) uhly menšie dvoch pravých, tie dve priamky predĺžené do nekonečna sa zbiehajú na tej strane, kde sú uhly menšie dvoch pravých.
Tvrdenie(Základy, T/XXXII).
Súčet vnútorných uhlov trojuholníka je rovný dvom pravým uhlom.
Dôkaz.
Pokúste sa dokázať toto tvrdenie ako cvičenie. Tvrdenie T/XXXII je ekvivalentné axióme rovnobežnosti. Euklidov dôkaz nájdete v kapitole "Geometria trojuholníka".
Súčet vnútorných uhlov trojuholníka je rovný dvom pravým uhlom.
Dôkaz.
Pokúste sa dokázať toto tvrdenie ako cvičenie. Tvrdenie T/XXXII je ekvivalentné axióme rovnobežnosti. Euklidov dôkaz nájdete v kapitole "Geometria trojuholníka".
Spojitosť
Tvrdenie T/1 (Euklidove Základy Kniha 1, Tvrdenie I).
K danej úsečke zostrojte rovnostranný trojuholník tak, aby táto úsečka bola jednou z jeho strán.
Dôkaz.
Dôkaz má konštrukčný charakter. Euklides popisuje konštrukciu rovnostranného trojuholníka pomocou kružníc , ktoré sa pretínajú v dvoch rôznych bodoch.
K danej úsečke zostrojte rovnostranný trojuholník tak, aby táto úsečka bola jednou z jeho strán.
Dôkaz.
Dôkaz má konštrukčný charakter. Euklides popisuje konštrukciu rovnostranného trojuholníka pomocou kružníc , ktoré sa pretínajú v dvoch rôznych bodoch.
Poznámky.
- V Euklidových Základoch sa nenachádza axióma alebo tvrdenie, podľa ktorého je zaručená existencia spoločného bodu dvoch kružníc!
- V e-knihe DGS sme už uviedli, že v afinnom priestore nad poľom racionálnych čísel sa kruhy nepretínajú.
- Euklides síce nehovorí o spoločnom bode dvoch kružníc, uvádza len tvrdenie/formuláciu "... v ktorom sa kruhy navzájom pretínajú, ..."
- Vyriešiť tento problém je možné sformulovaním axióm spojitosti.
Axiómy spojitosti.
S1: (Archimedova axióma) Nech sú dané úsečky . Na polpriamke zostrojme postupne body také, že
.
Potom existuje jediné prirodzené číslo také, že bod a .
S2: (Axióma úplnosti) K bodom a priamkam v rovine už nie je možné pridať ďalšie tak, aby výsledná geometria stále spĺňala všetky doteraz uvedené axiómy
S1: (Archimedova axióma) Nech sú dané úsečky . Na polpriamke zostrojme postupne body také, že
.
Potom existuje jediné prirodzené číslo také, že bod a .
S2: (Axióma úplnosti) K bodom a priamkam v rovine už nie je možné pridať ďalšie tak, aby výsledná geometria stále spĺňala všetky doteraz uvedené axiómy
Poznámky.
- Euklidovská rovina je model všetkých uvedených axióm.
- Euklidovská rovina je afinná rovina so skalárnym súčinom definovaným na jej vektorovej zložke. Používame aj označenie .
- Geometria, ktorá spĺňa všetky Hilbertove axiómy (dôležitá je pritom Archimedova axióma), môžeme v nej zaviesť meranie! Pozrite si e-knihu "Miera úsečky".
Neeuklidovská geometria
V historickom vývoji geometrie nájdeme dva východiskové míľniky, ktoré by sme mohli charakterizovať tromi otázkami:
„Ako to vytvoriť? “
„Prečo to platí?“
„Platí piaty Euklidov postulát?“
Pozrite si práce [GRE], [VAL].
„Ako to vytvoriť? “
„Prečo to platí?“
„Platí piaty Euklidov postulát?“
Pozrite si práce [GRE], [VAL].
- Začiatok tejto cesty „Ako “ patrí približne do obdobia dvoch tisícročí pred naším letopočtom, do obdobia mezopotámskeho a egyptského staroveku.
- Obdobie „Prečo“ zahŕňa obdobie od antického Grécka až po objavy neeuklidovských geometrií. S úctou k velikánom gréckej matematiky a filozofie treba zdôrazniť, že mnohé grécke myšlienky predbehli svoju dobu o dve nasledujúce tisícročia.
„Väčšina ľudí nevie, že v 19. storočí došlo k revolúcii v oblasti geometrie, ktorá bola vedecky tak hlboká a
vo svojom vplyve rovnako filozoficky dôležitá ako Darwinova evolučná teória.“
Prenikaním informačno-komunikačných technológií (IKT) do života spoločnosti koncom 20. storočia nášho letopočtu sa začala revolúcia nielen v myslení ľudí ale aj v organizácii a riadení ich práce. Používanie IKT vo vzdelávacom procese sa stalo neodmysliteľnou súčasťou moderného vyučovania. V tejto práci chceme poukázať na nové možnosti riešenia konštrukčných úloh v hyperbolickej neeuklidovskej geometrie využitím nových nástrojov v programe GeoGebra. Zameriame sa na model Poincare Disc, v ktorom budeme riešiť základné geometrické úlohy len použitím "neeuklidovského" pravítka a kružítka.
Definícia.
Neeuklidovská geometria je taká geometria, v ktorej neplatí piaty Euklidov postulát (axióma rovnobežnosti) ale spĺňa axiómy incidencie, usporiadania a zhodnosti.
Neeuklidovská geometria je taká geometria, v ktorej neplatí piaty Euklidov postulát (axióma rovnobežnosti) ale spĺňa axiómy incidencie, usporiadania a zhodnosti.
Neeuklidovské geometrie rozdeľujeme do dvoch kategórií:
- Hyperbolická geometria, v ktorej daným bodom neležiacim na danej priamke prechádzajú aspoň dve rovnobežky.
- Parabolická geometria, v ktorej neexistuje žiadna rovnobežka idúca daným bodom neležiacim na danej priamke.
V našej práci sa budeme zaoberať len hyperbolickou rovinnou geometriou.
Za východisko pre hyperbolickú rovinu si vezmeme dvojdielny hyperboloid .
Dynamický hyperboloid si otvoríte Tu.
Uskutočníme dve operácie:
Za východisko pre hyperbolickú rovinu si vezmeme dvojdielny hyperboloid .
Dynamický hyperboloid si otvoríte Tu.
Uskutočníme dve operácie:
- Operácia "stotožnenie" každých dvoch bodov hyperboloidu súmerných podľa jeho stredu. Takouto operáciou redukujeme daný hyperboloid len na jednu jeho časť. Takto definovanú dvojicu bodov nazývame združené body. V ďalších úvahách budeme pracovať len s jeho jednou časťou hyperboloidu, napríklad s "hornou časťou".
- Operácia "prienik" bude predstavovať rez hyperboloidu stredovou rovinou, ktorá je určená dvomi rôznymi bodmi (dvomi združenými dvojicami bodov) a stredom hyperboloidu. Teoreticky stredová rovina môže byť trojakého typu: reálne pretína hyperboloid v hyperbole, môže sa dotýkať hyperboloidu alebo ho nepretína v reálnom prieniku.
- Bod hyperbolickej roviny je trojakého typu:
- vlastný bod hyperboloidu je dvojica združených bodov, ktorú nazývame h-bod
- nevlastný (limitný) bod hyperboloidu (stotožnené body na nevlastnej kružnici) nazývame nevlastný bod 1. druhu
- nevlastné body priestoru Euklidovského priestoru, ktoré na ploche hyperboloidu neležia, nazývame nevlastný bod 2. druhu Napríklad bod (spolu so združeným bodom A') hyperboloidu je vlastný h-bod hyperbolickej roviny.
- Priamka hyperbolickej roviny je krivka, ktorá vznikne ako prienik (rez) hyperboloidu
s ľubovoľnou stredovou rovinou1). Keďže rezy takých rovín môžu byť trojakého typu, existujú tri typy hyperbolických h-priamok.
- ak prienikom stredovej roviny s hyperboloidom je hyperbola, tak túto krivku (hyperbolu) nazývame h-priamka
- ak prienik obsahuje len povrchovú priamku asymptotickej2) kužeľovej plochy (rovina sa dotýka hyperboloidu v nekonečne), tak tento prienik budeme považovať za nevlastnú h-priamku 1. druhu (rovina hyperboloid reálne pretne v komplexne združených rovnobežkách)
- nepretína hyperboloid, tak rezom je imaginárna kužeľosečka (elipsa), ktorú nazveme nevlastná h-priamka 2. druhu.
Otvorte si interaktívny applet Tu.
Poznámky.
- Stredová rovina (priamka) je rovina (priamka) prechádzajúca stredom hyperboloidu.
- Asymptotická kužeľová plocha je rotačná plocha, ktorá sa dotýka rotačného hyperboloidu v nevlastnej kužeľosečke.
- Nevlastný (limitný) bod hyperboloidu (stotožnené body na nevlastnej kružnici) nazývame nevlastný h-bod 1. druhu.
- Nevlastné body priestoru Euklidovského priestoru, ktoré na ploche hyperboloidu neležia, nazývame nevlastný h-bod 2. druhu.
- Keďže rezy stredových rovín s hyperboloidom môžu byť trojakého typu, existujú tri typy hyperbolických h-priamok:
- ak prienik obsahuje len povrchovú priamku asymptotickej kužeľovej plochy (rovina sa dotýka hyperboloidu v nekonečne), tak tento prienik budeme považovať za nevlastnú h-priamku 1. druhu (rovina hyperboloid reálne pretne v komplexne združených rovnobežkách)
- ak stredová rovina nepretína hyperboloid, tak rezom je imaginárna kužeľosečka (elipsa), ktorú nazveme nevlastná h-priamka 2. druhu.
Modely
Poincarè model
Dynamický obrázok si otvoríte Tu.
Tvrdenie
Dôkaz
- Dôkaz prvej časti tohto tvrdenia vyplýva z vlastností stredového premietania, v ktorom sa kužeľová plocha obaľujúca hyperboloid zobrazí do kružnice . To znamená, že ľubovoľný bod hyperboloidu sa zobrazí do vnútra kruhu .
- Dôkaz druhej časti o priemete h-priamky (reálne stredovej hyperboly) rozdelíme na dve etapy i. a ii.
- Nech je dvojica združených bodov hyperboloidu a nech sú ich stredové priemety. Pre súčin vzdialeností
bodov od stredu hyperboloidu platí:
.
Dôkaz toho, že súčin vzdialeností je konštantný je prezentovaný v nižšie priloženom applete.
Dynamický obrázok si otvoríte Tu. - Musíme ešte dokázať, že priemety h-bodov h-priamky (hyperboly) v označení ležia na kružnici kolmej na kružnicu . Dôkaz je v ďalšej kapitole tejto práce. Pri dôkaze budeme potrebovať tvrdenie o mocnosti bodu ku kružnici.
- Nech je dvojica združených bodov hyperboloidu a nech sú ich stredové priemety. Pre súčin vzdialeností
bodov od stredu hyperboloidu platí:
Mocnosť bodu ku kružnici
Je daná kružnica a bod , ležiaci zvonka kružnice. Nech je sečnica kružnice vedená bodom a nech sú priesečníky sečnice s kružnicou . Pod mocnosťou bodu ku kružnici rozumieme číslo , pre ktoré platí: .
Je daná kružnica a bod , ležiaci zvonka kružnice. Nech je sečnica kružnice vedená bodom a nech sú priesečníky sečnice s kružnicou . Pod mocnosťou bodu ku kružnici rozumieme číslo , pre ktoré platí: .
Viac o mocnosti bodu ku kružnice nájdete v kurze Planimetria a stereometria Tu. Vlastnosť mocnosť stačí vhodne aplikovať na náš prípad. Ilustráciu tvrdenia o priemete h-priamky prezentuje nasledujúci applete. Podrobný dôkaz (časti ii.) nájde čitateľ v ďalšej podkapitole s názvom "Hyperbolická priamka". Pozrite si tiež kapitolu "The Poincaré Disk Model" v práci [HIT].
Beltramiho-Kleinov model
Model vznikne ako stredový priemet dvojdielneho hyperboloidu do roviny kolmej na os hyperboloidu, pričom
Model vznikne ako stredový priemet dvojdielneho hyperboloidu do roviny kolmej na os hyperboloidu, pričom
Zhrnutie
- Bodmi Beltrami Kleinovho modelu sú body Klein Disku.
- Priamkami sú tetivy tohto disku.
V obidvoch hyperbolických modeloch (Beltrami a Poincarè) neplatí axióma rovnobežnosti.
- V obidvoch prípadoch existuje viac ako jedna rovnobežka.
- Existencia rovnobežky vyplýva z prvých skupín axióm.
- V modeli "Sféra" nemáme zaručenú ani existenciu rovnobežky.
- Kleinov disk a Poincarè disk sú modely, ktoré vzniknú aj premietaním do vhodnej roviny. Pozri Disk a hyperboloid.
- Výhodou modelu Klein je, že priamky v tomto modeli sú euklidovské (rovné) tetivy. Nevýhodou je, že model nie je konformný (kruhy a uhly sú skreslené).
- Neeuklidovská hyperbolická geometria reprezentovaná Poincarè diskom je konformná.
Hyperbolická priamka
Pokračovanie dôkazu tvrdenia o priemete h-priamky, v ktorom využijeme tvrdenie o mocnosti bodu ku kružnici.
Tvrdenie
Priemetom h-priamky (hyperboly) do Poincarè disku je otvorený kružnicový oblúk, ktorý je kolmý na hranicu kruhu .
Pri dôkaze budeme potrebovať aj pojem dvojice inverzných bodov a pojem polárneho prvku v kruhovej inverzii. Viac o kruhovej inverzii nájdete v kurze Planimetria a stereometria
Tu. Najskôr dokážeme lemu:
Priemetom h-priamky (hyperboly) do Poincarè disku je otvorený kružnicový oblúk, ktorý je kolmý na hranicu kruhu .
Lema
Nech je daná kruhová inverzia určená kružnicou - hranicou kruhu a nech bod je obrazom bodu v tejto kruhovej inverzii. Zvoľme si ľubovoľnú ale pevne zvolenú kružnicu prechádzajúcu dvojicou inverzných bodov . Ak kružnica pozostáva výlučne len z dvojíc inverzných bodov vzhľadom na kružnicu - hranicu kruhu , tak kružnica pretína kružnicu - hranicu kruhu kolmo.
Nech je daná kruhová inverzia určená kružnicou - hranicou kruhu a nech bod je obrazom bodu v tejto kruhovej inverzii. Zvoľme si ľubovoľnú ale pevne zvolenú kružnicu prechádzajúcu dvojicou inverzných bodov . Ak kružnica pozostáva výlučne len z dvojíc inverzných bodov vzhľadom na kružnicu - hranicu kruhu , tak kružnica pretína kružnicu - hranicu kruhu kolmo.
Dôkaz
Otvorte si applet v programe GeoGebra - dôkaz Tu. Pozrite si tiež prácu [HYP].
V dôsledku lemy a predchádzajúcich častí dôkazu môžeme vysloviť tvrdenie.
- Nech body sú priemety bodov h-priamky . Pozrite si priložený obrázok.
- Podľa predchádzajúcej časti dôkazu (i.) platí
. - Odkiaľ: bod je obrazom bodu aj v kruhovej inverzii . Podobne to môžeme povedať aj o bodoch .
- Nech je kružnica určená bodmi , potom v dôsledku mocnosti bodu ku kružnici bude aj bod bodom kružnice .
- Teraz uvažujme o dotykových bodoch na dotyčniciach z bodu ku kružnici .
- Mocnosť bodov ku kružnici
- Z toho vyplýva, že body sú samodružné v kruhovej inverzii .
- Priamky sú dotyčnice ku kružnici . Odkiaľ .
- Kružnica je kolmá na kružnicu . Tým je dôkaz lemy ukončený.
Otvorte si applet v programe GeoGebra - dôkaz Tu. Pozrite si tiež prácu [HYP].
V dôsledku lemy a predchádzajúcich častí dôkazu môžeme vysloviť tvrdenie.
Poincarè diskový model (tiež sa používa označenie
Poincarè Disc) hyperbolickej roviny je prezentovaný v euklidovskej rovine ako
otvorený kruh
. Euklidovskú geometriu roviny môžeme považovať za „ontológiu pozadia“.
V predchádzajúcej časti sme uviedli, že tento otvorený kruh je stredovým priemetom dvojdielneho hyperboloidu. Uviedli sme tvrdenie, že v Poincarè diskovom modeli pre hyperbolické body a hyperbolické priamky platí:
V predchádzajúcej časti sme uviedli, že tento otvorený kruh je stredovým priemetom dvojdielneho hyperboloidu. Uviedli sme tvrdenie, že v Poincarè diskovom modeli pre hyperbolické body a hyperbolické priamky platí:
- vlastný bod je vnútorný bod kruhu, ktorý je priemetom vlastného h-bodu hyperboloidu;
- koncový bod (resp. nevlastný bod) ležiaci na hranici kruhu, ktorý je priemetom nevlastného bodu 1. druhu;
- priamka je otvorený kružnicový oblúk kruhu - je priemetom h-priamky (hyperboly), pričom tento oblúk leží na kružnici kolmej na hranicu kruhu
Pri zostrojovaní hyperbolickej priamky určenej dvoma bodmi kruhu s výhodou využijeme vlastnosti kruhovej inverzie a konštrukcie popísané v predchádzajúcom dôkaze.
Poznámky
- V ďalšej podkapitole navrhneme v prostredí GeoGebra konštrukciu a zároveň aj nástroj na zostrojenie hyperbolickej priamky určenej dvoma rôznymi bodmi v Poincarè modeli disku. V konštrukcii využijeme inverzné body.
- Pri riešení konštrukčných úloh v Poincarè modeli potrebujeme okrem konštrukcie hyperbolickej priamky potrebovať aj konštrukciu kružnice a ďalších základných euklidovských konštrukcií (kolmica, os úsečky a pod).
Nástroj hPriamka
Poznámky.
- Konštrukcie v Poincarè Disku si uľahčíme, ak v GeoGebre vytvoríme vlastné nástroje, ktorými sa "vykreslí" resp. zostrojí požadovaný útvar.
- Vychádzame z tvrdenia, že h-priamka sa zobrazí do kružnicového oblúku, ktorý leží na kružnici kolmej k Poincarè disku.
- Najskôr musíme popísať konštrukciu, ktorá vytvorí požadovaný kolmý oblúk (obraz h-priamky).
- Potom pomocou makier vytvoríme nástroj, pomocou ktorého sa zostrojí požadovaný kolmý oblúk.
Príklad (Vytvorenie nástroja).
Daný je kruh a body ležiace vnútri kruhu, pričom úsečka nie je priemerom. Zostrojte obraz hyperbolickej h-priamky určenej bodmi v prostredí GeoGebra.
Daný je kruh a body ležiace vnútri kruhu, pričom úsečka nie je priemerom. Zostrojte obraz hyperbolickej h-priamky určenej bodmi v prostredí GeoGebra.
Riešenie - zostrojenie kružnicového oblúka v Euklidovskej rovine
Predpokladajme, že aspoň jeden z bodov je vnútorný bod kruhu a je rôzny od stredu . Podľa už dokázaného tvrdenie je hľadaná h-priamka kružnicový oblúk, ktorý je určený bodmi a zároveň leží na kružnici kolmej ku kruhu . Pozrite si nasledujúci obrázok.
Postup euklidovskej konštrukcie.
Postup na vytvorenie nástroja "hPriamka" v GeoGebre, pomocou ktorého sa narysuje obraz hyperbolickej priamky v Poincarè modeli.
Predpokladajme, že aspoň jeden z bodov je vnútorný bod kruhu a je rôzny od stredu . Podľa už dokázaného tvrdenie je hľadaná h-priamka kružnicový oblúk, ktorý je určený bodmi a zároveň leží na kružnici kolmej ku kruhu . Pozrite si nasledujúci obrázok.
Postup euklidovskej konštrukcie.
- V kruhovej inverzii zostrojíme obrazy bodov .
- Zostrojíme kružnicu určenú bodmi alebo bodmi . Nájdeme priesečníky .
- Na kružnici vyznačíme menší z oblúkov, ktoré sú určené krajnými bodmi .
- Menší oblúk je hľadaný obraz hyperbolickej priamky . Túto konštrukciu si otvoríte Tu.
- úsečka je priemerom kružnice - v konštrukcii tento prípad má názov "Diameter"
- obidva body ležia na kružnici ale nie sú priemerom - v konštrukcii tento prípad má názov "Nevlastne", nájdete v nami vytvorenom applete Tu.
Postup na vytvorenie nástroja "hPriamka" v GeoGebre, pomocou ktorého sa narysuje obraz hyperbolickej priamky v Poincarè modeli.
- Spustite program GeoGebra a otvorte si súbor uložený s názvom "h-Priamka".
- V základnom Menu programu GeoGebra vyberte možnosť "Vytvoriť nový nástroj".
- Postupujte podľa pokynov pre vytvorenie nástroja:
- ako výstupné objekty vyberte oblúk "hPriamka" (otvorte si aj algebraické okno)
- ako vstupné objekty vyberte body:
- vhodne pomenujte nástroj, napr. "hPriamka", vyberte predtým vytvorený obrázok pre ikonu
- v nápovedi uveďte napr. "Ukáž dva body a potom klikni na kružnicu"
- zaškrtnite políčko "Ukázať na palete nástrojov" (nie je nutné).
- Ak už vidíte novú ikonku nástroja hPriamka, tak v tejto konštrukcii kliknite v stĺpci Súbor na Nový.
- Nákresňa je "čistá" ale ikonka hPriamka je tam (ak nie, tak Prispôsobte paletu nástrojov) . Teraz si vytvorte kružnicu a vhodne zväčšite plochu nárysne. Uložte si tento súbor napr. s názvom Nástroj hPriamka.
Nami novovytvorený nástroj hPriamka v GeoGebre na zostrojenie obrazu h-priamky v modeli
Poincaré Disc s polomerom si môžete otvoriť
Tu (je umiestnený vpravo na lište nástrojov).
Používanie nástroja hPriamka je analogické ako v euklidovskej rovine. Najskôr si zvoľte dva rôzne body vo vnútri kruhu - pomocou nástroja Bod. Potom aktivujte nástroj hPriamka a program vykreslí kružnicový oblúk, ktorý je priemetom h-priamky (hyperboly).
Používanie nástroja hPriamka je analogické ako v euklidovskej rovine. Najskôr si zvoľte dva rôzne body vo vnútri kruhu - pomocou nástroja Bod. Potom aktivujte nástroj hPriamka a program vykreslí kružnicový oblúk, ktorý je priemetom h-priamky (hyperboly).
Cvičenie.
Vytvorte Nástroj/Ikonu v GeoGebre, pomocou ktorého sa vykreslí obraz hyperbolickej úsečky (časti hyperboly) v modeli Poincarè Disku.
Využite kompletnú konštrukciu hPriamky.
Pokračujte v tejto konštrukcii krokmi:
Vytvorte Nástroj/Ikonu v GeoGebre, pomocou ktorého sa vykreslí obraz hyperbolickej úsečky (časti hyperboly) v modeli Poincarè Disku.
Využite kompletnú konštrukciu hPriamky.
Pokračujte v tejto konštrukcii krokmi:
- zostrojte stred oblúka "hPriamka", ktorý označte napr.
- potom zostrojte oblúk s názvom "hUsecka" určený stredom a krajnými bodmi a
- následne vytvorte GeoGebra nástroj s rovnakým názvom "hUsecka".
Nástroj hKružnica
Nech sú dané dva rôzne body a na hyperboloide.
- Uvažujme o kružnici , ktorej všetky body sú bodmi hyperboloidu. Symbolicky: .
- Nech bod je stredovo súmerný k bodu podľa stredu , potom bod je tiež bodom kružnice a zároveň bodom hyperboloidu.
- Nech je určená bodmi a bodom StredPremietania. Táto rovina pretína daný dvojdielny hyperboloid v hyperbole (v applete červená krivka).
- Zostrojme dotyčnice k tejto hyperbole v bodoch a ich priesečník .
- Potom platí nasledujúce tvrdenie, ktoré uvádzame bez dôkazu. K dôkazu sú potrebné širšie znalosti stredového premietania kužeľosečiek.
Poznámka.
Na základe tohto tvrdenia môžeme uskutočniť konštrukciu, pomocou ktorej zostrojíme kružnicu v Poincaré disku určenú stredom a bodom a na základe tejto konštrukcie aj nástroj v GeoGebre pomocou, ktorého narysujeme kružnicu v modeli Poincaré Disc.
Na základe tohto tvrdenia môžeme uskutočniť konštrukciu, pomocou ktorej zostrojíme kružnicu v Poincaré disku určenú stredom a bodom a na základe tejto konštrukcie aj nástroj v GeoGebre pomocou, ktorého narysujeme kružnicu v modeli Poincaré Disc.
Poznámka.
Teraz už máme tri základné (euklidovské) nástroje: hPriamku hUsecku a hKružnicu v Geogebre.
Teraz už máme tri základné (euklidovské) nástroje: hPriamku hUsecku a hKružnicu v Geogebre.
Poincare disk
Základné "hyperbolické" konštrukcie v Poincarè Disku , ktoré sú zovšeobecnením euklidovských konštrukcií, sú prezentované formou riešených úloh. Pri riešení úloh z z neeuklidovskej geometrie je vhodné, aby ste si najskôr stiahli applet "Poincaré Disk" vytvorený v prostredí GeoGebra. Pomocou tohto appletu vieme zostrojiť hyperbolickú úsečku a priamku; kružnicu určenú stredom a bodom resp. polomerom; vieme určiť vzdialenosť dvoch bodov.
Poincaré Disk si môžete stiahnuť Tu
Poincaré Disk si môžete stiahnuť Tu
Riešené úlohy z neeuklidovskej geometrie.
- Zostrojte rovnostranný trojuholník pomocou hyperbolických kružníc (pozrite si Euklidovo tvrdenie T/I).
Riešenie Tu. - Zostrojte hyperbolickú priamku , ktorá je osou úsečky , kde .
Návod:- Využitím Euklidovho tvrdenia T/I zostrojte hyperbolické rovnostranné trojuholník , kde je súmerný bod podľa priamky .
- V trojuholníku zostrojte os prechádzajúcu vrcholmi .
- Využite Euklidove tvrdenia T/IX a T/X.
- Riešenie Tu.
- Zostrojte hyperbolickú kolmicu na hyperbolickú priamku , ktorá prechádza bodom . Pomocou dotyčníc k hPriamkam ukážte, že uhly pri päte kolmice sú pravé. Návod: Využite Euklidove tvrdenia T/XI a T/XII.
- Zostrojte hyperbolickú rovnobežku k hyperbolickej priamke , ktorá prechádza bodom . Využite vlastnosť striedavých uhlov.
Poznámka.
Euklidove tvrdenia využívané v tejto časti platia aj v hyperbolickej geometrii, keďže sú nezávislé na piatom Euklidovom postuláte.
Euklidove tvrdenia využívané v tejto časti platia aj v hyperbolickej geometrii, keďže sú nezávislé na piatom Euklidovom postuláte.
Cvičenie I
Cvičenie.
- Dokážte, že
- Existuje práve jedna os uhla. Kniha I, Tvrdenie IX.
- Každá nenulová úsečka má práve jeden stred, a ten je jej vnútorným bodom. Kniha I, Tvrdenie X. Pozrite si os úsečky Tu
- Riešte úlohy (napr. č. 3, 11 a 12 ) zo zbierky " Základné euklidovské konštrukcie" Tu. Pokúste sa o riešenie aj ďalších úloh.
- Nech v rovnoramennom trojuholníku platí, že uhol pri základni trojuholníka je dvojnásobkom uhla pri vrchole .
Overte, že dĺžka ramena a dĺžka základne sú v zlatom pomere. Pozrite Euklidove Základy Kniha II,
Tvrdenie XI a otvorte applet
Tu.
Pomoc pri riešení úlohy: Do trojuholníka vpíšte trojuholník s ním podobný
otvorte applet Tu
a aplikujte Euklidovo tvrdenie Kniha 1., T/IV a T/V. Viac o zlatom pomere nájdete v prezentácii Tu. - Ukážte, že uhlopriečky obdĺžnika sú zhodné a že sa navzájom rozpoľujú. (Vytvorte applet, ktorý bude interpretovať túto vlastnosť.)
- Pomocou tvrdenia "Uhlopriečky obdĺžnika sú ..." ukážte:
Ak je pravouhlý s pravým uhlom pri vrchole , potom všetky jeho vrcholy ležia na kružnici, ktorej priemerom je strana . - Ukážte, že platí:
.
Uvedomte si, že pre polohu bodu vzhľadom na máme možnosti: . - Uveďte definíciu opačnej polroviny. (Pozrite si prácu: Monoszová, G.: Planimetria.)
- Dané sú tri nekolineárne body . Určte množinu (šrafovaním)
- Zostrojte rovnoramenný trojuholník so základňou pomocou dvoch zhodných hyperbolických kružníc (kružnice s rovnakým polomerom). Pomocou dotyčníc k hPriamkam a k hPriamkam určte veľkosti uhlov pri základni a presvedčte sa, že majú rovnakú veľkosť. Riešenie Tu.
- Nájdite stred kružnice(pozrite si Euklidovo tvrdenie: Kniha III, T/I). Riešenie Tu.
- Zostrojte hyperbolickú kolmicu na hyperbolickú priamku , ktorá neprechádza bodom .
- Zostrojte kružnicu vpísanú (resp. opísanú) do trojuholníka (pozrite si Euklidovo tvrdenie: Kniha IV, T/IV (resp. T/V)).
Základné hyperbolické konštrukcie v Poincare Disku . Applet si otvorte Tu.
Poznámky.
- Pri dokazovaní prípadov 1a, 1b najskôr ukážte existenciu daného útvaru a potom jeho jednoznačnosť.
- Cvičenie 2. Ukážte, že základňa trojuholníka je stranou pravidelného päťuholníka vpísaného do kružnice a rameno trojuholníka je jeho uhlopriečkou.
- Kolmé kružnice. Základ Tu. Kompletná konštrukcia Tu. GeoGebra s nástrojom "Kolmá kružnica" je Tu.