Euklidove Základy

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 
  1. ideálnym pravítkom a ideálnym kružidlom
  2. a konečným počtom krokov
    3. sa nazýva Euklidovská konštrukcia.
Každý krok elementárnej konštrukcie predstavuje zostrojenie
  1. priamky prechádzajúcej dvoma danými rôznymi bodmi alebo
  2. kružnice so stredom v danom bode a s daným polomerom alebo
  3. 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
  1. Zostrojenie rovnostranného trojuholníka. Kniha 1, Tvrdenie I.
  2. Zostrojenie osi daného uhla. Kniha 1, Tvrdenie IX.
  3. Zostrojenie stredu danej úsečky. Kniha 1, Tvrdenie X.
  4. Zostrojenie osi úsečky.

    5. Otvorte si konštrukciu Tu
  5. Zostrojenie kolmice v danom bode na danú priamku. Kniha 1, Tvrdenie XI.
    6. Mezi elementárne euklidovské konštrukcie zaraďujeme aj konštrukcie používané v školskej matematike už na 1. stupni ZŠ
  6. "Prenesenie" danej úsečky na danú polpriamku. Kniha 1, Tvrdenie II a III.
  7. "Prenesenie" daného uhla na danú polpriamku v danej polrovine.
Poznámky.
  1. 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 .
  2. 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).
  3. 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?"
  4. 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 \small k(S, r) považujeme za zostrojenú, ak je daný bod \small S a úsečka r .
K4: Ak sú dané dve rôznobežky a,b , potom považujeme ich priesečník \small X za zostrojený.
K5: Ak je daná kružnica a jej sečnica, potom považujeme ich priesečníky \small X_1 ≠ X_2 za zostrojené.
K6: Ak sú dané dve kružnice, o ktorých vieme, že sa pretínajú, potom považujeme ich priesečníky \small X_1 ≠ X_2 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.
Riešiť konštrukčnú úlohu znamená:
  1. odvodiť vzťahy medzi zadanými a hľadanými prvkami - náčrtok, rozbor,
  2. konštrukčne doplniť zadané prvky ďalšími tak, aby bol útvar zostrojiteľný - postup konštrukcie a jeho grafické prevedenie - konštrukcia,
  3. urobiť dôkaz, že zostrojený útvar je ten, ktorý bolo treba zostrojiť - dôkaz správnosti konštrukcie,
  4. stanoviť, za ktorých podmienok je úloha riešiteľná a prípadne koľko má vyhovujúcich riešení - diskusia.
\( .\)