Předmluva Omnia sponte fluant, absit violentia rébus! J.A.K. Toto je průvodce přednáškou z Konstrukční geometrie pro jarní semestr 2015. První motivace, předpoklady a cíle tohoto kurzu jsou zformulovány v úvodní kapitole. Probíraná látka je rozčleněna do tří hlavních bloků: klasická konstrukční geometrie, přehled užitečných geometrických zobrazení a úvod do zobrazovacích metod. Stručné shrnutí celého semestru najdete na str. 149-156. Z dostupných učebnic nejčastěji používáme [A] a [Ha], a to zejména v první části. Jedná se o moderní interpretace zásadního díla [E], jehož český překlad s komentáři [Ey] lze najít ve všech knihovnách a mnoha knihkupectvích. Další dostupné zdroje, ze kterých čerpáme, jsou knihy [Ku, KU2]. K úvodu do zobrazovacích metod používáme [Me, U] a [R]. K samostatnému studiu doporučujeme celkem přístupný text [L] a velmi stručné, o to však poučnější, pojednání [Ha2]. Další odkazy a pracovní listy lze najít ve studijních materiálech v IS.1 Předmět je zakončen zkouškou, jež sestává z písemné a ústní části; přístup k písemné části je podmíněn zápočtem ze cvičení, přístup k ústní části je podmíněn alespoň 50% úspěšností u písemky. Brno, 24. května 2015 ihttpi/Vis.muni.cz/el/1441/jaro2015/MA2BP_PKG/um/ Vojtěch Žádník Obsah I Úvod 5 1 Eukleidovská a neeukleidovská geometrie....................... 5 2 Různá pojetí geometrie ................................ 6 3 Předpoklady a cíle................................... 7 II Klasická konstrukční geometrie 9 4 Základy......................................... 9 5 Úloha Apollóniova a úlohy příbuzné ......................... 45 6 Kuželosečky....................................... 53 7 Typické úlohy...................................... 57 III Geometrická zobrazení 63 8 Panoptikum geometrických zobrazení......................... 63 9 Přehledy a poznámky ................................. 90 10 Typické úlohy...................................... 94 IV Zobrazovací metody 101 11 Úvod........................................... 101 12 Volné promítání..................................... 103 13 Mongeovo promítání.................................. 106 14 Kótované promítání .................................. 118 15 Axonometrie a kosoúhlé promítání.......................... 119 16 Perspektiva....................................... 125 17 Cyklografie....................................... 129 18 Typické úlohy...................................... 130 V Dodatky 139 19 K Pythagorově větě .................................. 139 20 K eukleidovským konstrukcím............................. 140 21 K úlohám Apollóniovým................................ 144 Závěrečné shrnutí 149 4_ Literatura 157 Rejstřík 161 Přílohy 163 KAPITOLA Úvod 1 Eukleidovská a neeukleidovská geometrie Eukleidovskou geometrií se tradičně myslí geometrie tak, jak je představena v Eukleidových Základech [E] (cca 300 př. K.), resp. v jejích geometrických knihách. Jedná se o ucelený deduktivní výklad odvozený z několika axiómů a postulátů. Axiómy se týkají obecných veličin. Postuláty jsou ryze geometrického charakteru a vymezují vztahy mezi primitivními pojmy (bod, přímka) a základními relacemi (incidence, shodnost a rovnobežnosť). V Základech se však používá několik dalších předpokladů, aniž by byly jakkoli formulovány (viz axiomy uspořádání a spojitosti). Přesný axiomatický popis, založený na tom Eukleidově, pochází od D. Hilberta [Hi] (kolem 1900), viz též [Ha, L] nebo přílohu na str. 171. Obrázek 1.1: [Ko] Miniatura Eukleida ze 6. století. Už na první pohled je patrné, že jedny z klíčových rolí v Eukleidově geometrii hrají relace shodnosti a rovnobežnosti. Uvědomte si, že v Eukleidově pojetí je shodnost docela abstraktní koncept; zejména (z pochopitelných důvodů) nepředstavuje žádné číselné vyjadřování délek úseček, velikostí úhlů apod.! Rovnoběžnost úzce souvisí s postulátem, který je v našem značení pátý a který je v rámci Eukleidova systému ekvivalentní s tvrzením, že „každým bodem ke každé přímce prochází jediná rovnoběžka". Právě diskuze nad původní Eukleidovou formulací měla dalekosáhlé důsledky a vedla k vynálezu neeukleidovských geometrií. 6 I Úvod Velmi hrubě řečeno, eukleidovská geometrie je založena zejména na relacích shodnosti a rovnobežnosti. Uvažujeme-li geometrii s relací rovnobežnosti, aniž bychom užívali shodnosti, jsme na stopě afinní geometrii, o které se několikrát zmiňujeme níže. Naopak, neuvažujeme-li rovno-běžnost, pouze shodnost, dospějeme ke geometriím neeukleidovským. Tyto jsou dvojího typu: • eliptická — „žádné rovnoběžky", • hyperbolická — „více rovnoběžek" (k jedné přímce jdoucí daným bodem). Níže naznačíme, proč eliptický případ není kompatibilní s axiomy uspořádání (což je také důvod, proč se nejdřív přišlo na geometrii hyperbolickou). V tomto smyslu má eliptická geometrie velmi blízko ke geometrii projektivní, o níž si také něco řekneme. Právě tyto objevy a úplné porozumění neeukleidovským geometriím (kolem 1830) představují jedno z nejzajímavějších dobrodružství v historii matematiky; důležitá jména, která se v této souvislosti připomínají, jsou zejména J. Bolyai, N.I. Lobačevský a C.F. Gauss. Přestože je tato látka zajímavá také z konstrukčního hlediska, nebudeme se jí v tomto kurzu vůbec zabývat. Hezký úvod a další odkazy lze najít např. v [Ha] nebo [D]. 2 Různá pojetí geometrie V této podkapitole se zmíníme o různém pojetí geometrie podle použité metody (tedy nikoli podle objektu našich úvah nebo zájmů). Z naznačených možností budeme v tomto kurzu prosazovat zejména postoj syntetický a transformační. 2.1 Stanovisko axiomatické Tento postoj je představen již v Základech a netýká se samozřejmě pouze geometrie. Ukázkou axiomatického přístupu ke geometrii v moderní a úplné podobě jsou Hilbertovy axiomy [Hi]. V této souvislosti se rozlišuje mezi axiomatickou teorií a jejím modelem. Je sice pravda, že v případě eukleidovské geometrie jsou všechny modely „stejné", nicméně formálně je třeba rozlišovat. Např. to, co běžně nazýváme standardní eukleidovskou rovinou, je jen standardním modelem axiomatické teorie popsané axiomy na str. 171. V této souvislosti je vhodné se alespoň zamyslet nad možnou axiomatizací afinní a projektivní geometrie, o nichž se zmiňujeme níže. 2.2 Stanovisko syntetické Až do 17.-18. století to byl v podstatě výhradní přístup ke geometrii. Syntetickou geometrií se myslí geometrie bez souřadnic nebo, poněkud úžeji, geometrie konstrukční. Tato metoda má jistá omezení: Jednak existují úlohy, které nejsou konstrukčně řešitelné, viz např. dodatek 20.1 pojednávající o proslulých geometrických problémech starověku. Jednak při konstrukcích pozorujeme značný rozdíl mezi úlohami v rovině a v prostoru, viz např. konstrukce (průmětů) pravidelných mnohostěnů. 2.3 Stanovisko analytické Můžeme stručně charakterizovat jako stanovisko početní, obvykle je míněno počítání v souřadnicích. Počátky analytické geometrie jsou tradičně spojovány se jménem R. Descarta (kolem 1637), mělo by však být zřejmé, že se nemohlo jednat o analytickou geometrii, jak ji chápeme dnes!1 1V té době stále nebyla vynalezena reálná čísla... 3 Předpoklady a cíle 7 Nicméně Descartovou inovací byla aplikace algebry k řešení geometrických úloh. Ve starší literatuře je často analytická geometrie jmenována jako algebraická, tento přívlastek má však dnes poněkud posunutý význam. 2.4 Stanovisko transformační Všechny shodnosti eukleidovské roviny tvoří grupu. Tato je podgrupou grupy afinních transformací, jež je zase podgrupou grupy projektivních transformací atd. Stanovisko transformační, neboli Kleinovo, je založeno právě na pojmu transformační grupy. Tento postoj velmi pomáhá při organizaci geometrických informací a od své přesné formulace (1872) velmi ovlivnil další vývoj geometrie. Podle F. Kleina je ta či ona geometrie zcela charakterizována grupou odpovídajících geometrických transformací. V tomto duchu je geometrie studiem vztahů a vlastností, které jsou invariantní vzhledem k působení nějaké transformační grupy. 2.5 Stanovisko diferenciální Toto pojetí je spojováno s B. Riemannem (okolo 1854) a dovoluje opravdu dalekosáhlá zobecnění. Zde je geometrie určena infinitesimálně tzv. Riemannovou metrikou. V tomto duchu jsou eukleidovské prostory Riemannovými prostory s „nulovou křivostí", zatímco eliptické a hyperbolické prostory jsou Riemannovy prostory s nenulovou, ale „konstantní křivostí". Tento přístup je nezbytný např. při studiu vlastností některých kartografických zobrazení. 3 Předpoklady a cíle Kromě obvyklého přehledu školské geometrie nepředpokládáme žádné speciální znalosti a dovednosti. Hlavním předpokladem k uspokojivému absolvování tohoto kurzu by měla být schopnost zorganizovat a potřeba vysvětlovat vybrané geometrické poznatky, jejich návaznosti a konstrukční uplatnění. Celý kurz začínáme přehledem základních a/nebo konstrukčně zajímavých témat z Euklei-dových Základů (podkap. 4). Ty jsou veskrze planimetrické; ze stereometrických úloh se soustředíme na konstrukce pravidelných konvexních mnohostěnů, jimiž tato část vrcholí. Z klasické konstrukční geometrie, která není zastoupena v Základech, se podrobněji věnujeme Apollóniově úloze o dotyku kružnic (podkap. 5). Při řešení těchto úloh se s úspěchem používá geometrických transformací, ke kterým se vracíme v samostatné kapitole (kap. III). Nejobecnější studovanou skupinou zobrazení budou zobrazení afinní a projektivní. S těmito závěry vstoupíme do poslední kapitoly (kap. IV), v níž diskutujeme problémy spojené se zobrazováním trojrozměrného prostoru do roviny. Představíme několik základních metod tak, abychom byli schopni věrně zobrazit jakýkoli prostorový objekt, zejména tedy objekt krásný (viz např. obr. 3.2). Typické úlohy, které bychom na konci semestru měli umět řešit, zahrnují např.: • sestrojit zlatý řez dané úsečky, • sestrojit pravidelný pětiúhelník a další pravidelné mnohoúhelníky, • pro daný mnohoúhelník sestrojit čtverec se stejným obsahem, • sestrojit kružnici, která se dotýká tří daných kružnic, resp. přímek nebo bodů, • charakterizovat základní transformace v rovině a umět je konstrukčně použít, • sestrojit obecný průmět pravidelného mnohostěnu či jiného tělesa, 8 I Úvod • sestrojit průnik přímky s rovinou, průsečnici dvou rovin apod., • sestrojit řez roviny s tělesem a zobrazit tento řez ve skutečné velikosti, • určit vzdálenost bodu od přímky, resp. roviny, • apod. Při konstrukcích rozlišujeme mezi rysovací a myšlenkovou přesností — ta první zůstane naším nesplněným snem, na té druhé trváme! S výše uvedenými úlohami a jejich řešením si samozřejmě osvojíme značné množství poznatků, které bychom měli umět (aspoň rámcově) zdůvodňovat. Současně by nám mělo záležet na jejich správné logické posloupnosti, tj. uvědomovat si (aspoň rámcově) na čem to či ono tvrzení závisí a co z něj dále vyplývá... Obrázek 3.2: [A] Průmět pravidelného dvacetistěnu v Základech a ve volném rovnoběžném promítání. KAPITOLA I I Klasická konstrukční geometrie Tuto kapitolu začíname se skutečnou klasikou — s Eukleidovými Základy. Tím si zopakujeme mnoho dobře i méně dobře známych poznatků, zejména si připomeneme některé pozapomenuté souvislosti. Následně si všimneme několika témat, která v Základech řešena nejsou: větší pozornost budeme věnovat úlohám Apollóniovým, stručně zmíníme několik věcí k definicím a vlastnostem kuželoseček. 4 Základy Velmi rámcový přehled Základů je následující: • knihy I-IV a VI, planimetrie, • knihy VII-IX, aritmetika, • knihy XI-XIII, stereometrie. Knihy V a X mají poněkud specifické postavení, viz dále. 4.1 Axiómy a postuláty V každé knize najdeme několik definic, z nichž celou řadu známe téměř ve stejném znění už ze školy. Některé pojmy/relace jsou nedefinované neboli primitivní (např. shodnost úseček a úhlů), jiné jsou sice nějak definované, ale ve skutečnosti jsou též primitivní (např. definice bodu a přímky) Na začátku I. knihy je formulováno několik axiómů a postulátů. Axiómy se týkají obecných veličin; na str. 165 jsou vyjmenovány jako Common notions a tady je nepřepisujeme. Postuláty jsou ryze geometrického charakteru:1 (i) Každé dva různé body spojuje přímka. (ii) Každou přímku lze na každé straně libovolně prodloužit. 1V různých edicích jsou axiomy/postuláty organizovány různě, sr. např. s [Ev]- My odkazujeme na vydání odvozená z překladu T. Heatha, viz [HTD]. 10 II Klasická konstrukční geometrie (iii) Lze vytvořit kružnici s libovolným daným středem procházející libovolným jiným bodem. (iv) Všechny pravé úhly jsou shodné. (v) Když přímka protínající dvě jiné přímky tvoří vnitřní úhly na jedné straně menší než dva pravé, pak tyto dvě přímky (dostatečně prodlouženy) setkají se na té straně, kde jsou úhly menší dvou pravých. V (i) a (ii) je přímkou zřejmě myšlena úsečka, a to jediná. Postuláty (i)-(iii) představují jediné konstrukční nástroje, se kterými si celé Základy vystačí — ideální nekonečně dlouhé pravítko a ideální nekonečně rozkročitelné kružítko. Konstrukce, které lze realizovat s těmito nástroji se nazývají eukleidovské konstrukce, viz též dodatek 20. Postulát (i) je typickým axiómem incidence, postulát (iv) nám říká něco o základní relaci shodnosti. Postulát (v) je přezdíván jako dodatečný, neboť je původně formulován dodatečně až před tvrzením 1.29.2 Často bývá nahrazován tzv. postulátem o rovnoběžkách, se kterým je ekvivalentní, viz odst. 4.4. Obrázek 4.1: [A] Eukleidův dodatečný postulát: a + (3 < 2R =4> g a h se protínají. V Základech se však používá několik předpokladů, aniž by byly jakkoli formulovány. Přesný axiomatický popis, založený na tom Eukleidově, pochází od D. Hilberta [Hi] (kolem 1900), viz přílohu na str. 171. Eukleidovy nevyslovené axiómy se týkají hlavně uspořádání a spojitosti. Typický axióm uspořádání je např.: • Pro tři různé body ležící na jedné přímce platí, že právě jeden z nich je mezi zbylými dvěma. Tento požadavek nám mj. říká, že přímka není uzavřená křivka, což ze samotného postulátu (ii) nevyplývá. To v důsledku znamená, že body na přímce lze uspořádat a toto uspořádání je úplné. Uvědomte si, že teprve po této přípravě je možné uspokojivě definovat pojem úsečky! Axiómy spojitosti je možné nahradit jediným, tzv. Dedekindovým axiómem. Ten lze v řeči uspořádání a tzv. Dedekindových řezů formulovat následovně: • Body na přímce neobsahují (vzhledem k výše zmíněnému uspořádání) Dedekindovy řezy typu „skok" a „mezera". 4.2 Přehled Od str. 165 je přiložen stručný přehled nej citovanějších tvrzení ze všech geometrických knih podle [Ha]. Nyní shrnujeme několik podrobností k jednotlivým knihám, viz [A]. 21.29 = 29. věta v I. knize Základů 4 Základy 11 I. Základy planimetrie Základní a dobře známá tvrzení a konstrukce včetně všech vět o shodnostech trojúhelníků (1.1-26); teorie rovnoběžek (1.27-31); věta o součtu vnitřních úhlů v trojúhelníku (1.32); obsahy rovnoběžníků a trojúhelníků (1.33—45); Pythagorova věta (resp. Eukleidova věta o odvěsně) a věta opačná (1.47—48). K vybraným tématům se vracíme v odst. 4.4 a 4.6. II. O pravoúhelnících Většina tvrzení se týká tzv. geometrické algebry; konstrukce zlatého řezu (11.11); kosinová věta (11.12—13); kvadratura obecného mnohoúhelníku (11.14). K vybraným tématům se vracíme v odst. 4.6, 4.8, 4.9 a 4.11. III. Geometrie kružnic Věty o kružnicích, jejich průnicích a dotyku, sečnách, tečnách a asociovaných úhlech: např. konstrukce tečny (III.16-17); věty o středových a obvodových úhlech (III.20—21), Thaletova věta (III.31), věta o úsekových úhlech (III.32); mocnost bodu ke kružnici (III.35—37). K vybraným tématům se vracíme v odst. 4.12. IV. Pravidelné mnohoúhelníky Konstrukce některých mnohoúhelníků vepsaných/opsaných dané kružnici a konstrukce kružnice opsané/vepsané danému mnohoúhelníku: jmenovitě pro obecný trojúhelník (IV.2-5), čtverec (IV.6-9), pravidelný pětiúhelník (IV.10-14), pravidelný šestiúhelník (IV.15), pravidelný 15-tiúhelník (IV. 16). K vybraným tématům se vracíme v odst. 4.14. V. Obecná teorie proporcí Mnohem abstraktnější kniha než ostatní, nezávislá na předchozích, nutná pro následující; pojednává o poměrech a proporcích obecných veličin (proporce je rovnost dvou poměrů), přičemž se myslí i na nesouměřitelné veličiny (tj. veličiny, jejichž poměr není racionální číslo, viz Def.V.5); typické tvrzení pro představu: a : b — c : d =4> a : c — b : d (V. 16). VI. Geometrie podobných útvarů Základní tvrzení (VI.1) mluví o proporcích mezi obsahy trojúhelníků a velikostmi jejich základen za předpokladu, že mají stejnou výšku; charakterizace podobných trojúhelníků (VI.2,4,5) konstrukce geometrického průměru (Eukleidova věta o výšce) (VI. 13); vyjádření poměru obsahů podobných mnohoúhelníků pomocí koeficientu podobnosti (VI. 19—20); pokračování geometrické algebry — řešení obecné kvadratické rovnice (VI.28-29); další zobecnění Pythagorovy věty (VI.31). K vybraným tématům se vracíme v odst. 4.16 a 4.18. VII. Základní aritmetika Eukleidův algoritmus k nalezení největšího společného dělitele daných čísel (VII.1—3); poměry a součiny čísel (VII.17-19); 12 II Klasická konstrukční geometrie VIII. a IX. Teorie čísel Geometrické posloupnosti čísel; čtvercová a kubická čísla; věta o počtu prvočísel (IX.20); sudá, lichá a dokonalá čísla. X. Nesouměřitelné veličiny Nejobsáhlejší kniha ze všech: dennice (Def.X.l) a charakterizace (X.5-6) souměřitelných a nesouměřitelných veličin; existence nesouměřitelných veličin (X.10); vztahy mezi souměřitelností a poměry, součty a dalšími operacemi s veličinami; klasifikace nesouměřitelných veličin;...... XI. Základy stereometrie Věty o rovnobežnosti a kolmosti přímek a rovin (XI.1-19); prostorové úhly (XI.20-23); o rovnoběžnostěnech a jejich objemech (XI.24—37); dvě věty s trojbokými hranoly (XI.38-39). K vybraným tématům se vracíme v odst. 4.20. XII. Obsahy a objemy Myšleno obsahy a objemy pomocí Eudoxovy exhaustivní metody: obsah kruhu (XII.2); objem jehlanu (XII.3—9); objem válce a kužele (XII.10-15); objem koule (XII.18). K vybraným tématům se vracíme v odst. 4.20. XIII. Pravidelné mnohostěny Věty o zlatém řezu (XIII.1-6); věty o pětiúhelníku (XIII.7-15); konstrukce pravidelných mnohostěnů (XIII.13—17), porovnání jejich stran a zdůvodnění, že jich není více (XIII.18). K vybraným tématům se vracíme v odst. 4.21. 4.3 Cvičení (1) Na vybraných pojmech porovnejte definice v Základech [E] s těmi, které znáte ze školy. (2) Najděte nějaké tvrzení v Základech, které neznáte ze školy, a naopak. (3) Utvořte si představu o struktuře Základů — nejlépe tak, že si zapamatujete řazení některých význačných tvrzení v jednotlivých knihách. (4) Utvořte si představu o rozdílech mezi axiomatickým systémem Eukleidovým [E] a Hilberto-vým [Hi], příp. jiným. 4.4 Postulát o rovnoběžkách Jak jsme zmínili výše, postulát (v) je označován jako dodatečný, neboť je původně formulován až před tvrzením 1.29 a nikoli na začátku s ostatními. Tento postulát se bezprostředně týká rovnobežnosti a často bývá nahrazován tzv. postulátem o rovnoběžkách, se kterým je ekvivalentní, viz Věta (*) na str. 14. Přitom rovnoběžnost přímek je definována následovně (Def.1.23): Přímky jsou rovnoběžné, pokud leží v téže rovině a nemají žádný společný bod. 4 Základy 13 Co je na postulátu (v) nezávislé Prvních 28 tvrzení v I. knize je na postulátu (v) nezávislých — jsou to např.: 1.4 Věta SUS. 1.5-6 Rovnoramenné trojúhelníky jsou charakterizovány rovností úhlů při základně. 1.8 Věta SSS. 1.11-12 Konstrukce kolmice k dané přímce daným bodem. 1.16 Věta o vnějším úhlu trojúhelníku. [ Zde se poprvé silně používá nevyslovených předpokladů o uspořádání bodů na přímce. ]3 1.17-20 Známé nerovnosti v trojúhelníku.4 1.23 Konstrukce daného úhlu na dané polopřímce. 1.26 Věta USU. 1.27 Shodné střídavé úhly implikují rovnoběžnost přímek. [Zdůvodněno nepřímo pomocí 1.16.] Kromě těchto tvrzení je na (v) nezávislé také např.: 1.31 Konstrukce rovnoběžky k dané přímce daným bodem. [Konstrukce podle 1.23, zdůvodnění podle 1.27.] K Obrázek 4.2: [A] 1.27: a = 7 =4> h\\g. 1.29: h\\g =4> a = 7. Co na postulátu (v) závisí Naopak, řada dalších tvrzení je na pátém postulátu závislá, příp. je s ním ekvivalentní. První takové tvrzení je: 1.29 Věta o střídavých úhlech, viz obr. 4.2 (nebo přílohu na str. 172). [Dokázáno nepřímo: a ^ 7 =4> a + (3 ^ 7 + (3 =4> 2R ^ 7 + (3; odtud podle (v) plyne, že se přímky h, g protínají, tedy nejsou rovnoběžné. ] Právě z 1.29 přímo vyplývá jednoznačnost rovnoběžky sestrojené podle 1.31: 3To je hlavní důvod, proč Věta 1.16 a všechny její důsledky neplatí v eliptické geometrii (jež je lokálně modelovaná na sféře)! 4Např. 1.17 je tvrzení opačné k postulátu (v), 1.20 je trojúhelníková nerovnost. 14 II Klasická konstrukční geometrie Věta. Každým bodem ke každé přímce prochází právě jedna rovnoběžka. Toto tvrzení je asi nejznámější věta, která je s postulátem (v) ekvivalentní. Další tvrzení závislá na tomto postulátu jsou: 1.32 Věta o součtu vnitřních úhlů v trojúhelníku, viz obr. 4.3. [Dokázáno přímo z 1.29: CE\\AB a' — a a (3' — (3; odtud plyne, že a' + (3' — a + (3 a a + 13 + 7 = 2R. ] Obrázek 4.3: [A] 1.32: Vnější úhel v libovolném trojúhelníku je roven součtu protějších vnitřních úhlů a součet všech vnitřních úhlů je roven dvěma pravým. 1.33-45 Věty o rovnoběžnících a trojúhelnících a jejich obsazích, viz odst. 4.6. 1.47 Pythagorova věta, jakožto dvakrát Eukleidova věta o odvěsně, viz obr. 4.4. Důkaz. F BAG je čtverec a úhel BAC je pravý, tudíž body G, A, C leží na jedné přímce, a ta je rovnoběžná s F B (1.27). Odtud obsah FBA = obsah FBC (1.37) = obsah ABD (1.4) = obsah PBD (1.37). Proto má čtverec F BAG stejný obsah jako obdélník PBDL. Stejným způsobem se zdůvodní, že čtverec KCAH má stejný obsah jako obdélník PCEL. Dohromady tedy platí, že čtverec nad BC má stejný obsah jako součet čtverců nad BA aAC. □ Obrázek 4.4: [A] 1.47: V pravoúhlém trojúhelníku BAC ozn. P patu výšky z vrcholu A. Potom platí BPBC = BA2 aCPCB = CA2, tudíž BC2 = BA2 + AC2. Kromě těchto ukázek z I. knihy závisí na postulátu o rovnoběžkách většina geometrických tvrzení z ostatních knih Základů... 4 Základy 15 4.5 Cvičení (1) Pomocí ideálních eukleidovských nástrojů sestrojte: kolmici k dané přímce daným bodem, rovnoběžku k dané přímce daným bodem apod. (2) Pomocí omezených eukleidovských nástrojů (krátké pravítko, malé nebo dokonce zaseknuté kružítko) sestrojte: spojnici dvou bodů, rovnostranný trojúhelník, znovu (1) apod. (3) Dokažte, že si umíte představit sférický trojúhelník, ve kterém neplatí 1.16. 4.6 Kvadratura mnohoúhelníku Kvadraturovat nějaký plošný útvar znamená sestrojit čtverec, který má stejný obsah (přičemž sestrojit jako obvykle znamená sestrojit eukleidovsky). Posloupnost tvrzení v [E] (počínaje 1.34 a vrcholíce 11.14) řeší tento problém pro libovolné mnohoúhelníky. Pojem obsahu není v Základech nijak vymezen, avšak nakládá se s ním jako s každou jinou veličinou podle vyslovených axiómů (viz Common notions na str. 165). Zejména platí, že shodné útvary mají stejný obsah. Konstrukce 1.35-38 Rovnoběžníky, resp. trojúhelníky, se stejnou základnou a výškou mají stejný obsah. [ Úvodní tvrzení z této série je na obr. 4.5: zdůvodnění je založeno na shodnosti trojúhelníků ABE a DCF.} Obrázek 4.5: [Ej] 1.35: Rovnoběžníky se stejnou základnou a výškou mají stejný obsah. 1.42 Konstrukce rovnoběžníku, jenž má stejný obsah jako daný trojúhelník. [Pomocí prodloužené střední příčky, viz např. část obr. 4.9... ] 1.43-45 Konstrukce rovnoběžníku, jenž má stejný obsah jako daný mnohoúhelník. Podrobnosti. Klíčový krok je v 1.44, viz obr. 4.6: Podle 1.42 se sestrojí rovnoběžník FEBG, jehož obsah je stejný jako obsah daného trojúhelníku; rovnoběžník FEAH se doplní tak, aby AB byla daná úsečka; spojí se HB, odtud K, dále M a, L jako na obrázku. Každý rovnoběžník je úhlopříčkou rozdělen na dva stejné trojúhelníky (1.34), proto má doplňkový rovnoběžník ABML stejný obsah jako FEBG (1.43). 16 II Klasická konstrukční geometrie Obrázek 4.6: [A] 1.44: Konstrukce rovnoběžníku, který má dánu jednu stranu a stejný obsah jako daný trojúhelník. Ostatní je zřejmé: Obecný mnohoúhelník lze vždy rozdělit na trojúhelníky; tyto trojúhelníky lze podle 1.44 přeměnit na rovnoběžníky, které se shodují v jedné straně (a vnitřních úhlech); z těchto rovnoběžníků lze složit jeden rovnoběžník, a ten má stejný obsah jako daný mnohoúhelník. □ 11.14 Konstrukce čtverce, jenž má stejný obsah jako daný mnohoúhelník. Podrobnosti. Shrnutí předchozího + vlastní kvadratura: Podle 1.45 se sestrojí pravoúhelník BCDE, který má stejný obsah jako daný mnohoúhelník; doplní se F tak, aby EF — ED, dále G — střed BF, kružnice GF a bod H na této kružnici a na kolmici k BE. Potom, podle II.5 (viz obr. 4.10) a 1.47, platí BE-EF + EG2 = GF2 = GH2 = EG2 + EH2, tzn. BE ■ EF — EH2, tudíž EH je stranou hledaného čtverce. □ Obrázek 4.7: [A] 11.14: Konstrukce strany čtverce, který má stejný obsah jako daný mnohoúhelník. Všimněte si, že se znalostí Thaletovy věty (která je však formulovaná až v III.31) lze úsečku E H interpretovat jako výšku v pravoúhlém trojúhelníku BHF. V důkaze 11.14 se tedy vlastně zdůvodňuje tzv. Eukleidova věta o výšce.5 Ke kvadratuře pravoúhelníku lze však stejně dobře použít Eukleidovu větu o odvěsně (viz 1.47), která při rýsování vždycky zabírá o něco méně místa. 6 Jiné zdůvodnění Eukleidovy věty o výšce založené na podobnosti trojúhelníků plyne z VI.8; konstrukce je samozřejmě tatáž, viz VI.13. 4 Základy 17 Stříhání Spousta předchozích argumentů byla založena na shodnostech částí, z nichž se skládají dané útvary se stejným obsahem (viz např. 1.35, 1.42). To znamená, že stejnoplochost lze v těchto případech názorně demonstrovat tak, že se jeden útvar rozstříhá a ze vzniklých částí se složí ten druhý. Ve výše diskutované kvadratuře mnohoúhelníku nemusí být na první pohled zřejmé, jak by se měly stříhat stejnoploché pravoúhelníky tak, aby z jednoho šel složit druhý. To si nyní vysvětlíme nad obr. 4.8: Věta. Dva pravoúhelníky mají stejný obsah právě tehdy, když jeden lze rozstříhat na části, z nichž lze složit ten druhý. Důkaz. Implikace zprava doleva je triviální, dokazujeme pouze opačné tvrzení: Pravoúhelníky AD E F a ALMB položíme přes sebe a doplníme K jakožto průsečík F E a LM. Podle 1.43 víme, že AD E F a ALMB mají stejný obsah, právě když průsečík R = BM n DE leží na úhlopříčce AK doplněného pravoúhelníku. Tato podmínka je splněna, právě když trojúhelníky FBX a Y DL jsou shodné, což je ekvivalentní s tím, že jsou shodné trojúhelníky FEY a XML. (2) Dokažte, že umíte kvadraturovat obecný mnohoúhelník. (3) Uvědomte si, že kvadraturu specifického mnohoúhelníku lze často provést specifickým a zpravidla efektivnějším způsobem... (4) Uvědomte si, že kvadraturovat jiné útvary než mnohoúhelníky může být docela problém (viz 20.1). (5) Sestrojte svůj vlastní důkaz Pythagorovy věty pomocí rozstříhání dvou menších čtverců. 4.8 Geometrická algebra Tvrzení, která se řadí do této skupiny, nějak souvisí (nebo mohou souviset) s algebrou a v Základech jsou koncentrovány zejména ve II. knize. Patří sem také např. tvrzení 1.44 (viz obr. 4.6), které lze chápat jako geometrické řešení lineární rovnice S — ax, kde S je obsah daného trojúhelníku a a, resp. x je velikost dané, resp. hledané strany pravoúhelníku se stejným obsahem. Úvodních několik tvrzení ze II. knihy lze považovat za známé algebraické rovnosti v geometrickém převleku; na následujících obrázcích jsou dvě taková tvrzení na ukázku. A C O B Obrázek 4.10: [A] II.5: Pokud je C středem úsečky AB a D je libovolný bod mezi C a B, potom platí AD-BD + CD2 = CB2. 4 Základy 19 Obrázek 4.11: [A] II.6: Pokud je C středem úsečky AB a D je libovolný bod na téže přímce vpravo od B, potom platí AD ■ B D + C B2 — CD2. Poznámky Jedna z možných algebraických interpretací uvedených tvrzení je následující. Při značení \AB\ b a \DB\ —: x lze tvrzení II.5 psát jako b V íb\2 ... n , íb\2 (b x2 {b — x)x + y— — x j — ^—J neboli x — bx + y—j — y— — x Při stejném značení lze tvrzení II.6 psát jako (b + x)x + ^-^ — ^— + x^j neboli x2 + bx + ^-^ — ^— + x Uvedené úpravy známe jako tzv. doplnění do čtverce, jež je ve větách II.5-6 představeno maximálně názorným způsobem. Tyto úpravy jsou také prvním krokem k vyjádření kořenů obecné kvadratické rovnice, k čemuž se ještě vrátíme v odst. 4.18. Speciálním případem je konstrukce zlatého řezu, viz následující odstavec. 4.9 Zlatý řez Základní konstrukce, kterou ještě několikrát zužitkujeme, je konstrukce zlatého řezu. Zlatý řez je specifické (a podle mnohých nejhezčí možné) rozdělení úsečky na dvě části (Def.VI.3): Úsečka je rozdělena ve zlatém řezu, pokud je poměr celé úsečky k větší části řezu stejný jako poměr větší části řezu k menší. Jinými slovy: bod H na úsečce AB leží ve zlatém řezu, pokud platí BA : AH — AH : HB nebo AB : BH = BH : HA. (4.1) Konstrukce Klasická konstrukce zlatého řezu je představena na obr. 4.12: Věta (11.11). Body A, C, E, F leží na kolmici k AB, přičemž AC = AB, E = střed AC a EF = EB; bod H je sestrojen tak, že AH — AF. Potom bod H je ve zlatém řezu úsečky AB. 20 II Klasická konstrukční geometrie Obrázek 4.12: [A] 11.11: Konstrukce zlatého řezu úsečky AB. Důkaz. Zdůvodnění uvedené konstrukce plyne z II.6 a z Pythagorovy věty: CF ■ FA + AE2 = EF2 = EB2 = AE2 + AB2, tj. CF ■ F A — AB2, což znamená, že obdélník CFGK a čtverec ABDC mají stejný obsah. Tyto pravoúhelníky však mají společnou část CAHK, takže pravoúhelníky zvýrazněné na obrázku mají také stejný obsah. Tzn. AH2 = AB ■ BH neboli AH : BH = AB : AH. □ Poznámky Konstrukce 11.11 v Základech ve skutečnosti nepojednává o zlatém řezu — o tom je řeč poprvé až v VI.30.6 Zlatému řezu se dále věnují tvrzení XIII.1-6 v souvislosti s pětiúhelníkem a následnými konstrukcemi pravidelných mnohostěnů, viz odst. 4.14 a 4.21. Uvádíme jedno typické a užitečné tvrzení, viz obr. 4.13: Věta. Pro čtyři body A,H,B,L na jedné přímce takové, že AH — BL, platí: úsečka AH je větší částí zlatého řezu úsečky AB právě tehdy, když úsečka BL je menší částí zlatého řezu úsečky AL. M A/ 1 1 1 1 \c C K p Obrázek 4.13: Pokud AH — BL, potom H je ve zlatém řezu AB ^=^> B je ve zlatém řezu AL. 'Klasická terminologie je však jiná: místo o zlatém řezu se mluví o poměru krajním a středním. 4 Základy 21 Důkaz. Podle 11.11 víme, že AH je větší částí zlatého řezu úsečky AB, právě když obdélník CFGK má stejný obsah jako čtverec ABDC. Podle téhož tvrzení je BL menší částí zlatého řezu AL, právě když BMNL má stejný obsah jako ABDC, přičemž N L — AL. Z předpokladu věty plyne, že obdélníky CFGK a BMNL jsou shodné, tudíž uvedené výroky jsou skutečně ekvivalentní. □ Počítání Na závěr ještě naznačíme, jak je možné konstrukci 11.11 zdůvodnit početně. Smysl tohoto počínání bude ozřejměn v odst. 4.18 — konkrétní vyjádření sestrojované veličiny vždy nabízí jistý návod k její konstrukci. Početní zdůvodnění 11.11. Označíme danou veličinu \AB\ —: b, hledanou veličinu |AZř| —: x. Postupně vyjádříme všechny veličiny sestrojené na obr. 4.12: \AE\ = \EC\ = h, \EB\ = ^b, \AF\ = \AH\ =x= ^^b. Definice zlatého řezu v našem značení zní: b : x — x : (b — x), což je ekvivalentní s b(b — x) — x2 neboli x2 + bx - b2 = 0. (4.2) Stačí tedy ověřit, že před chvílí sestrojená veličina kořenem této kvadratické rovnice — což skutečně je. □ 4.10 Cvičení (1) Připomeňte si klasickou konstrukci zlatého řezu a vymyslete nějakou svoji vlastní konstrukci (návod: sestrojte postupně VE, VE — 1, ^^T1)- (2) Rovnice (4.2) má dva kořeny; vypočítejte také druhý kořen a zkuste jej nějak geometricky interpretovat. (3) Pro danou úsečku DF sestrojte bod A tak, aby F byl zlatým řezem úsečky D A. (5) Sestrojte kružnici, která prochází dvěma danými body a dotýká se dané přímky. 4 Základy 27 4.14 Pravidelný pětiúhelník Pravidelný mnohoúhelník je takový mnohoúhelník, který má všechny strany a všechny vnitřní úhly shodné. Pravidelný (rovnostranný) trojúhelník je konstruován v 1.1, pravidelný čtyřúhelník (čtverec) je konstruován v 1.46, další pravidelné mnohoúhelníky najdeme v IV. knize a dodatky k pravidelnému pětiúhelníku ještě ve XIII. knize. V tomto odstavci důkladně rozebereme pravidelný pětiúhelník. Postřehy Předpokládejme nějaký hotový pentagram, který trochu prozkoumáme. Tento má jak strany, tak Obrázek 4.21: [A] Analýza pravidelného pětiúhelníku. vnitřní úhly shodné, má pět os symetrií atp. Odtud podle obr. 4.21 vyvozujeme několik postřehů: (1) AD\\BC a BE\\CD, takže BCDF je rovnoběžník. (2) Obvodové úhly BAC, CAD, DAE atd. jsou všechny shodné, takže trojúhelník ABD má tu vlastnost, že je rovnoramenný a úhly u základny jsou dvojnásobky úhlu u vrcholu D.9 (3) Trojúhelníky ADE a EAF jsou oba rovnoramenné a mají společný úhel, takže jsou podobné.10 Důsledky Předpokládejme, že máme dánu stranu AB a chceme sestrojit ostatní vrcholy. (ľ) Z (1) plyne FD — BC — CD — BF. Pokud si ještě všimneme, že D leží na ose úsečky AB, pak se nabízí rychlá — nikoli však eukleidovská — konstrukce bodu D a odtud celého pětiúhelníku, viz obr. 20.6 na str. 143. (2') Z (2) plyne, že pokud se naučíme sestrojit nějaký zlatý trojúhelník, pak již snadno sestrojíme zbylé vrcholy pětiúhelníku. Toto je právě cesta, kterou najdeme v IV.10 a kterou zde pro svoji nezpochybnitelnou působivost představíme. Současně si tak připomeneme několik významných tvrzení z prvních knih Základů hezky pohromadě: Věta (IV. 10). Nechť úsečka AK je delší částí zlatého řezu úsečky AB a bod L je takový, že AL — AB a BL — AK. Potom trojúhelník ABL je zlatý, tj. rovnoramenný a úhly u základny jsou dvojnásobky úhlu zbývajícího ((3 — 2a). 'Trojúhelníku s těmito vlastnostmi se říká zlatý trojúhelník. 'Viz odst. 4.16. 28 II Klasická konstrukční geometrie Obrázek 4.22: [Ha] IV.10: Konstrukce zlatého trojúhelníku. Důkaz. V následujícím používáme značení jako na obr. 4.22: • Z konstrukce trojúhelníku AKL plyne, že AB : B L = B L : B K neboli B A-B K = B L2 (11.11). • Doplníme-li pro lepší představu kružnici AKL, pak předchozí veličinu můžeme interpretovat jako mocnost bodu B ke kružnici; zejména B L je její tečnou (III.36-37). • Úsekový úhel BLK je shodný s obvodovým úhlem LAB (III.32), tudíž úhel ALB je roven a + S. • Přitom trojúhelník ABL je rovnoramenný, takže (1.5) 13 = a + 5. • Úhel LKB je vnějším úhlem v trojúhelníku AKL, proto je také roven a + S (1.32). • Odtud plyne, že trojúhelník BLK je rovnoramenný (1.6), tudíž K L — B L — AK. • Proto také trojúhelník AKL je rovnoramenný, tzn. (znovu 1.5) a — ô. • Celkem tedy dostáváme (3 — 2a, což jsme měli ukázat. □ Z uvedeného zejména vyplývá následující poznatek, který si jednou pro vždy vryjeme do paměti: Důsledek. Úhlopříčky v pravidelném pětiúhelníku se navzájem dělí v poměrech zlatého řezu, jejichž delší části jsou shodné se stranami pětiúhelníku. (3') Z podobnosti trojúhelníků v (3) lze předchozí tvrzení vyvodit následovně: Jiný důkaz důsledku. Odpovídající si strany v podobných trojúhelnících ADE a EAF jsou úměrné, tedy např. AD : DE = E A : AF. Současně však platí DE — E A — DF, tudíž AD : DF = DF : FA. To znamená, že bod F leží ve zlatém řezu úsečky AD. □ 4 Základy 29 Poznámky Pomocí zlatého řezu, resp. zlatého trojúhelníku jsme se naučili sestrojit několik specifických úhlů, které se zrovna hodí ke konstrukci pravidelného pětiúhelníku. Z vlastností zlatého trojúhelníku a z věty o součtu vnitřních úhlů obecného trojúhelníku (1.32) plyne, že a + 2(3 — 5a — 180°, tzn. a — 36°. Všechny možné úhly, které můžeme v pravidelném pětiúhelníku pozorovat, jsou celočíselnými násobky právě tohoto úhlu. Sestrojení správného úhlu je klíčové k tomu, abychom sestrojili pravidelný pětiúhelník ať už je zadán jakkoli — stranou, úhlopříčkou, kružnicí opsanou apod. (viz cvičení). Na obr. 4.23 je připomenuta konstrukce zlatého řezu K úsečky AB včetně trojúhelníku ABL, o kterém byla řeč před chvílí. Velice užitečný poznatek je zformulován v následující větě: první část věty nabízí jistou zkratku při konstruování pravidelného pětiúhelníku vepsaného do kružnice, na druhou část se budeme opakovaně odkazovat např. při rozboru pravidelného dvacetistěnu (viz odst. 4.21). 3" > /C* < Obrázek 4.23: [Ha] Ke konstrukci pravidelného pětiúhelníku. Věta. Úsečky AB, AJ, resp. B J na obr. 4.23 jsou shodné se stranami pravidelného šestiúhelníku, desetiúhelníku, resp. pětiúhelníku vepsaného do naznačené kružnice. Zejména platí, že strana pravidelného pětiúhelníku vepsaného do dané kružnice je přeponou v pravoúhlém trojúhelníku, jehož odvěsnami jsou strana pravidelného šestiúhelníku, resp. desetiúhelníku vepsaného do téže kružnice. Důkaz. Druhou část tvrzení lze najít v XIII. 10 s ryze geometrickým zdůvodněním. V našem provedení tato část přímo plyne z konstrukce, takže dokážeme jenom část první, a to početně. Délku strany pravidelného n-úhelníku vepsaného do kružnice s poloměrem r — \AB\ označíme an. Chceme ukázat, že — \AB\, aio — \AJ\ a — \BJ\: (a) Rovnost a6 — \AB\ je zřejmá (pravidelný šestiúhelník je složen ze šesti rovnostranných trojúhelníků). (b) Středový úhel odpovídající straně vepsaného desetiúhelníku je 36°, což je právě úhel u vrcholu A ve zlatém trojúhelníku ABL. Platí tedy aio — \BL\. Z konstrukce však víme, že \BL\ — \AK\ = \AJ\, platí tedy aw = \AJ\. 30 II Klasická konstrukční geometrie Úsečka AK je delší částí zlatého řezu úsečky AB, její velikost umíme (na základě počítání v odst. 4.9) vyjádřit takto: «10 = !)■ (c) Středový úhel odpovídající straně vepsaného pětiúhelníku je 72°. Odtud pomocí kosinové věty můžeme vyjádřit a5 = ry/2 - 2 cos 72°. Úhel 72° je také vnitřním úhlem u vrcholu B ve zlatém trojúhelníku ABL, jehož všechny (Ei> strany známe. Pomocí kosinové věty v tomto trojúhelníku umíme vyjádřit cos72° = -{Vb- 1). 4 Dosazením do předchozího vyjádření a po drobné úpravě dostáváme Z Pythagorovy věty v trojúhelníku ABJ (a z předchozího vyjádření \AJ\ — aw) vyjádříme velikost přepony B J a zjišťujeme, že skutečně platí a5 — \BJ\. □ Uvedené počítání opět není samoúčelné — chceme čtenáře připravit na fenomén sestroji-telnosti geometrických veličin, ke kterému se vracíme v odst. 4.18. Teprve s těmito postřehy je možné dokázat, že ne všechny pravidelné mnohoúhelníky jsou sestrojitelné eukleidovským pravítkem a kružítkem, viz větu 20.1 na str. 142. 4.15 Cvičení (1) Sestrojte pravidelný pětiúhelník, je-li dána jeho strana, příp. úhlopříčka, kružnice opsaná, či vepsaná. (2) Uvědomte si, že každou z předchozích konstrukcí umíte zrealizovat několika různými způsoby. (3) Dokažte tvrzení XIII. 10 bez počítání. (Ei> (4) Sestrojte pravidelný patnáctiúhelník a pokuste se o jiný pravidelný mnohoúhelník. 4.16 Teorie podobnosti Několikrát jsme v předchozím výkladu naznačili, jak elegantně využít podobnosti jistých trojúhelníků.11 Protože podobné obraty jsou velice hojné a užitečné, připomeneme si zde několik základních věcí. Základní definice V Základech je podobnostem věnována VI. kniha, jež začíná touto základní definicí (Def.VI.l): Viz např. poznámku k důkazu věty 111.35-36 na str. 24 nebo rozbor pravidelného pětiúhelníku v odst. 4.14. 4 Základy 31 Trojúhelníky (obecněji, mnohoúhelníky) jsou podobné, pokud mají po dvou shodné vnitřní úhly a strany u shodných úhlů mají úměrné. Této definici samozřejmě předchází vymezení úměrnosti, tedy rovnosti poměrů veličin. Tomuto tématu se zevrubně věnuje celá (pozoruhodná, i když dnes poměrně těžko srozumitelná) V. kniha. Odtud citujeme jednu ze základních definicí (Def.V.5): Veličiny a, b jsou ve stejném poměru jako veličiny c, d, a : b — c : d, pokud pro každá čísla to, n platí na = mb <í=> nc = rad. Čísly se samozřejmě myslí čísla celá, veličiny jsou pro moderního čtenáře čísla reálná. Předchozí definici lze tedy interpretovat takto: Reálná čísla r(=|)as(= ^) jsou si rovna, pokud pro každé racionální číslo q (— -^) platí > > r = q s = q. Nejpozději nyní by se nám měla vybavovat konstrukce reálných čísel z racionálních pomocí tzv. Dedekindových řezů...12 Základní věty První a snad i nejčastěji citované tvrzení je VI. 1. Dále uvádíme charakterizaci úměrnosti úseček na ramenech úhlu (VI.2) a odtud plynoucí ekvivalenci mezi určujícími vztahy v definici podobných trojúhelníků (VI.4-5). Mezi základní tvrzení řadíme ještě VI.19-20 vyjadřující poměr obsahů podobných útvarů pomocí koeficientu podobnosti a odtud plynoucí zobecnění Pythagorovy věty (VI.31)... VI. 1 Poměr obsahů trojúhelníků (resp. rovnoběžníků) se stejnou výškou je stejný jako poměr délek jejich základen. [Tvrzení přímo vyplývá z věty o rovnosti obsahů trojúhelníků (1.38) a z výše uvedené definice rovnosti poměrů. ] r). Rovnost reálných čísel je tak definována jako rovnost odpovídajících množin čísel racionálních. 32 II Klasická konstrukční geometrie E A F H- •L G B C D K Obrázek 4.24: [Ej] VI.l: obsah AC B : obsah AC D = C B : CD. Přitom jmenovatelé na pravé straně jsou titíž a trojúhelníky SD'E a SE'D mají společný průnik SDE. Tyto trojúhelníky tedy mají stejný obsah, právě když mají stejný obsah trojúhelníky DED1 a DEE1. Trojúhelníky DED1 a DEE1 však mají společnou stranu, tudíž (podle 1.38-39) mají stejný obsah, právě když mají stejnou výšku. Celkem tak dostáváme, VI.4-5 Trojúhelníky mají po dvou shodné vnitřní úhly, právě když strany u shodných úhlů jsou úměrné. [Implikace zleva dopřávaje důsledkem VI.2. Pro opačné tvrzení uvažme pomocný trojúhelník ABD, který má shodné vnitřní úhly s trojúhelníkem A'B'C. Pomocí právě dokázaného tvrzení se snadno ukáže, že trojúhelníky ABD a ABC jsou shodné... ] Obrázek 4.25: [A] (a) VI.2: SD' : S D = SE' : SE ^> D'E'\\DE. (b) VI.4-5: a — a' a (3 — (3' a 7 — 7' ^=^> b : c — b' : c' a c : a — c' : a' a a : b — a' : b'. Ekvivalence VI.4-5 se sugestivněji zapisuje jako Pro podobné trojúhelníky je tedy poměr a' : a — b' : b — c' : c konstantní. Tento poměr, jakožto (kladné) reálné číslo, se zove koeficient podobnosti. VI.19-20 Poměr obsahů podobných trojúhelníků (mnohoúhelníků) je stejný jako poměr druhých mocnin odpovídajících stran.13 13Jinak řečeno: Je-li koeficient podobnosti podobných mnohoúhelníků roven k, potom poměr jejich obsahů je roven k2. Pokud je náhodou koeficient roven 1, potom jsou trojúhelníky shodné, zejména mají stejný obsah. □ 4 Základy 33 Důkaz. Pomocný bod G na obr. 4.26 je takový, že EF : BG — BC : EF. Podle předpokladu je AB : DE — BC : EF (= koeficient podobnosti, který označíme k). To znamená, že AB : DE — EF : BG, odkud lze velmi podobným způsobem jako v důkaze věty VI.2 vyvodit, že obsah ABG — obsah DEF. Pomocí této rovnosti, věty VI.1 a jedné další úpravy @ tak dostáváme: obsah ABC : obsah DEF = obsah ABC : obsah ABG = = BC :BG= {BC : EF) ■ (EF : BG) = k2. Rozšíření věty na podobné mnohoúhelníky se udělá standardně pomocí triangulace... □ A Obrázek 4.26: [Ej] VI.19: Pro podobné trojúhelníky ABC a DEF platí, že obsah ABC : obsah DEF = AB2 : DE2 = ... VI.31 Zobecnění Pythagorovy věty, viz obr. 4.27. [Plyne z Pythagorovy věty a VI.20.] Obrázek 4.27: [Ej] VI.31: Pokud jsou mnohoúhelníky nad stranami pravoúhlého trojúhelníku podobné, potom obsah mnohoúhelníku nad přeponou je roven součtu obsahů těch nad odvěsnami. Poznámky Důsledkem věty VI.1 (nikoli naopak!) je všeobecně známý vzoreček pro výpočet obsahu trojúhelníku: b = -a-v, 34 II Klasická konstrukční geometrie kde S — obsah trojúhelníku, a — velikost jedné strany a v — velikost výšky na tuto stranu. Celá teorie podobnosti je od začátku do konce závislá na postulátu (v) o rovnoběžkách (odst. 4.4). To je patrné z předchozích odkazů na věty o obsazích trojúhelníků (1.38-39), jejichž zdůvodnění se neobejde bez věty o střídavých úhlech (1.29)! Pomocí podobností trojúhelníků je možné dokázat řadu dříve zmiňovaných tvrzení úspornějším, i když ve své podstatě méně elementárním způsobem. Typickými příklady jsou např. Eukleidovy věty o odvěsně a o výšce (sr. s větou VI.8). 4.17 Cvičení (1) Dokažte větu VI.3, viz obr. 4.28. E B D C Obrázek 4.28: [Ej] VI.3: AD je osou úhlu BAC DB : DC = AB : AC. (Ei> (2) Pomocí podobnosti trojúhelníků dokažte Eukleidovu větu o odvěsně, resp. o výšce. (3) Najděte v textu další tvrzení, k jejichž zdůvodnění je — nebo může být — užito podobnosti. 4.18 Sestrojitelné veličiny V předchozím textu jsme se několikrát dotkli problému sestrojitelnosti reálných veličin. Konstrukci té či oné veličiny chápeme jako konstrukci reálného čísla, které onu veličinu zastupuje. Vzhledem k tomu, že v eukleidovské geometrii neexistuje žádná kanonická jednotka, musí být tato nějak specifikována předem. Základní úloha, které chceme v tomto odstavci porozumět, zní: • Rozhodněte, zda je dané reálné číslo sestroj itelné. Pokud ano, tak jej — vzhledem k dané jednotce — sestrojte. Jako obvykle máme na mysli výhradně konstrukce pomocí eukleidovského pravítka a kružítka. Reálná čísla reprezentujeme úsečkami, jejichž velikosti jsou vždy nezáporné. Pokud tedy potřebujeme operovat se zápornými veličinami, musíme u odpovídajícím úseček jejich zápornou hodnotu nějak označit... Opakování Algebraické operace, které umíme s pravítkem a kružítkem reprodukovat, jsou následující: • Sčítání a odčítání reálných čísel je z konstrukčního hlediska triviální — odpovídá přikládání a odebírání úseček na přímce (viz např. diskuzi nad obr. 4.10 a 4.11). • Konstrukci součinu dvou reálných čísel umíme zdůvodnit nejméně dvojím způsobem — na obr. 4.6 označme \AB\ = 1, \HA\ = a, \LK\ = b a \HL\ = x: 4 Základy 35 (a) za předpokladu, že na obrázku jsou samé pravoúhelníky, můžeme důsledek věty 1.43 formulovat jako a ■ b — x ■ 1 neboli x — a ■ b. (b) bez ohledu na to, zda jsou na obrázku pravoúhelníky nebo pouhé rovnoběžníky, z podobnosti trojúhelníků HAB a HLK podle věty VI.4 plyne a : 1 — x : b neboli x — a ■ b. Podíl dvou reálných čísel lze sestrojit obdobně, akorát by se v konstrukcích prohodil význam některých veličin, např. b a x. Je zřejmé, že v obou případech můžeme počet čar ve vlastní konstrukci podstatně eliminovat. • Eukleidova věta o odvěsně, resp. o výšce (ve specifických případech také věta Pythagorova) poskytuje návod ke konstrukci druhé odmocniny z libovolného reálného čísla — viz např. obr. 4.7: pokud je \BE\ = 1, \EF\ = a a \EH\ = x, potom 1 • a — x2 neboli x — yfä. Závěr Z uvedeného opakování plyne, že jsou-li a a b sestrojitelná reálná čísla, pak také a + b, a — b, a ■ b, a : b, \fa jsou sestrojitelná čísla. Opakováním těchto operací můžeme sestrojovat další a další čísla — ve skutečnosti platí, že takto lze vyčerpat všechny eukleidovsky sestrojitelné veličiny: Věta. Reálné číslo je sestrojitelné eukleidovským pravítkem a kružítkem právě tehdy, když jej lze vyjádřit pomocí konečného počtu 1 a operací +, —, ■, :, y, příp. závorek. Idea důkazu. Jeden směr této ekvivalence máme rozmyšlený, zdůvodnění opačného směru je veskrze algebraické a vypadá zhruba takto:14 Začneme s úsečkou představující jednotku a pomocí pravítka a kružítka sestrojujeme další body, resp. úsečky. Jakýkoli eukleidovsky sestrojitelný bod v rovině vzniká z již sestrojených bodů jako průnik dvou přímek, průnik přímky s kružnicí nebo průnik dvou kružnic. Algebraická interpretace každé takové konstrukce vede k řešení soustavy dvou rovnic stupně nejvýše dva ve dvou proměnných. Eliminací jedné proměnné dostaneme kvadratickou rovnici, jejíž koeficienty jsou sestrojitelná čísla! Kořeny libovolné kvadratické rovnice však lze vyjádřit pomocí jejích koeficientů a výše zmiňovaných algebraických operací, viz (4.6). Odtud plyne, že souřadnicové vyjádření každého nového bodu, a tedy i velikosti všech sestrojených úseček, jsou uvedeného tvaru... □ Poznámky Vzhledem k dané jednotce lze pomocí operací + a — sestrojit libovolné celé číslo, pomocí operací • a : lze sestrojit libovolné racionální číslo. Spolu s operací y lze sestrojit mnoho iracionálních čísel, nikoli však všechna iracionální, natož pak transcendentní čísla. Ať děláme, co děláme, drtivá většina reálných čísel eukleidovsky sestrojit nelze! Nejznámější a nejzajímavější důsledky této skutečnosti komentujeme v dodatku 20.1 na str. 140. Přesnější formulace lze najít např. v [Ha, Mar2] nebo [L]. 36 II Klasická konstrukční geometrie Výše uvedenou charakterizaci sestrojitelných veličin samozřejmě v Základech nenajdeme. Související úlohou, která v Základech vyřešená je, je určení kořenů obecné kvadratické rovnice (viz VI.28-29). Algebraické odvození začíná doplněním do čtverce: x + bx + c — 0 x2 + bx b\2 íb^2 2 12 b\2 (b-2 2) \2; c- což po odmocnění a úpravě vede k dobře známému vyjádření , -b ± Vb2 - 4c neboli x—---. (4.6) Pokud by vedoucí koeficient nebyl 1, můžeme jím hned na začátku celou rovnici dělit a potom jen předchozí úpravy zreprodukovať... 4.19 Cvičení (1) Vzhledem k dané jednotce sestrojte ^p, ^10~2^ apod. (Ei> (2) Sestrojte kořeny obecné kvadratické rovnice. (3) Zkuste svoje řešení předchozí úlohy nějak optimalizovat — viz např. rovnici (4.2) a její řešení na obr. 4.12. 4.20 Trocha stereometrie, objemy těles a obsah kruhu Stereometrie začíná v Základech XI. knihou, v jejímž úvodu jsou definice základních prostorových útvarů, jejich vztahů a vzájemných poloh. Naší pozornosti by neměly uniknout definice rovnobežnosti a kolmosti přímek a rovin, příp. jejich pozdější charakterizace. Zde je několik ukázek, na které se budeme příležitostně odkazovat (první dvě definice známe již z I. knihy): • Přímky jsou rovnoběžné, pokud leží v téže rovině a nemají žádný společný bod. • Pokud jsou vedlejší úhly vymezené dvěma protínajícími se přímkami shodné, pak každý z těchto úhlů se nazývá pravý a přímky se nazývají kolmé. • Neprotínající se přímky jsou kolmé, pokud rovnoběžka k jedné přímce protínající přímku druhou je k ní kolmá. • Přímka je kolmá k rovině, pokud je kolmá ke všem přímkám, které v ní leží. • Dvě roviny jsou kolmé, pokud přímky, které leží v jedné z těchto rovin a jsou kolmé k prů-sečnici rovin, jsou také kolmé ke druhé rovině (ekvivalentně: pokud jedna z rovin obsahuje přímku, která je kolmá ke druhé rovině). • Roviny jsou rovnoběžné, pokud se neprotínají. • Apod. Kromě toho, jsou zde standardní definice základních těles, které není nutné opakovat. Ve zbytku tohoto odstavce se stručně zmíníme o jejich objemech... 4 Základy 37 Objemy jednoduše Podstatná část XI. knihy se věnuje rovnoběžnostěnům a jejich objemům. Celá teorie je velmi podobná tomu, co známe z I., resp. VI. knihy pro rovnoběžníky.15 XI.29-30 Rovnoběžnostěny se stejnou základnou a stejnou výškou mají stejný objem. [Zdůvodnění pomocí přesouvání shodných částí (sr. s větou 1.35 na str. 15).] Obrázek 4.29: [Ej] XI.29: objem AH = objem AK. XI.30: objem AK = objem AR = objem AH. XI.32 Poměr objemů rovnoběžnostěnů se stejnou výškou je stejný jako poměr obsahů jejich základen. [Důkaz je naprosto analogický tomu, co známe z VI. 1 (viz str. 31)... ] Obrázek 4.30: [Ej] XI.32: objem AU : objem E D = obsah AF : obsah EC XI.33 Poměr objemů podobných rovnoběžnostěnů je stejný jako poměr třetích mocnin odpovídajících stran. [Plyne z předchozího a z věty VI.1 (sr. s VI.19-20 na str. 32).] 16V následujícím zkracujeme takto: např. AH značí podle kontextu rovnoběžník nebo rovnoběžnostěn s úhlopříčkou AH. 38 II Klasická konstrukční geometrie Poznámky. Z důkazu věty XI.30 vyplývá následující poznatek (sr. s větou 4.6 na str. 17): • Dva rovnoběžnostěny mají stejný objem právě tehdy, když jeden lze rozdělit na části, z nichž lze složit ten druhý. Jako důsledek věty XI.32 dostáváme známý vzoreček pro výpočet objemu rovnoběžnostěnu (obecněji hranolu): V = S-v, kde S — obsah podstavy a v — velikost odpovídající výšky... Objemy pomocí Eudoxovy metody Může to vypadat překvapivě, ale diskuze je mnohem komplikovanější, už když se začnou studovat jehlany. Základní tvrzení, které se týká objemů jehlanů, je obsaženo v XII.5-6. Jedná se o trojrozměrnou verzi té části věty VI.1, která pojednává o trojúhelnících. Tato věta je však dokázána pomocí Eudoxovy exhaustivní metody, což je starověká předchůdkyně infinitezimálních úvah, jak je známe z matematické analýzy. XII.5-6 Poměr objemů jehlanů se stejnou výškou je stejný jako poměr obsahů jejich základen. [Důkaz je založen na dělení jehlanu na dva trojboké hranoly se stejným objemem a dva shodné jehlany jako na obr. 4.31... ] H F Obrázek 4.31: [Ej] XII.5: Pro jehlany se stejnou výškou platí, že objem ABCG : objem DE F H = obsah ABC : obsah DEF. XII.7 Objem trojbokého jehlanu je roven třetině objemu hranolu se stejnou základnou a stejnou výškou. [Důsledek XII.5.] XII.8 Poměr objemů podobných jehlanů (mnohostěnů) je stejný jako poměr třetích mocnin odpovídajících stran. [Trojrozměrná verze VI.19-20 (str. 32); plyne z předchozího a z věty XI.33.] Odtud jsou opět pomocí Eudoxovy metody odvozena obdobná tvrzení pro kužely a válce, která přeskakujeme (viz XII. 10-16). O koulích se zmíníme za chvíli... 4 Základy 39 F B A Obrázek 4.32: [Ej] XII.7: objem ABC D = objem BCDE = objem CDEF = § objem ABODSF. Poznámky. Nad důkazem věty XII.5 se objevuje přirozená otázka, zda toto tvrzení nelze zdůvodnit elementárněji pomocí stříhání a skládání jako výše. Z této otázky se postupně stal velice zajímavý problém, který byl úplně vyřešen až v roce 1900 M. Dehnem:16 Věta (Dehnova). Pro dva mnohostěny se stejným objemem platí, že jeden lze rozdělit na části, z nichž lze složit ten druhý, právě když tyto mnohostěny mají stejný tzv. Dehnův invariant. To zejména znamená, že trojrozměrná analogie Wallaceovy-Bolyaiovy-Gerwienovy věty (str. 17) obecně neplatí! Důsledkem XII.5-6 je, že jehlany se stejnou základnou a stejnou výškou mají stejný objem. Z XII.7 poté vyplývá, že objem obecného jehlanu je třetinový vzhledem k objemu hranolu se stejnou základnou a stejnou výškou: V=\S-V> kde V — objem jehlanu, S — obsah podstavy a,v — velikost odpovídající výšky. Obdobné vztahy platí také pro kužely a válce. O kruhu a kouli XII. kniha začíná, resp. končí studiem obsahu kruhu, resp. objemu koule: XII.2 Poměr obsahů kruhů je stejný jako poměr druhých mocnin jejich průměrů. XII.18 Poměr objemů koulí je stejný jako poměr třetích mocnin jejich průměrů. Obě tato tvrzení jsou taktéž dokázána Eudoxovou metodou: Kruhy (resp. koule) jsou vyčerpávány mnohoúhelníky (mnohostěny), u nichž příslušné proporce známe. Protože každé dva kruhy (koule) jsou podobné a tyto se vyčerpávají analogicky, jsou odpovídající mnohoúhelníky (mnohostěny) také podobné. Základním tvrzením v celé anabázi je proto věta VI.20, kterou jsme citovali na str. 32 (resp. její trojrozměrná verze XII.8, kterou jsme citovali před chvílí)... Poznámky. Při obvyklém značení můžeme obsah tvrzení XII.2 psát jako S1:S2 = r\: r\ neboli Sx : r\ = S2 : r\ = konst. (4.7) 16Podrobnosti lze najít např. v [Ha, podkap. 27]. 40 II Klasická konstrukční geometrie Obrázek 4.33: [Ej] XII.2: Obsah kruhu B D : obsah kduhu F H = B D2 : F H2. a tvrzení XII. 18 jako Vi : V2 = r\ : r\ neboli V\ : r\— V2 : r\ — konst. Obě tato tvrzení podstatným způsobem doplnil Archimédés: Věta (Archimedova). • Obsah kruhu je roven obsahu pravouhlého trojúhelníku, jehož jedna odvěsna je shodná s poloměrem, druhá s obvodem kruhu. • Objem koule je roven dvěma třetinám objemu opsaného válce. První část věty říká, že S — \r-o, kde r — poloměr kružnice a o — její obvod. To spolu s rovností (4.7) dává 1 „ S — -r ■ o — konst • r . 2 To znamená, že stejná konstanta vystupuje ve vyjádření jak obsahu, tak obvodu kruhu v závislosti na jeho poloměru. Tradičně se tato konstanta značí ir, tudíž S — it ■ r2 a o — 2ir ■ r. Z druhé části věty plyne, že tatáž konstanta ir figuruje také (možná překvapivě) ve vyjádření objemu koule v závislosti na jeho poloměru: V=^{S-2r) = l^r2 • 2r) = ^r3. 4.21 Platónská tělesa Celé Základy vrcholí popisem konstrukcí pravidelných konvexních mnohostěnů, jejich klasifikací a diskuzí poměrů jejich stran vzhledem k poloměru opsané sféry (XIII. 13-18). Pravidelný konvexní mnohostěn je konvexní mnohostěn, který má stejný počet stěn kolem každého vrcholu a jehož stěny jsou navzájem shodné pravidelné mnohoúhelníky. Pravidelné konvexní mnohostěny mají řadu dalších vlastností, které v definici uvedeny nejsou, ale které z ní plynou — mají všechny stěnové úhly shodné, lze je vepsat do koule atd., viz 4 Základy 41 [Ha, podkap. 44]. Pravidelné konvexní mnohostěny jsou známy také jako Platónská tělesa,17 viz obr. 4.34. Obrázek 4.34: [Ko] Pravidelné konvexní mnohostěny. Rozbor čtyřstěnu, krychle a osmistěnu je velmi snadný, pročež je ponechán jako cvičení (viz XIII.13-15). Ve zbytku tohoto odstavce si rozebereme konstrukci pravidelného dvacetistěnu (XIII.16) a dvanáctistěnu (XIII.17). Opakovaně se budeme odkazovat na pomocná tvrzení XIII.4 (viz cvičení 4.10(4)) a XIII.10, které jsme parafrázovali jako část věty 4.14 na str. 29: XIII. 10 Ze stran pravidelného pětiúhelníku, šestiúhelníku a desetiúhelníku, jenž jsou vepsány do téže kružnice, lze vytvořit pravoúhlý trojúhelník, jehož přeponou je strana pětiúhelníku. Tento seznam Platónských těles je kompletní: XIII. 18 Existuje právě pět výše uvedených druhů pravidelných konvexních mnohostěnů. Důkaz. Aby šel z rozvinuté sítě složit konvexní mnohostěn, musí být součet úhlů kolem každého vrcholu ostře menší než plný úhel. Pravidelné konvexní mnohostěny jsou složeny z pravidelných mnohoúhelníků, jejichž vnitřní úhly umíme snadno vypočítat. Odtud vidíme, že Platónská tělesa mohou být složena jedině z trojúhelníků, čtverců nebo pětiúhelníků. Rozborem jednotlivých možností vyčerpáme právě uvedená tělesa... □ a B'Oc jsou rovnoběžné, tudíž dvojice bodů R,C, resp. B, B' si odpovídají vzhledem k oné stejnolehlosti. Zejména tedy přímka BC prochází bodem S. Další dvě dvojice odpovídajících si bodů jsou označeny P, P' a Q, Q'. Z uvedeného vyplývá, že SC : SR = SB' : S B = S P' : S P = SQ' : SQ (= koeficient stejnolehlosti). Odtud lze vyvodit různé důsledky, např. SB ■ SC — SP ■ SQ'. Tento součin je však právě mocnost bodu S ke kružnici k, což je totéž jako SK ■ S A, kde K je průsečík přímky SC s kružnicí k. Celkem tedy vidíme, že platí SK ■ S A = SP ■ SQ'. Stačí tedy sestrojit velikost úsečky SK, kterou naneseme na přímku SC — hledanou kružnici k pak můžeme sestrojit jako kružnici, která prochází body A, K a dotýká se b (příp. c). Úlohy tohoto typu se občas nazývají Pappovy úlohy. 6 Kuželosečky 53 Obrázek 5.49: Řešení BKK (A, b, c) pomocí stejnolehlosti a mocnosti: (1) S je střed stejnolehlosti kružnic b, c, (2) P, Q, P', Q' jsou průsečíky těchto kružnic s libovolnou přímkou jdoucí bodem S, (3) K je sestrojen na přímce SC tak, aby platilo \SK\ = \SP\ ■ \SQ'\ : \SA\, (4) k je kružnice, která prochází body A, K a dotýká se b (úloha BBK), (5) pozn.: dotykové body B a C jsou kolineární s S. 5.5 Cvičení (1) Řešte případ BPK v takové poloze, že daný bod leží na dané přímce. (2) Řešte případ KKK za předpokladu, že dvě z daných kružnic mají stejný průměr. (3) Řešte podobné úlohy v podobně specifických případech. základní geometrické věty... 7.2 Sestrojitelné veličiny V odst. 4.18 jsme charakterizovali eukleidovsky sestrojitelné veličiny a uvědomili jsme si vztah mezi jejich početním vyjádřením a konstrukcí. Současně jsme si na příkladu uvědomili, že doslovná konstrukce odvozená ze zápisu obvykle nebývá ta optimální. Jinou ukázku tohoto fenoménu lze najít v následujícím příkladu (viz cvičení 4.22): Pokud s značí velikost strany pravidelného konvexního mnohostěnu a d průměr jemu opsané sféry, potom • pro čtyřstěn platí d2 : s2 — 3 : 2, • pro osmistěn platí d2 : s2 — 2, • pro krychli platí d2 : s2 — 3, • pro dvanáctistěn platí d2 : s2 — (3 — : 6, • pro dvacetistěn platí d2 : s2 — 2\/E : (VE — 1). Pro dané d je odpovídající s jednoznačně určeno a z uvedených vyjádření bychom měli tuto (Ei> veličinu umět sestrojit. Vymyslete nějakou svoji konstrukci, poté najděte sestrojenou veličinu na následujícím obrázku (kde d — \AB\, C je v polovině, K, L jsou ve čtvrtinách a Ľ je ve třetině úsečky AB). 7 Typické úlohy 59 G A K C DL B Obrázek 7.55: [Ej] Strany pravidelných mnohostěnů vepsaných do sféry... 7.3 Podobnosti Základní věty teorie podobnosti jsme představili v odst. 4.16. Aplikací těchto tvrzení je celá řada, oblíbené jsou např. úlohy s měřením vzdáleností, resp. velikostí rozličných (často nedostupných) objektů. Na následujícím obrázku je zadání jedné takové úlohy: AC ■ CB = AB ■ HE. Obrázek 7.60: [HTD] Kružnice dotýkající se kolmice CD a půlkružnic AB.AC, je shodná s kružnicí dotýkající se kolmice CD a půlkružnic AB, CB. KAPITOLA I I I Geometrická zobrazení V této kapitole se věnujeme užitečným geometrickým zobrazením. Některá známe z dřívějška, několik dalších příkladů doplníme, hlavně však popíšeme jejich obecné vlastnosti a zařadíme do širšího kontextu. Hlavní páteř tvoří shodná—podobná—afinní—projektivní zobrazení, jimž bychom měli rozumět nejlépe. Kromě toho se zmíníme o kruhové inverzi (jakožto základním konformním zobrazení) a dilataci (jakožto zástupci čeledi kontaktních zobrazení). Ve výkladu zpravidla začínáme se zobrazeními eukleidovské roviny do sebe, některé věty a definice jsou však formulovány obecně. V těchto formulacích mluvíme o eukleidovských prostorech, čímž myslíme přímku (dim — 1), rovinu (dim — 2) a prostor (dim — 3).1 Nejpozději před definicí projektivních zobrazení budeme donuceni eukleidovskou prostor rozšířit o body v nekonečnu — to je tzv. projektivní rozšíření eukleidovského prostoru. Kruhová inverze má jako definiční obor eukleidovskou rovinu bez jednoho bodu, u dilatace je všechno úplně jinak... Postřehy a závěry z podkapitoly 8 ještě shrneme a zorganizujeme v podkapitole 9. Zejména si dáváme záležet, abychom v každé skupině zobrazení rozuměli tzv. základním zobrazením. 8 Panoptikum geometrických zobrazení V předchozím výkladu jsme narazili na několik geometrických zobrazení v podkap. 5. Všechny zmiňované příklady jsou připomenuty a doplněny v prvních čtyřech odstavcích. Na konci odst. 8.6 se proto můžeme znova ohlédnout za obecnou Apollóniovou úlohou a zamyslet se nad alternativními řešeními. Zbylé dva odstavce budou naopak zásadní v kapitole IV, tzn. při studiu zobrazovacích metod trojrozměrného prostoru do roviny. 8.1 Dilatace a kontaktní zobrazení O dilataci jsme několikrát mluvili v podkap. 5, kde jsme však uvažovali výhradně dilatace cyklů a paprsků, tj. orientovaných kružnic a přímek. V tomto odstavci chceme porozumět dilataci jako takové. 1 Triviálním případem je také bod (dim = 0), který zpravidla z našich úvah vylučujeme. 64 III Geometrická zobrazení Na rozdíl od všech ostatních zobrazení v tomto textu — dilatace není bodové zobrazení! To znamená, že nemá smysl mluvit o obrazu bodu X, protože ten může být při jedné a téže dilataci zobrazen do různých bodů, a to v závislosti na tom, na kterém cyklu, resp. paprsku tento bod chápeme. Pokud je však X bodem dotyku dvou cyklů, resp. cyklu a paprsku, potom se při dilataci tento dotyk zachovává.2 Dilatace tedy není zobrazení na množině bodů, je to však zobrazení na množině tzv. orientovaných dotykových (kontaktních, příp. tečných) elementů: orientovaný dotykový element je určen bodem a směrem (ekvivalentně jej můžeme reprezentovat polopřímkou, vektorem vázaným v bodě apod.). Obecněji, každé zobrazení definované na množině orientovaných dotykových elementů se nazývá kontaktní zobrazení. Každé bodové zobrazení je kontaktní (přesněji: určuje jednoznačně kontaktní zobrazení), avšak opačné tvrzení neplatí. Právě dilatace je význačným a v tomto kurzu jediným představitelem této skupiny geometrických zobrazení. Dilatace je kontaktní zobrazení určené reálným číslem p ^ 0 tak, že obraz orientovaného kontaktního elementu zastoupeného vektorem XY je reprezentován vektorem X'Y', který je posunut o vzdálenost p kolmo k XY, a to na správnou stranu v závislosti na orientaci: Konvence je taková, aby směrový vektor XY a vektor posunutí XX' (v tomto pořadí) tvořily kladnou bázi, když p je kladné, a zápornou bázi, když p je záporné. Obrázek 8.1: Vlevo je naznačen obraz dotykového elementu (XY) v závislosti na znaménku p. Další dva obrázky ilustrují obraz paprsku, resp. cyklu jakožto obálky jejích dotykových elementů pro p > 0. Poznámky Pokud říkáme, že „dilatujeme křivku" o nějakou hodnotu p, rozhodně musí být tato křivka nějak orientovaná! Přesněji „dilatace orientované křivky" probíhá tak, že si v každém jejím bodě představíme odpovídající tečný paprsek, ten posuneme o danou vzdálenost p ve správném směru a výsledná křivka je obálkou těchto posunutých paprsků. Pozor, klidně se může stát, že spojitá křivka dilatuje na křivku nespojitou! To se může stát např. v bodech vratu, viz obr. 8.2. Jako užitečné cvičení doporučujeme dilatovat několik dalších písmen malé psací abecedy (orientovaných podle toho, jak byla napsána), a to jak v kladném, (Ei> tak záporném smyslu... 2Pokud je X bodem dotyku dvou kružnic s opačnými orientacemi, potom se při dilataci tento dotyk nezachovává! 8 Panoptikum geometrických zobrazení 65 Obrázek 8.2: Dilatace spojité křivky orientované podle toho, jak byla nakreslena (pro p<0). 8.2 Osová souměrnost a shodná zobrazení Dva trojúhelníky jsou shodné, když mají po dvou shodné strany a vnitřní úhly. Charakterizace shodnosti trojúhelníků poskytují věty SUS, SSS apod. Dva shodné obecné trojúhelníky jednoznačně určují shodné zobrazení roviny do sebe takové, že jeden trojúhelník je obrazem toho druhého.3 To znamená, že pro libovolný další bod v rovině jsme schopni sestrojit jeho obraz, a to dokonce několikerým způsobem, viz cvičení. Při těchto konstrukcích si uvědomujeme vlastnosti obecných shodných zobrazení, které připomínáme v závěru tohoto odstavce. Shodnosti v rovině Shodností v rovině je pouze několik málo druhů, z nichž většinu známe od nejútlejšího věku — měly by to být shodnosti (a)-(d) z níže uvedeného seznamu. U každé z těchto shodností přesně víme, jak je definována, co jsou její určující prvky a jak sestrojit obraz obecného bodu. Základní shodností v rovině je osová souměrnost, a to z následujícího důvodu: Věta (o skládání osových souměrností). Každou shodnost v rovině lze realizovat jako složení nejvýše tří osových souměrností. Důkaz. Zdůvodnění věty v nejobecnějším možném případě je naznačeno na obr. 8.3 — shodnost je určena obrazem A'B'C obecného trojúhelníku ABC: • Označme o\ osu úsečky AA' a sestrojme osově souměrný obraz AiBiCi trojúhelníku ABC podle této osy; z volby o\ plyne, že A\B\C\ — A'B\C\. • Označme 02 osu úsečky B\B' a sestrojme osově souměrný obraz A2B2C2 trojúhelníku A'BiCi podle této osy; ze shodností AB — A1B1 — A'B' plyne, že o2 prochází bodem A' = Au tudíž A2B2C2 = A'B'C2. • Označme 03 osu úsečky C2C a sestrojme osově souměrný obraz A3B3C3 trojúhelníku A'B'C2 podle této osy; z předchozího a ze shodností všech trojúhelníků plyne, že o3 — A'B', tudíž A3B3C3 = A'B'C. □ Pokud by v zadání nebo v kterémkoli kroku předchozí konstrukce splývalo více bodů nejednou se zadanými obrazy, konstrukce by byla kratší a výsledná shodnost specifičtější. Takto jsme schopni klasifikovat všechny druhy shodností, které v rovině můžeme potkat: 3 Uvědomte si, že např. dva shodné rovnostranné trojúhelníky neurčují shodné zobrazení jednoznačně, a to díky symetriím trojúhelníka jako takového. 66 III Geometrická zobrazení c C- Obrázek 8.3: [Sek] Každá shodnost v rovině je složením nejvýše tří osových souměrností. (a) identita = složení dvou osových souměrností takových, že o\ — 02, (b) posunutí = složení dvou osových souměrností takových, že oi||o2, (c) otáčení = složení dvou osových souměrností takových, že 01 a 02 jsou různoběžné, (c') středová souměrnost = složení dvou osových souměrností takových, že 01 a 02 jsou kolmé, (d) osová souměrnost = osová souměrnost, (e) posunutá souměrnost = složení tří obecných osových souměrností jako výše. Středová souměrnost je otáčení o přímý úhel, proto ji podřazujeme obecnému otáčení. První tři transformace jsou přímé (zachovávají orientaci), poslední dvě nepřímé (mění orientaci). Pojmenování posledního (generického) druhu je odvozeno z toho, že každou posunutou souměrnost lze realizovat jako složení osové souměrnosti a posunutí. Na obr. 8.3 tento rozklad nemusí být na první pohled patrný, na obr. 8.4 však určitě ano! Shodnosti obecně Zobrazení mezi eukleidovskými prostory je shodné, když zachovává vzdálenosti bodů, tj. pro libovolné body A, B a jejich obrazy A', B' platí: Obrázek 8.4: [Mar] Posunutá souměrnost. \A'B'\ = \AB\. (8.1) Shodná zobrazení mají samozřejmě další vlastnosti, které v definici neuvádíme — uvědomte si, (Ei> že z definice vyplývá, že shodná zobrazení (mezi prostory dimenze aspoň dva) 8 Panoptikum geometrických zobrazení 67 • zobrazují přímky na přímky,4 • zachovávají odchylky přímek, • zachovávají obsahy, resp. objemy. Přímo z definice také plyne, že každé shodné zobrazení je prosté. Každá shodná transformace, tedy shodné zobrazení eukleidovského prostoru do sebe, je proto nutně bijektivní. Bijektivní shodné zobrazení se stručně nazývá shodnost. Na přímce máme pouze dvě shodnosti: posunutí (přímá) a středovou souměrnost (nepřímá). Klasifikace shodností v prostoru je o něco bohatější než v rovině, většinu druhů však zase zná každý. Na rozdíl od transformací v rovině je středová souměrnost v prostoru nepřímá a osová souměrnost (otáčení kolem přímky o přímý úhel) je přímá. Základní shodností v prostoru je souměrnost podle roviny (zrcadlení). Zájemci mohou přemýšlet nad zobecněním věty na str. 65... Shodností se s úspěchem užívá při řešení mnoha konstrukčních úloh, viz např. příklad na obr. 5.44. 8.3 Cvičení (1) Připomeňte si definice všech výše jmenovaných shodností, zejména popište jejich určující prvky. (2) Pro dva dané shodné trojúhelníky rozhodněte, zda jsou osově souměrné (zformulujte nějaké 0. Obrázek 8.5: [Be] Stejnolehlost v rovině je vždy přímá. Střed stejnolehlosti je jejím jediným samodružným (pevným) bodem a všechny přímky procházející tímto bodem se zobrazují samy do sebe. S odkazem na větu VI.2 (str. 31) si uvědomujeme, že libovolná přímka se zobrazuje na přímku, která je s ní rovnoběžná. Odtud zejména vyplývá možný návod ke konstrukci obrazu obecného bodu vzhledem k dané stejnolehlosti. Tuto vlastnost (každá přímka se zobrazuje na přímku s ní rovnoběžnou) má pouze několik dalších transformací, jmenovitě identita a posunutí. Odtud plyne, že skládáním stejnolehlostí nelze obdržet nic jiného než identitu, posunutí nebo obecnou stejnolehlost. Upřesnění je v následující (Ei> větě, jejíž zdůvodnění plyne opět hlavně z věty VI.2: Věta (o skládání stejnolehlostí). Složení dvou stejnolehlostí se středy Si,S2 a koeficienty ki, k2 je: (a) identita, právě když kik2 — 1 a Si — S2, (b) posunutí, právě když kik2 — 1 a S\^ S2, (c) obecná stejnolehlost, právě kdyžk^k2 ^ 1. Navíc platí, že v případě (b) je vektor posunutí násobkem vektoru S\S2 a v případě (c) leží střed výsledné stejnolehlosti na přímce S\S2 (pokud S\ ^ S2). 8 Panoptikum geometrických zobrazení 69 Stejnolehlý obraz kružnice a Mongeova věta V souvislosti s výše diskutovanými úlohami o kružnicích doplňujeme následující jednoduché tvrzení: Věta. Stejnolehlým obrazem kružnice je kružnice. Navíc, každé dvě neshodné kružnice v rovině jsou stejnolehlé, a to dvojím způsobem. Důkaz. Zdůvodnění plyne z vlastností stejnolehlosti, Thaletovy věty, resp. věty opačné, viz obr. 8.6: Pro libovolný bod X e k podle Thaletovy věty platí, že úhel AXB je pravý. Pro obrazy bodů A,X,B vzhledem k libovolné stejnolehlosti platí, že A'X'\\AX a B'X'\\BX, tudíž úhel A'X'B' je také pravý. To znamená, že bod X' leží na kružnici s průměrem A'B'. Konstrukce středů stejnolehlostí dvou daných kružnic pomocí rovnoběžných průměrů je na obr. 8.7 (viz též obr. 5.40). To, že si v těchto stejnolehlostech odpovídají také všechny ostatní body kružnic, plyne z právě dokázaného tvrzení. □ Obrázek 8.6: Stejnolehlým obrazem kružnice je kružnice. Pro dvě dané neshodné kružnice se koeficienty odpovídajících stejnolehlostí liší pouze znaménkem (absolutní hodnota je rovna poměru poloměrů daných kružnic). Střed, který odpovídá stejnolehlosti s kladným znaménkem, nazýváme vnější, ten druhý nazýváme vnitřní. Tyto dva středy splývají, právě když dané kružnice jsou soustředné. Pokud se kružnice dotýkají zvenku, resp. zevnitř, potom vnější, resp. vnitřní střed stejnolehlosti splývá s bodem dotyku. Dvě shodné kružnice mají pouze vnitřní střed stejnolehlosti (příp. můžeme říct, že ten vnější je v nekonečnu). Obrázek 8.7: [Ku] Každé dvě kružnice jsou stejnolehlé, a to dvojím způsobem. Bezprostředním důsledkem předchozích dvou tvrzení je následující věta: 70 III Geometrická zobrazení Věta (Mongeova). Pro tři kružnice v rovině platí, že vnější středy stejnolehlostí jsou kolineární, stejně tak každé dva vnitřní středy stejnolehlostí a jeden vnější jsou kolineární. Důkaz. Uvažme obecnou situaci jako na obr. 8.8 (ve speciálních případech mohou některé středy stejnolehlostí splývat nebo se objevit v nekonečnu). Ukážeme, že trojice středů N,R,Q leží na přímce; ostatní tři případy jsou analogické: Bod N je vnějším středem stejnolehlosti kružnic a, b, bod i? je vnitřním středem stejnolehlosti kružnic b, c a bod Q je vnitřním středem stejnolehlosti kružnic a, c. Složením prvních dvou stejnolehlostí dostáváme stejnolehlost, která zobrazuje kružnici a na kružnici c, a to tak, že bodu X e a odpovídá bod X" e c. To znamená, že středem této stejnolehlosti je právě bod Q. Z třetí části věty o skládání stejnolehlostí plyne, že bod Q leží na přímce NR. □ Obrázek 8.8: Mongeova věta: Sest středů stejnolehlostí tří kružnic tvoří vrcholy tzv. úplného čtyřrohu. Stejnolehlost byla několikrát použita při řešení několika speciálních Apollóniových úloh v pod-kap. 5. Mongeova věta tvoří jednu ze tří komponent, z nichž se skládá zdůvodnění Gergonnova řešení obecné Apollóniovy úlohy, viz dodatek 21.2. Obecná podobnost Zobrazení mezi eukleidovskými prostory je podobné, když pro libovolné body A, B a jejich obrazy A', B' platí: \A'B'\ = k-\AB\, (8.3) kde k je kladná reálná konstanta, tzv. koeficient podobnosti. Podobná zobrazení s koeficientem k—í jsou shodná. Podobná zobrazení mají další — odvozené — vlastnosti, které v definici nemusíme uvádět. Z definice plyne, že podobná zobrazení (mezi prostory dimenze aspoň dva) • zobrazují přímky na přímky, 8 Panoptikum geometrických zobrazení 71 • zachovávají odchylky přímek, • obsahy, resp. objemy s mění k2-, resp. fc3-krát. Zdůvodnění je obsaženo v (nebo plyne z) odst. 4.16. Z dennice také přímo plyne, že každé Z definice dále plynou následující zřejmá tvrzení: Věta. (a) Kruhová inverze je involutivní transformace, tzn. složení dvou kruhových inverzí s toutéž řídící kružnicí je identita. (b) Všechny body na řídící kružnici jsou samodružné, tzn. zobrazují se samy na sebe. (c) Všechno, co je vně řídící kružnice, se zobrazuje dovnitř, a naopak. (d) Každá přímka procházející středem inverze se zobrazuje sama do sebe; přitom jediné samodružné body jsou průsečíky s řídící kružnicí a lim X' — O. Z posledně jmenované vlastnosti je patrné, proč v definici vylučujeme případ X — O: Všechny body v nekonečnu se zobrazují do středu O a naopak, obrazem středu O by mohl být libovolný bod v nekonečnu. I kdybychom eukleidovskou rovinu o tyto body rozšířili (což tak jako tak za chvíli uděláme), obraz středu O by nebyl určen jednoznačně. Právě tuto vlastnost budeme v dalším s oblibou využívat! Další vlastnosti Kruhová inverze má mnoho dalších nesamozřejmých, ale velmi užitečných vlastností, které si nyní postupně představíme. Věta. Při kruhové inverzi s řídící kružnicí T a středem O platí: (e) Přímka neprocházející středem O se zobrazuje na kružnici procházející středem O, a naopak. (f) Kružnice kolmá ke T se zobrazuje sama do sebe. Naopak, každá kružnice procházející dvojicí inverzních bodů je kolmá ke T. (g) Obecná kružnice neprocházející středem O se zobrazuje do jiné kružnice neprocházející O. Důkazy, (e) Na obr. 8.10 uvažujeme přímku l, patu A kolmice ze středu O na přímku l, obraz A' bodu vzhledem ke kruhové inverzi určené kružnicí T a kružnici 7 s průměrem O A'. Ukážeme, že kružnice 7 je obrazem přímky l, a naopak. Pro libovolný bod B e l ozn. B' průsečík OBr^j. Podle Thaletovy věty je úhel OB'A' pravý. Trojúhelníky OAB a OA'B' jsou oba pravoúhlé a mají společný úhel u vrcholu O. To znamená, že se shodují ve všech vnitřních úhlech a jsou tudíž podobné. Odtud plyne, že OB1 : O A = OA' : OB neboli OB' ■ OB = O A' ■ O A. Body A, A' si však odpovídají vzhledem ke kruhové inverzi T, tudíž OB' ■ OB — OA' ■ OA — r2. Odtud plyne, že libovolný bod na přímce l se zobrazuje do bodu na kružnici 7, a naopak. 8 Panoptikum geometrických zobrazení 73 Obrázek 8.10: [Ha] Obrazem přímky při kruhové inverzi je kružnice procházející středem, a naopak. (f) Předpokládejme, že kružnice 7 protíná řídící kružnici T kolmo, tzn., že tečny ve společném bodě P jsou kolmé, viz obr. 8.11 vlevo. Odtud plyne, že poloměr OP je tečnou ke kružnici 7. Pro libovolnou sečnu jdoucí bodem O ozn. A, A' průsečíky s kružnicí 7. Podle věty III.36 (str. 24) víme, že O A ■ O A' = OP2 = r2, což znamená, že body A, A' si odpovídají vzhledem ke kruhové inverzi T. Opačné tvrzení vyplývá z předchozího a z věty III.37, což je věta opačná k III.36... Obrázek 8.11: [Ha] Obrazem kružnice neprocházející středem je opět kružnice; kružnice se zobrazuje sama do sebe právě tehdy, když protíná řídící kružnici kolmo. (g) Místo toho, abychom toto tvrzení dokazovali přímo (což je sice možné, ale poněkud pracné), použijeme následujícího triku, viz obr. 8.11 vpravo: Uvažme kružnici f, která je soustředná s T a protíná kružnici 7 kolmo. Ukážeme, že složení kruhových inverzí f a T je stejnolehlost. Obrazem kružnice 7 vzhledem k této stejnolehlosti je opět kružnice, kterou označíme 7'. Vzhledem k tomu, že při kruhové inverzi f se kružnice 7 zobrazí sama do sebe (f), musí být obrazem kružnice 7 vzhledem ke kruhové inverzi T právě kružnice 7'. Pro libovolný bod A e 7 označíme Ä e 7 jeho obraz v kruhové inverzi F a obraz Ä v kruhové inverzi V označíme Ä'. Z definice kruhové inverze plyne, že OA-OA = ř2 a O A- O A' = r2 74 III Geometrická zobrazení (kde r, resp. r značí poloměr kružnice T, resp. T). Úpravou těchto dvou rovnic dostáváme OÄ' — k ■ O A, kde k — ^2 (konstanta!). Odtud plyne, že body A a A' si odpovídají jako vzor a obraz vzhledem ke stejnolehlosti se středem O a koeficientem k. □ Pozor, uvažujeme-li kružnici neprocházející středem kruhové inverze a její obraz, potom středy těchto kružnic si neodpovídají jakožto vzor a obraz v kruhové inverzi! Toho si lze všimnout např. u libovolné kružnice, která protíná řídící kružnici kolmo. Obecněji, kruhová inverze rozhodně nezachovává vzdálenosti bodů, ani jejich poměry. Kruhová inverze však zachovává odchylky jakýchkoli protínajících se křivek (nemůžeme říct odchylky přímek, protože přímky se většinou zobrazují na kružnice): Věta. (h) Kruhová inverze je konformní zobrazení, tzn. zachovává odchylky protínajících se křivek. Důkaz. Odkazujeme na obr. 8.12: Odchylku jakýchkoli dvou křivek v jejich společném bodě P reprezentujeme pomocí jejich tečen m a L Tutéž odchylku však můžeme stejně dobře reprezentovat pomocí dvojice kružnic, které prochází bodem P a mají přímky m a l jako tečny. Takových dvojic je samozřejmě nekonečně mnoho — my si vybíráme právě kružnice 71 a 72, které jsou kolmé k řídící kružnici T! Tyto kružnice se zobrazují samy do sebe (f), obrazem bodu P je druhý společný bod P' kružnic a odchylka m a l se transformuje na odchylku kružnic v bodě P'.5 Nicméně tato odchylka je táž jako v bodě P, cca, jsme chtěli dokázat. □ Obrázek 8.12: [Ha] Kruhová inverze je konformní zobrazení. Poznámky Na závěr si ještě uvědomte, že kruhová inverze je nepřímá transformace a že mezním případem kruhové inverze (pro r —>• 00) je osová souměrnost. Kruhovou inverzi zmiňujeme zejména v souvislosti s Apollóniovými úlohami — díky výše odvozeným vlastnostem kruhové inverze můžeme složitost těchto úloh celkem zajímavě redukovat, viz následující cvičení a dodatek 21.1. Všechny konformní transformace v rovině lze vyčerpat skládáním podobných zobrazení a kruhových inverzí. 6Pozor, tečny na obr. 8.12 v bodě P' jsou nakresleny kvůli vyznačení odchylky, nikoli jako obrazy tečen m a l vzhledem ke T. 8 Panoptikum geometrických zobrazení 75 Na závěr uvádíme jeden další dobře známý příklad konformního zobrazení — stereografickou projekci, viz obr. 8.13. Kruhovou inverzi v rovině lze definovat pomocí stereografické projekce a naopak — zájemci mohou přemýšlet jak?6 @ Obrázek 8.13: [Kut] Steregrafická projekce je konformní bijektivní zobrazení ze sféry bez jednoho bodu (P) do roviny (která je kolmá k průměru PO). 8.7 Cvičení (1) Vyjádřete stejnolehlost s daným středem a koeficientem jako složení kruhových inverzí. (2) Pomocí kruhové inverze řešte znovu všechny úlohy zmiňované v podkap. 5. (3) Dokažte, že pomocí dilatace a kruhové inverze umíte vyřešit obecnou Apollóniovu úlohu. středem úsečky AB právě tehdy, když (ABC) = (BAC) = -1 <^=> (ACB) = (BCA) = 2 ^> (CAS) = (CSA) = -. 4/ y H-1-(— —I--1- -I-1 ' ľ"ľn4w'i»ii i i---i- Obrázek 8.14: K dělicímu poměru trojice kolineárních bodů: u několika bodů X na přímce je vyznačena hodnota (AB X). Rovnoběžné promítání Rovnoběžné promítání je zobrazení z prostoru do roviny, mezi dvěma rovinami, z roviny do přímky apod. takové, že všechny promítací paprsky jsou rovnoběžné. Průmět libovolného bodu je určen jako průsečík promítacího paprsku s cílovým objektem. Průmětem přímky může být buď přímka, nebo bod. Rovnoběžné promítání obecně nezachovává velikosti úseček, avšak zachovává dělicí poměr tří bodů na přímce: Věta. Pokud se při rovnoběžném promítání zobrazí různé kolineární body na různé body, potom se jejich dělicí poměry zachovávají. Důkaz. Předpokládejme, že obrazem přímky není bod. Směr promítání s, daná přímka p a její obraz p' leží v jedné rovině. Pokud by náhodou byly přímky pap' rovnoběžné, potom se zachovávají dokonce vzdálenosti, tudíž i dělicí poměry. Předpokládejme tedy, že p a p' jsou různoběžné. Tvrzení věty zdůvodníme nejprve ve speciálním případě, poté obecně, viz obr. 8.15: (a) V tomto případě (C — C) je tvrzení obsahem věty VI.2, kterou jsem dokázali na str. 31. Při značení z předchozího pododstavce můžeme leda psát (ABC) = (A'B'C). (b) Uvažujme dvě obecné přímky s rovnoběžnými průměty libovolných tří bodů. Vedeme pomocnou rovnoběžku s p jdoucí bodem C: Pro rovnoběžné průměty A\, B\,C bodů A, B, C platí, že mají stejné vzdálenosti, tudíž (AiBiC) — (ABC). Navíc podle (a) platí, že (AiBi C) = (A'B' C), takže celkem dostáváme (ABC)^ (A'B'C). □ 8 Panoptikum geometrických zobrazení 77 Obrázek 8.15: Dělicí poměr je při rovnoběžném promítání invariantní! Elace (naklonění, zkosení) Rovnoběžník BCFE na obrázku můžeme chápat jako obraz rovnoběžníku BCDA při nějaké transformaci eukleidovské roviny — tuto transformaci budeme odborně nazývat elací. Obrázek 8.16: [Ej] Elace neboli naklonění. Elace má přímku samodružných bodů (v tomto příkladu BC), kterou nazýváme osou. Elace je zcela určena osou o a dvojicí bodů A i->- A' (v tomto příkladu A' — E) takovou, že AA'\\o. To znamená, že obraz libovolného bodu v rovině je tímto zadáním jednoznačně vymezen a navíc je snadné jej sestrojit — pokud prozatím není jasné jak, čtěte dál! Elace je přímá transformace, není to však shodnost ani podobnost. Elace je navíc zajímavá tím, že (podle věty 1.35) zachovává obsahy. Osová afinita (škálování v jednom směru) Elace je mezním případem transformace, které se říká osová afinita. Typickým příkladem osové afinity je transformace na obr. 8.17. Tato osová afinita má vodorovnou osu (= přímku samodružných bodů) a v tomto směru se „nic neděje". Ve svislém směru se všechno zkracuje a podstatné je, že „všude stejně"! Odborněji můžeme říct, že ve svislém směru je pro každou trojici bodů X, X' a X0, které si odpovídají jako na obr. 8.17, jejich dělicí poměr konstantní. Definice obecné osové afinity je následující: 78 III Geometrická zobrazení Obrázek 8.17: [Ku] Typická osová afinita: škálování v jednom směru. Osová afinita je transformace eukleidovské roviny, která je určená osou o a dvojicí bodů A i y A', a to následujícím způsobem: body na ose o jsou samodružné a pro obraz X' libovolného bodu X ý o platí XX'\\AÄ a (X'XX0) = (A'AA0) = konst., (8.5) kde X0, resp A0, značí průsečík přímky XX', resp. AA', s osou o. Směru přímky AA' se říká směr osové afinity, konstantě (A'AA0) se říká modul (nebo taky charakteristika). Pořadí bodů v definici modulu není náhodné, ale je voleno tak, aby toto číslo mělo dobrý geometrický význam: • modul je právě škálovací poměr v daném směru, • absolutní hodnota modulu nám říká, jak se mění obsahy, • osová afinita je přímá/nepřímá transformace, právě když modul je kladný/záporný. Speciálními, resp. mezními případy osové afinity jsou: • osová souměrnost, pokud modul — — 1 a směr _L o, • šikmá souměrnost, pokud modul — — 1 a směr / o, • elace, pokud směr||o (=>■ modul = 1), • rovnoběžné promítání do přímky o, pokud modul — 0. Pro kontrolu: V případě elace není bod A0 vůbec definován, resp. leží v nekonečnu; z definicí však plyne, že modul — lim (A'AA0) — 1. V případě promítání do přímky je A' — A0, což skutečně znamená, že modul — (A'A A') — 0. Uvědomte si, že přímo z definice osové afinity (a vět o podobných trojúhelnících) plyne návod ke konstrukci obrazu libovolného bodu X, viz obr. 8.18. Z definice dále plyne, že osová afinita (Ei> zachovává dělicí poměr bodů na jakékoli přímce (tedy ne jen na ose nebo ve směru AA')\ 8 Panoptikum geometrických zobrazení 79 Obrázek 8.18: Obraz bodu X v osové afinitě určené osou a dvojici bodů A i->- A': (1) obraz X' leží na rovnoběžce s AA' jdoucí bodem X, (2) průsečík přímky AX s osou je samodružný, (3) obraz X' leží na přímce spojující A' s pomocným bodem (2). Obecné afinní zobrazení Osová afinita a rovnoběžné promítání do přímky jsou základní afinní zobrazení v eukleidovské rovině. Definice obecného afinního zobrazení (mezi prostory libovolné dimenze) je následující: Zobrazení mezi eukleidovskými prostory je afinní, když (a) zobrazuje kolineární body na kolineární body, (b) zachovává dělicí poměry bodů (*), (c) zachovává rovnoběžnost přímek (*). (*) Kolineární body jsou body, které leží na jedné přímce, tedy také body splývající. Podmínka (b), resp. (c) tedy má smysl pouze v případě, kdy se různé kolineární body zobrazí na různé kolineární body (tedy nikoli do jednoho bodu). Z (a) a (b) plyne, že prosté afinní zobrazení zobrazuje přímky na přímky, příp. úsečky na úsečky (tedy nikoli na nějaké divné části přímek). Bijektivní afinní zobrazení se nazývá afinita. Výše zmiňované rovnoběžné promítání do přímky není prosté (injektivní), takže to není afinita. Místo prosté/neprosté se často užívají přívlastky regulární/singulární. Definice afinního zobrazení je motivována několika zobrazeními v rovině, avšak je vyslovena obecně, tzn. pro eukleidovské prostory libovolné dimenze: Při zobrazení přímky jsou podmínky (a) a (c) splněny triviálně, takže (prosté) afinní zobrazení je v takovém případě zcela charakterizováno podmínkou (b). Při zobrazení prostoru dimenze alespoň dva si můžeme všimnout, že definující podmínky nejsou úplně nezávislé — za předpokladu (a) jsou vlastnosti (b) a (c) ekvivalentní, viz obr. 8.19: Zdůvodnění (b) ^=^> (c). Předpokládejme, že platí (a) a (b). Uvažme libovolný rovnoběžník ABCD a jeho obraz A'B'C'D'; průsečík úhlopříček S se zobrazuje na průsečík úhlopříček S'. Protože ABCD je rovnoběžník, je bod S středem obou úhlopříček. Protože platí (b), je S' středem obou úhlopříček čtyřúhelníku A'B'C'D'. To však znamená, že A'B'C'D' je rovnoběžník, a tedy platí (c). 80 III Geometrická zobrazení c' A B A' Obrázek 8.19: Čtyřúhelník je rovnoběžník, právě když průsečík úhlopříček je jejich středem Důkaz opačné implikace není tak samozřejmý, dá se však snadno zdůvodnit algebraicky (viz příští semestr). Uvědomte si aspoň, že za předpokladu (a) a (c) z předchozího rozvažování plyne, £) že střed libovolné úsečky se zobrazí na střed obrazu této úsečky, ... □ Afinní zobrazení mezi přímkami je zcela určeno podmínkou (b) za předpokladu, že se různé body zobrazují do různých bodů. To jinými slovy znamená, že prosté afinní zobrazení přímky (kamkoli) je zcela určeno obrazy dvou různých bodů. Tyto body můžeme chápat jako „počátek" a „jednotku"; pro obecný bod na přímce pak odpovídající dělicí poměr interpretujeme jako jeho „souřadnici" vzhledem k této pomocné souřadné soustavě. Obdobně můžeme uvažovat o afinních zobrazeních v rovině, příp. z roviny kamkoli: (i) Uvažme tři body v obecné poloze, které chápeme jako počátek a jednotky pomocné souřadné soustavy, a jejich obrazy. (ii) Každý bod v rovině je jednoznačně určen dvěma „souřadnicemi" vzhledem této soustavě — tyto jsou určeny rovnoběžkami se souřadnými osami. (iii) Dvojím přenesením dělicího poměru (b) umíme určit „souřadnice" obrazu daného bodu. (iv) Pokud obraz počátku a právě sestrojené „souřadnice" jsou v obecné poloze, potom doplněním do rovnoběžníku (c) umíme určit obraz daného bodu. Odtud vidíme, že prosté afinní zobrazení roviny (kamkoli) je zcela určeno obrazy tří bodů v obecné poloze. Zobecnění těchto úvah pro afinní zobrazení prostoru (kamkoli) je zřejmé. Celkem můžeme tato pozorování shrnout následovně: Věta (o určenosti afinního zobrazení). Prosté afinní zobrazení prostoru dimenze n (n — 1,2,3) je jednoznačně určeno obrazy n + 1 bodů v obecné poloze. Poznámky a vyhlídky Všechny výše zmiňované příklady afinních transformací byly v jistém smyslu základní: základní regulární afinní transformací je osová afinita, základní singulární afinní transformací je rovnoběžné promítání do přímky. Společným rysem všech základních transformací v rovině je, že mají přímku samodružných bodů. Zobecnění některých základních tvrzení z odstavců o shodnostech a podobnostech je následující: Věta (o skládání ...). Každou afinní transformaci v rovině lze realizovat jako složení nejvýše tří základních afinních transformací. 8 Panoptikum geometrických zobrazení 81 Toto tvrzení lze zdůvodnit velmi podobným způsobem jako větu 8.2 o skládání osových souměrností. Jediný rozdíl je v tom, že nyní máme daleko více volnosti! @ Základní afinní transformace v prostoru jsou transformace, které mají rovinu samodružných bodů. Zájemci mohou přemýšlet nad zobecněním předchozí věty pro afinní transformace v prostoru. .. V následující kapitole budeme důkladně studovat rovnoběžná promítání prostoru do roviny, tedy základní singulární afinní zobrazení v prostoru. Velice přirozenou a současně důležitou otázkou je: • Jaké je zobecnění věty o určenosti afinních zobrazení pro singulární případy? V následujícím semestru budeme umět (algebraicky) ukázat, že tato věta platí pro jakákoli afinní zobrazení (a jakékoli dimenze). Z konstrukčního rozboru, který oné větě předcházel, zatím umíme vyvodit jenom to, že předpoklad injektivnosti může být zeslaben, ale ne příliš: Pokud by (pro n — 2, 3) v obrazu „osového kříže" některé dvě osy splývaly, máme problém s doplněním rovnoběžníku v kroku (iv). Závěr proto formulujeme poněkud opatrně takto: • „Ne příliš singulární" afinní zobrazení jsou určena stejně jako ve větě na str. 80. K tomuto tématu se znovu vracíme v podkapitole 12 a následujících. Prozatím jenom opakujeme, že v konstrukčním zdůvodnění tohoto tvrzení odkazujeme výhradně na vlastnosti (a)-(c) z definice afinního zobrazení. To znamená, že základními konstrukčními nástroji jsou pouze • přenášení dělicích poměrů, • konstrukce rovnoběžek. 8.9 Cvičení (1) Pro dané tři kolineární body A,B,C a dva další body K,L sestrojte bod M tak, aby byl zachován dělicí poměr: (KLM) — (ABC). Uvažujte také jiné permutace bodů ve trojici. oo D—>oo (ABCDOQ)^(ABC). V některých dalších mezních případech vychází dvojpoměr následovně: lim (AB CD) = 0, lim (AB CD) = ±oo, lim (AB CD) = 1 C—>A C—> B C—>D apod. Pokud je náhodou (ABCD) = -1, říkáme o čtveřici bodů, že je v tzv. harmonickém poměru. Takovou čtveřici tvoří např. (AB CD^), kde C je středem úsečky AB. Obecněji, v harmonickém poměru je mnoho různých čtveřic bodů v úplném čtyřrohu (viz cvičení 8.11(4)). Pro dané tři různé kolineární body je poloha čtvrtého bodu na téže přímce jednoznačně určena dvojpoměrem. Definice dvojpoměru samozřejmě závisí na pořadí bodů ve čtveřici. Podobně jako (Ei> u dělicího poměru však můžeme pozorovat jisté symetrie — obecně např. platí (ABCD) = (BADC) = (CD AB) = (DC BA). Projektivní rozšíření Několikrát jsme si mohli všimnout, že občas je výhodné pracovat s nevlastní body, tj. body v nekonečnu. Pokud např. uvažujeme středové promítání mezi dvěma (různoběžnými) přímkami p a p', potom na p existuje bod U, který se zobrazuje do nevlastního bodu přímky p', a na p' máme bod V, jehož vzor je nevlastní bod přímky p. Takovým bodům říkáme úběžníky a časem zjistíme, jak jsou při konstrukcích užitečné. Pokud se chceme vyjadřovat přesně, potom nemůžeme říkat, že se při středovém promítání přímka p zobrazuje na přímku p'. Správně by bylo: přímka p bez bodu U se zobrazuje na přímku p' bez bodu V. Těmto nešikovnostem se lze jednoduše vyhnout tím, že všechny základní objekty rozšíříme o jejich nevlastní body: 8 Panoptikum geometrických zobrazení 83 Obrázek 8.20: Středové promítání nezobrazuje eukleidovskou přímku na eukleidovskou přímku, avšak zobrazuje projektivní přímku na projektivní přímku. Projektivní rozšíření přímky, roviny, resp. prostoru je eukleidovská přímka, rovina, resp. prostor rozšířená, resp. -ný o jejich body v nekonečnu. Body v nekonečnu jmenujeme nevlastní, ostatní pak vlastní. Tato definice je dost neformální — kritický čtenář by se měl ptát, co jsou ty body v nekonečnu a kolik jich vlastně je, příp. jak je reprezentovat pomocí vlastních objektů?! Nejprve si uvědomíme, že každá přímka v eukleidovské rovině má jenom jeden nevlastní bod (a nikoli dva).7 Tento fakt vyplývá z jednoho ze základních postulátů eukleidovské geometrie, totiž z postulátu o rovnoběžkách (viz odst. 4.4): Věta. Projektivní rozšíření přímky má právě jeden nevlastní bod. Obrázek 8.21: Eukleidovská přímka má jen jeden nevlastní bod. Důkaz. Základní „projektivní trik" je, že se na daný objekt podíváme zvnějšku, v tomto případě z nějakého bodu S, který na dané přímce p neleží: Body na přímce Ai G p jsou ve vzájemně jednoznačné korespondenci s promítacími paprsky a,i — SAi. Když se bod Ai vzdaluje do nekonečna, přímka a,i konverguje k přímce, která leží v rovině určené paSa přímku p neprotíná, tedy k přímce, která je s p rovnoběžná. Protože rovnoběžka k dané přímce daným bodem je jediná, má každá přímka v eukleidovské rovině jediný nevlastní bod. □ Toto pozorování má několik zajímavých důsledků: 7Projektivní rozšíření přímky je tedy něco jiného, než rozšířená reálná osa, jak ji známe z analýzy: označení ±oo můžeme interpretovat jedině tak, že se k nevlastnímu bodu blížíme zprava/zleva. 84 III Geometrická zobrazení • Projektivní přímka je uzavřená. • Nemá smysl uvažovat uspořádání bodů na projektivní přímce. • Projektivní přímka nerozděluje projektivní rovinu na dvě nesouvislé části. • Každé dvě projektivní přímky v projektivní rovině se protínají. Rovnoběžnost přímek v rozšířené eukleidovské rovině tedy chápeme jako speciální případ různo-běžnosti, kdy průsečíkem je nevlastní bod. E Obrázek 8.22: Na eukleidovské přímce je bod E mezi body C a D. Na projektivní přímce nemá relace „mezi" valného smyslu. Jiný základní axióm eukleidovské geometrie říká, že dva body jednoznačně určují přímku.8 Pokud uvažujeme dva různé nevlastní body, pak jimi určená přímka musí být celá nevlastní, (Ei> jinak bychom byli ve sporu s předchozím tvrzením. Odtud plyne, že: Věta. Projektivní rozšíření roviny, resp. prostoru má projektivní přímku, resp. rovinu nevlastních bodů. Před chvílí jsme mluvili o vzájemných polohách přímek v rozšířené rovině. Obdobná diskuze v projektivním rozšíření prostoru vypadá následovně — dvě projektivní přímky mohou být: • mimoběžné, pokud nemají společný bod, • různoběžné, pokud mají společný právě jeden vlastní bod, • rovnoběžné, pokud mají společný právě jeden nevlastní bod, • totožné, pokud mají společné aspoň dva body. (Ei> Doplňte si diskuzi vzájemných poloh přímky a roviny, příp. dvou rovin... Středové promítání Středové promítání je jedno ze základních projektivních zobrazení, které dokonce dalo celé této skupině zobrazení jméno. Máme na mysli promítání z prostoru do roviny, mezi dvěma rovinami, z roviny do přímky apod. Průmět libovolného bodu je určen jako průsečík promítacího paprsku s cílovým objektem. Průmětem přímky může být buď přímka, nebo bod. Středové promítání obecně nezachovává vzdálenosti ani dělicí poměry trojic bodů, avšak zachovává dvojpoměry čtveřic bodů na přímce: Tento axióm patří v Hilbertově systému do skupiny axiómů incidence, které jsou platné v obecném projektivním prostoru. 8 Panoptikum geometrických zobrazení 85 Věta (Pappova). Pokud se při středovém promítání zobrazí různé kolineární body na různé body, potom se jejich dvojpoměry zachovávají. Důkaz. Předpokládejme, že obrazem přímky není bod. Střed promítání S, daná přímka p a její obraz p' leží v jedné rovině. Pokud by náhodou byly přímky p a p' rovnoběžné, potom se zachovávají dokonce dělicí poměry, tudíž i dvojpoměry. Předpokládejme tedy, že p a p' jsou různoběžné. Tvrzení věty zdůvodníme nejprve ve speciálním případě (C — C a D v nekonečnu), poté obecně, viz obr. 8.23. Odkazujeme výhradně na základní tvrzení o podobných trojúhelnících: Obrázek 8.23: Dvojpoměr je při středovém promítání invariantní! (a) Trojúhelníky A'AC a ÄSD' jsou podobné a C = C, tudíž |5| = Trojúhelníky B'BC a B'SD' jsou taky podobné, tudíž — i^t. Odtud dělením obou rovnic dostáváme J J ť ' B'D' SD' AÔ _ A^C' Wc' _ Wc' ÄŤD' ~BC~ A^D' ' WD' WC' ' WD'' Výraz nalevo je právě (AB C) — (AB CĽoo), napravo je (A'B' CD'), takže v tomto specifickém případě skutečně platí (ABCD^) = (A'B'CD'). (b) Uvažujme dvě obecné přímky se středovými průměty libovolné čtveřice bodů. Vedeme pomocné rovnoběžky jdoucí body C a C: Podle (a) platí, že (A1B1 C) — (AB CD) a současně (A2B2 C) — (A'B' CD'). Navíc ale z podobnosti pomocných trojúhelníků plyne (A1B1 C) — (A2B2 C), takže i v tomto obecném případě platí (ABCD) = (A'B'C'D'). □ Osová kolineace Díky projektivnímu rozšíření eukleidovské roviny (prostoru) lze všechny výše zmiňované afinní zobrazení chápat jako speciální případy tzv. projektivních zobrazení, k jejichž obecné definici 86 III Geometrická zobrazení nezadržitelně směřujeme. Jedním příkladem, jemuž rozumíme už nyní, je rovnoběžné promítání, které chápeme jako středové promítání z nevlastního středu. Podobně lze chápat osovou afinitu jako speciální případ obecnější — a tudíž základnější — transformace, jejíž jméno zní osová kolineace:9 Osová kolineace je transformace v projektivní rovině určená osou o, středem S a dvojicí bodů A i y A', a to následujícím způsobem: střed S a body na ose o jsou samodružné a pro obraz X' libovolného dalšího bodu X platí kde X0, resp A0, značí průsečík přímky XX', resp. AA', s osou o. Konstantě (A'AA0S) se říká modul (nebo taky charakteristika) osové kolineace. Na rozdíl od modulu osové afinity, je interpretace modulu osové kolineace poněkud problematičtější — v projektivní rovině zejména nemá smysl mluvit o orientaci (tzn. nemá smysl rozlišovat přímé/nepřímé transformace). Zdůrazňujeme, že osová kolineace je dobře definovaná pouze jako transformace v projektivní (tedy nikoli eukleidovské) rovině, tzn. že nevlastní body se mohou zobrazit do vlastních, a naopak. Speciálními, resp. mezními případy osové kolineace jsou: • osová afinita, pokud je střed nevlastní, • stejnolehlost, pokud je osa nevlastní, • posunutí, pokud jsou střed i osa nevlastní, • středové promítání do přímky o, pokud je osa vlastní a modul — 0. Pro doplnění: V případě osové afinity je modul — (A'A AqS^) — (A'AA0). V případě stejnolehlosti je bod A0 nevlastní a modul — (A'AA0ooS) — (A'AS) — koeficient stejnolehlosti. V případě posunutí je nutně S — A0 a modul — (A'A SS) — 1. V případě promítání do přímky je A' — A0, což skutečně znamená, že modul — (A'A A'S) — 0. V souvislosti s analogickou diskuzí v odst. 8.8 nás může ještě napadnout uvažovat osové kolineace s modulem ±1: • projektivní elace, pokud S G o (=>■ modul = 1), • harmonická souměrnost, pokud modul — — 1. V případě projektivní elace je S — A0, což skutečně znamená, že modul — (A'ASS) — 1. Elace (resp. posunutí) je tedy speciálním případem projektivní elace, kdy střed (resp. střed i osa) je nevlastní. Speciálním případem harmonické souměrnosti je šikmá souměrnost, a to když osa je nevlastní. Uvědomte si, že přímo z definice osové kolineace (a Pappovy věty) plyne návod ke konstrukci obrazu libovolného bodu X, viz obr. 8.24. Odtud dále plyne, že osová kolineace zachovává dvoj-(Ei> poměry bodů na jakékoli přímce (tedy ne jen na ose nebo přímce procházející středem)! XX' n AA' — S a (X'X X0S) = (A'AA0S) = konst., (8.7) 9- 'V literatuře se často místo přívlastku osová užívá středová. 8 Panoptikum geometrických zobrazení 87 *" - - i A.' Obrázek 8.24: Obraz bodu X v osové kolineaci určené středem, osou a dvojici bodů (1) obraz X' leží na přímce SX, (2) průsečík přímky AX s osou je samodružný, (3) obraz X' leží na přímce spojující A' s pomocným bodem (2). Obecné projektivní zobrazení Osová kolineace a středové promítání jsou základní projektivní zobrazení v rovině. Definice obecného projektivního zobrazení (mezi prostory libovolné dimenze) je následující: Zobrazení mezi projektivními prostory je projektivní, když (a) zobrazuje kolineární body na kolineární body, (b) zachovává dvojpoměry (*). (*) Kolineární body jsou body, které leží na jedné přímce, tedy také body splývající. Podmínka (b) tedy má smysl pouze v případě, kdy se různé kolineární body zobrazí na různé kolineární body. Definující podmínky neznamenají nic jiného, než že se (projektivní) přímky zobrazují na přímky, resp. na body (tedy nikoli např. na úsečky nebo jiné části přímek). Bijektivní projektivní zobrazení se nazývá projektivita nebo též kolineace. Výše zmiňované středové promítání jistě není prosté (injektivní), takže to není kolineace. Místo prosté/neprosté se stejně jako v afinním případě užívají přívlastky regulární/singulární. Při zobrazení přímky je podmínka (a) splněna triviálně, takže (prosté) projektivní zobrazení je v takovém případě zcela charakterizováno podmínkou (b). Při zobrazení prostoru dimenze alespoň 2 nejsou podmínky (a) a (b) úplně nezávislé: Důsledkem tzv. základní věty projektivní geometrie je, že prosté zobrazení, které zobrazuje projektivní přímky na projektivní přímky nutně zachovává dvojpoměry. Toto tvrzení můžeme chápat jako velice silné zobecnění Pappovy věty, jehož zdůvodnění není vůbec jednoduché. (Také k tomuto problému se vrátíme v příštím semestru...) Prosté projektivní zobrazení přímky je úplně charakterizováno podmínkou (b), tzn. takové zobrazení je zcela určeno obrazy libovolných tří navzájem různých bodů. Pokud jeden z těchto bodů zvolíme jako nevlastní, můžeme zbylé dva chápat jako „počátek" a Jednotku" pomocné souřadné soustavy. Pro obecný bod na přímce pak odpovídající dvojpoměr chápeme jako jeho 88 III Geometrická zobrazení „souřadnici" vzhledem k této souřadné soustavě. Obdobně můžeme uvažovat o projektivních zobrazeních roviny: (i) Uvažme tři body v obecné poloze, které chápeme jako počátek a jednotky pomocné souřadné soustavy, jejich obrazy a obrazy nevlastních bodů pomocných souřadných os, tj. úběžníky. (ii) Každý bod v rovině je jednoznačně určen dvěma „souřadnicemi" vzhledem této soustavě — tyto jsou určeny rovnoběžkami se souřadnými osami. (iii) Dvojím přenesením dvojpoměru (b) umíme určit „souřadnice" obrazu daného bodu. (iv) Pokud obraz počátku a právě sestrojené „souřadnice" jsou v obecné poloze, potom pomocí úběžníků umíme doplnit obraz daného bodu. Odtud vidíme, že prosté projektivní zobrazení roviny (kamkoli) je zcela určeno obrazy tří bodů v obecné poloze a dvou odpovídajících nevlastních bodů. Zobecnění těchto úvah pro projektivní (Ei> zobrazení prostoru (kamkoli) je zřejmé. Celkem můžeme tato pozorování shrnout následovně: Věta (o určenosti projektivního zobrazení). Prosté projektivní zobrazení prostoru dimenze n (n — 1, 2,3) je jednoznačně určeno obrazy n+í bodů v obecné poloze a úběžníky n odpovídajících přímek vycházejících z jednoho bodu. Připomínáme, že úběžníky jsou obrazy nevlastních bodů. Z předchozího víme, že nevlastní body projektivní roviny tvoří projektivní přímku. Obrazem této přímky vzhledem k jakémukoli projektivnímu zobrazení je opět projektivní přímka, kterou nazýváme úběžnicí. Místo s úběžníky lze samozřejmě pracovat s obrazy vlastních bodů. V takovém případě platí, že prosté projektivní zobrazení roviny (resp. prostoru) je určeno obrazy čtyř bodů, z nichž žádné (Kř> tři nejsou kolineární, (resp. pěti bodů, z nichž žádné čtyři neleží v jedné rovině). Poznámky a vyhlídky Výše zmiňované příklady projektivních transformací byly tzv. základní: základní regulární projektivní transformací je osová kolineace, základní singulární projektivní transformací je středové promítání do přímky. Stejně jako v afinním případě, základní transformace v rovině mají přímku samodružných bodů. Zobecnění některých základních tvrzení z předchozích odstavců je následující: Věta (o skládání ...). Každou projektivní transformaci v rovině lze realizovat jako složení nejvýše čtyř základních projektivních transformací. Toto je zobecnění věty 8.8 na str. 80; opět pozorujeme ohromné množství možností v možných (Ei> rozkladech. Základní projektivní transformace v prostoru jsou transformace, které mají rovinu samodružných bodů. Zájemci mohou přemýšlet nad zobecněním předchozí věty pro projektivní transformace v prostoru... V následující kapitole budeme kromě rovnoběžných promítání prostoru do roviny studovat také promítání středová. V každém případě se jedná o základní singulární zobrazení v prostoru. Podobně jako v afinním případě se ptáme: • Jaké je zobecnění věty o určenosti projektivních zobrazení pro singulární případy? 9 Panoptikum geometrických zobrazení 89 Se singulárními případy je vždycky trochu problém. Z konstrukčního rozboru, který oné větě předcházel, můžeme snadno vyvodit, že předpoklad injektivnosti může být zeslaben, ale ne příliš: Pokud by (pro n — 2,3) v obrazu „osového kříže" některé dvě osy splývaly, máme problém s doplněním obrazu bodu z jeho „souřadnic" v kroku (iv). Závěr formulujeme alibisticky takto: • „Ne příliš singulární" projektivní zobrazení jsou určena stejně jako ve větě na str. 88. K tomuto tématu se znovu vracíme v podkapitolách 12 a 16. Prozatím jenom opakujeme, že v konstrukčním zdůvodnění tohoto tvrzení odkazujeme výhradně na vlastnosti (a)-(b) z definice projektivního zobrazení. To znamená, že základními konstrukčními nástroji je • přenášení dvojpoměrů, • spolupráce s úběžníky. Často se vyplatí také spolupráce s vybranými úběžnicemi (při středových promítáních prostoru do roviny se úběžnici základní roviny přezdívá horizont)... 8.11 Cvičení (1) Sestrojte projektivní obraz čtvercového dláždění roviny. (2) Rozhodněte, která ze čtveřic bodů na obr. 8.25 je projektivním obrazem čtveřice stejně vzdálených bodů. Obrázek 8.25: [St] Která čtveřice je projektivním obrazem čtveřice ekvidistantních bodů? (3) Pro dané čtyři kolineární body A, B,C,D a tři kolineární body K, L, M sestrojte bod N tak, aby byl zachován dvojpoměr: (KL MN) — (AB CD). Uvažujte také jiné permutace bodů ve čtveřici. projektivní transformace nemůže mít víc než jednu osu a jeden střed... Úplně nejzákladnější transformace je osová kolineace — všechny ostatní základní transformace chápeme jako speciální, resp. mezní případy, viz tab. 9.1. Uvědomte si, že podmínky v jednotlivých sloupcích nejsou úplně nezávislé! Např. z definice modulu plyne, že pokud S e o, potom je modul nutně roven 1. Taky se jistě nemůže stát, aby S i o byly nevlastní a současně S ^ o, apod. střed S osa o S eo modul druh vlastní vlastní ne 0 (středové promítání do přímky) ano 1 projektivní elace ne -1 harmonická souměrnost ne jinak osová kolineace nevlastní vlastní ne 0 (rovnoběžné promítání do přímky) ano 1 elace ne -1 šikmá, resp. osová souměrnost ne jinak osová afinita vlastní nevlastní ne 0 (promítání do bodu) ne 1 (identita) ne -1 středová souměrnost ne jinak stejnolehlost nevlastní nevlastní ano 1 posunutí Tabulka 9.1: Klasifikace základních transformací v projektivní rovině 9 Přehledy a poznámky 91 Některé položky uvádíme v závorkách, protože se jedná o triviální, resp. degenerované případy, které do tohoto přehledu sice patří, ale nejedná se o základní transformace ve výše vymezeném smyslu. @ V případě harmonické souměrnosti je modul roven —1, což znamená, že každá čtveřice (X', X,X0, S) je v harmonickém poměru. Šikmá souměrnost je harmonická souměrnost s nevlastním středem a osová souměrnost je navíc charakterizována tím, že směr souměrnosti je kolmý k ose. Připomínáme, že právě tyto základní transformace jsou involutivní. 9.2 Desarguesova věta Ve cvičeních 8.3, 8.5, 8.9, resp. 8.11 jsme přemýšleli, jak charakterizovat základní shodné, podobné, afinní, resp. projektivní transformace v (projektivní) rovině. Jako nejzákladnější transformace jsme rozpoznali osové kolineace. V souvislosti s jejich charakterizacemi musíme zmínit následující klasické tvrzení: Věta (Desarguesova). Pro libovolné dva trojúhelníky XYZ a X'Y'Z' v projektivní rovině platí: přímky XX', YY', Z Z' prochází jedním bodem právě tehdy, když průsečíky přímek XY a X'Y', Y Z a Y'Z', XZ a X' Z' leží na jedné přímce. Obrázek 9.26: [Ku] Desarguesova věta a její trojrozměrná interpretace. Důkaz. Planimetrický důkaz tohoto tvrzení je značně netriviální, věta je však velmi srozumitelná s vhodnou trojrozměrnou interpretací, viz obr. 9.26: Při zdůvodňování první implikace se odkážeme na poznatek, že každé dvě roviny — v tomto případě roviny p a a obsahující dané trojúhelníky — se protínají v přímce (vlastní či nevlastní). Při zdůvodňování druhé implikace se odkážeme na poznatek, že každé tři roviny, které neobsahují společnou přímku — v tomto případě roviny určené třemi dvojicemi odpovídajících si stran — mají společný právě jeden bod (vlastní či nevlastní). □ Chápeme-li trojúhelník X'Y' Z' jako obraz trojúhelníku XY Z vzhledem k nějaké projektivní transformaci, potom Desarguesovu větu můžeme tlumočit následovně: • Regulární projektivní transformace v rovině má osu právě tehdy, když má střed. V takovém případě se jedná o osovou kolineaci nebo nějaký její derivát. Korespondence mezi rovinami p a a na obr. 9.26 je obyčejné středové promítání mezi dvěma rovinami v prostoru; odborně se takové korespondenci říká perspektivní kolineace. Osovou kolineaci v rovině tedy můžeme chápat jako průmět perspektivní kolineace mezi dvěma rovinami v prostoru do jiné roviny. 92 III Geometrická zobrazení Nad obr. 9.26 asi nikoho nepřekvapí, že první aplikace osové kolineace (resp. afinity) potkáme při sestrojování řezů jehlanovitých (resp. hranolovitých) těles, viz cvičení 12.3. 9.3 Projektivní obraz kružnice Pozorování v předchozím odstavci nám silně připomínají jinou podobnou situaci — „kružnice" a elipsa na obr. 6.50 jsou v úplně stejném vztahu jako dva trojúhelníky na obr. 9.26. Planimetrická interpretace této korespondence je samozřejmě opět osová kolineace. V perspektivní kolineaci může kružnici odpovídat libovolná kuželosečka a při středovém promítání se každá kuželosečka zobrazuje do kuželosečky. To v důsledku znamená, že obrazem kružnice vzhledem k osové kolineaci může být libovolná nedegenerovaná10 kuželosečka. Speciálním případem osové kolineace je osová afinita a — jako každé afinní zobrazení — tato neumí zobrazit žádný vlastní bod na nevlastní. To znamená, že obrazem kružnice vzhledem k osové afinitě může být jedině elipsa. Odtud plyne následující tvrzení, které má velice užitečné konstrukční důsledky. Věta. Obrazem kružnice v osové kolineaci (afinitě) je nedegenerovaná kuželosečka (elipsa). Naopak, libovolná nedegenerovaná kuželosečka (elipsa) je obrazem kružnice vzhledem k nějaké osové kolineaci (afinitě). Vzhledem k tomu, že středová promítání a osové kolineace jsou základní projektivní zobrazení, předchozí tvrzení je možné ještě zobecnit: Věta. Projektivním obrazem kružnice je kuželosečka. Naopak, každá kuželosečka je projektivním obrazem kružnice. Na poznatky z tohoto odstavce se budeme odkazovat v odst. 10.5 a 18.4. 9.4 Hierarchie geometrických zobrazení Všechny diskutované typy zobrazení si na závěr zorganizujeme. V následující tabulce uvádíme, které vlastnosti se při tom či onom zobrazení zachovávají, přičemž podstatné invarianty jsou zvýrazněny symbolem + (místo obyčejného +). V následujícím přehledu samozřejmě nevystupuje dilatace (viz odst. 8.1). kolin. vzdál. děl. pom. dvoj pom. rovnob. obs. odch. projektivní + - - + - - - afinní + - + + + - - ekviafinní + - + + + + - podobná + - + + + - + shodná + + + + + + + konformní - - - - - - + Tabulka 9.2: Přehled geometrických zobrazení a jejich vlastností. Ekviafinní zobrazení jsou taková afinní zobrazení, jež zachovávají obsahy plošných útvarů (v prostoru samozřejmě objemy). Příklady ekviafinních zobrazení jsou všechna shodná zobrazení, elace a šikmá symetrie. Konformní zobrazení jsou zobrazení, která zachovávají odchylky protínajících se křivek. Kromě všech podobných zobrazení je to např. kruhová inverze. 10Pokud by byla degenerovaná, nebyla by kolineace kolineaci, tj. nebyla by bijektivním zobrazením. 10 Přehledy a poznámky 93 Přímo z definicí a odvozených vlastností umíme zorganizovat všechny diskutované typy zobrazení jako na obr. 9.27 (šipka naznačuje podřízenost ve smyslu každé shodné je podobné apod.) Z uvedeného také plynou následující jednoduché důsledky: Důsledky. (1) Projektivní zobrazení, které zobrazuje všechny vlastní body na vlastní (ekvivalentně, nevlastní body na nevlastní), je afinní. (2) Afinní zobrazení, které zachovává poměry vzdáleností jakýchkoli (tedy i nekolineárních) trojic bodů, je podobné. (3) Konformní zobrazení, které je projektivní, je podobné. (4) Podobné zobrazení, které je ekviafinní, je shodné. / k on jormini pro je ktiVirti' i , r , P o d o t n ^ te.j'»« °st ) í , Obrázek 9.27: Hierarchie geometrických zobrazení (v závorce uveden typický představitel z každé třídy). Poznámky Všechna zobrazení od shodných po afinní jsou definovaná mezi eukleidovskými prostory (různých dimenzí). Projektivní zobrazení musíme uvažovat mezi projektivními rozšířeními eukleidovských prostorů. Z vlastností základního konformního zobrazení — kruhové inverze — víme, že tuto nelze globálně definovat v eukleidovské rovině, ale ani v jejím projektivním rozšíření. Tím správným prostorem je tzv. Môbiovo rozšíření eukleidovské roviny, což je rozšíření o jeden jediný nevlastní bod. Môbiovu rovinu lze identifikovat se sférou, a to pomocí stereografické projekce, viz obr. 8.13. Vzhledem k tomu, že shodná, podobná a také ekviafinní zobrazení jsou nutně prostá, není možné tímto způsobem zobrazit trojrozměrný prostor do roviny. Zobrazení prostoru do roviny, která zobrazují přímky na přímky, jsou tedy projektivní nebo afinní — s tímto poznatkem bychom měli otvírat následující kapitolu. 94 III Geometrická zobrazení 10 Typické úlohy 10.1 Opět úloha Apollóniova Na obr. 7.60 (str. 62) jsme si uvědomovali, že s tehdejšími dovednostmi jsme neuměli sestrojit kružnice, které by se dotýkaly daných půlkružnic a přímky. Řešení pomocí chytře zvolené kruhové inverze je na následujícím obrázku: Obrázek 10.28: Kružnice dotýkající se kolmice k a půlkružnic AB a AC pomocí kruhové inverze. Střed kruhové inverze byl zvolen v bodě A — tato volba zaručuje, že půlkružnice l, m, které se dotýkají v bodě S, se transformují na polopřímky V, m', které jsou rovnoběžné. Poloměr řídící kružnice byl zvolen AC — tato volba zaručuje, že půlkružnice m a kolmice k, které se v bodě C dotýkají, se transformují do kolmice k a půlkružnice m. To v důsledku znamená, že hledaná kružnice se při této kruhové inverzi transformuje sama do sebe! Konstrukce kružnice, která se (Ei> dotýká dvou rovnoběžek ľ, m! a jedné kružnice k! je obzvlášť jednoduchá... 10.2 Obraz pravidelného mnohoúhelníku Na konci odst. 8.8 (resp. 8.10) jsme si uvědomili, že každé afinní (projektivní) zobrazení roviny je jednoznačně určeno obrazem tří (čtyř) bodů v obecné poloze. V obou případech se pro konstrukce libovolného bodu v rovině užívá pouze vlastností, které jsou při tom či onom zobrazení (Ei> invariantní. Na obr. 10.29 je sestrojen afinní a projektivní obraz pravidelného šestiúhelníku: • V afinním případě je zobrazení určeno obrazy vrcholů A,B,C — při konstrukcích se využívá toho, že obrazem rovnoběžek jsou zase rovnoběžky11 a dělicí poměry trojic kolineárních bodů se zachovávají. • V projektivním případě je zobrazení určeno obrazy vrcholů A, B,C,D — při konstrukcích se využívá úběžníků12 a toho, že dvojpoměry čtveřic kolineárních bodů jsou invariantní. Připomenutí základní konstrukce přenášení dělicího poměru, resp. dvojpoměru z jedné přímky na druhou je na obr. 10.30: 11 Na obrázcích značíme jako přímky s nevlastními průsečíky. 12Všechny úběžníky leží na úběžnici, tj. přímce, která je obrazem nevlastní přímky roviny. 10 Typické úlohy 95 Obrázek 10.30: Přenášení dělicího poměru, resp. dvojpoměru. 10.3 Obraz hranolu a hranatých těles Při afinním, resp. projektivním zobrazení prostoru do roviny potřebujeme navíc nějakou informaci o zobrazení jednoho dalšího bodu, který neleží v dříve zobrazené rovině. Tuto dovednost si vyzkoušíme na konstrukci obrazu pravidelného hranolu. • V afinním případě je obraz hranolu určen obrazy tří vrcholů spodní podstavy a obrazem jednoho vrcholu horní podstavy. • V projektivním případě obraz jednoho dalšího bodu samozřejmě nestačí! Tuto nejednoznačnost lze eliminovat různě — na obr. 10.31 je sestrojen projektivní obraz pravidelného šestibokého hranolu, který je určen obrazy vrcholů A, B, C, D spodní podstavy, obrazem vrcholu A horní podstavy a úběžníkem Z' hrany AÄ. 96 III Geometrická zobrazení V "~ "6 Obrázek 10.31: Projektivní obraz pravidelného šestibokého hranolu. Obě podstavy hranolu jsou ve skutečnosti rovnoběžné, a proto mají tutéž úběžnici (na obrázku přejmenována na horizont). Díky tomu si můžeme všimnout, že korespondence mezi šestiúhelníkem spodní podstavy a šestiúhelníkem horní podstavy je naše oblíbená osová kolineace,13 jejíž osa je právě tato úběžnice a střed je úběžník Z'. Tento postřeh je samozřejmě možné (a vhodné!) konstrukčně využít... Poznámky Každý hranol můžeme chápat jako jehlan, jehož vrchol je nevlastní. Pokud máme sestrojit obraz obecného jehlanu, zjišťujeme, že v předchozím rozboru se téměř nic nemění. Při zobrazování jiných hranatých těles může být situace komplikovanější, ale pouze z technického hlediska — teoretické principy jsou pořád stejné. K těmto otázkám se vracíme v následující kapitole, takže je prozatím opouštíme. 10.4 Rez hranolu a jehlanu Konstrukci řezu obecného hranolu obecnou rovinou zatím neumíme, ale jednoduché úlohy tohoto typu můžeme řešit už nyní s odkazem na osovou kolineaci (resp. afinitu) a Desarguesovu větu, viz obr. 9.26. Na následujícím obrázku je afinní průmět hranolu a body K, L, M, které všechny leží na svislých hranách. V tomto případě je korespondence mezi průmětem šestiúhelníku podstavy a průmětem šestiúhelníku řezu osová afinita, jejíž osou je průsečnice roviny podstavy a roviny řezu a směrem je směr svislých hran. Pomocí této afinity snadno sestrojíme všechny ostatní body řezu. 3Pokud by byl náhodou úběžník Z' nevlastním bodem, potom by se jednalo o osovou afinitu. 10 Typické úlohy 97 Obrázek 10.32: Afinní obraz pravidelného šestibokého hranolu a jeho řez rovinou KLM. Právě konstrukce průsečnice rovin (tj. osy afinity) může obecně dělat problém, jinak jsou všechny úlohy tohoto typu pro nás stejné. Pokud bychom pracovali s projektivním obrazem hranolu (nebo s jakýmkoli obrazem jehlanu), pak bychom se místo na osovou afinitu odkazovali na osovou kolineaci. K řezům obecně se ještě vracíme v odst. 18.2. 10.5 Úlohy s kuželosečkami Tady zmiňujeme několik úloh, na které budeme odkazovat při zobrazování oblých těles (odst. 18.4). Pro některé z následujících úloh samozřejmě existují elementární konstrukce odvozené z ohniskových vlastností kuželoseček. My budeme ve všech případech zaměstnávat osovou kolineaci (afinitu) mezi kuželosečkou a kružnicí. Tato je buď součástí nebo ji lze podle potřeby vymyslet, a to dokonce několika způsoby. Úlohy formulujeme pro elipsu, avšak není problém zobecnit pro obecnou (nedegenerovanou) kuželosečku. Úlohy toho typu najdou uplatnění v odst. 18.4. Konstrukce hlavních průměrů Předpokládejme, že elipsa je dána jako obraz kružnice vzhledem k osové afinitě určené osou p a obrazem S' středu (S). Sestrojit onu elipsu pro nás znamená sestrojit její hlavní průměry, což jsou sdružené průměry, které jsou současně navzájem kolmé. Řešení na obr. 10.33 je odvozeno z toho, že sdružené průměry v kružnici jsou právě navzájem kolmé průměry. Hledáme tudíž takovou dvojici kolmých průměrů v kružnici, jejímž obrazem jsou zase kolmé průměry. Odpovídající přímky se protínají na ose (body 1 a 2) a pravý úhel u vrcholu (S), resp. S' je charakterizován tím, že leží na Thaletově kružnici (ozn. I). Střed této kružnice leží na ose úsečky (S)S' a na ose afinity p... 98 III Geometrická zobrazení Obrázek 10.33: [KV] Hlavní průměry elipsy pomocí osové afinity. Průnik přímky s kuželosečkou Elipsa je dána svými vrcholy A,B,C, máme sestrojit její průnik s přímkou p. K řešení na obr. 10.34 užíváme (uměle vytvořenou) osovou afinitu mezi elipsou a kružnicí s průměrem AB — tato afinita má osu AB a je zcela určena dvojicí bodů C i->- C. Přirozený postup je následující: sestrojíme obraz přímky p, určíme její průsečíky s kružnicí (X', Y') a vzory těchto dvou bodů (X, Y) jsou řešením úlohy. cl / c- ! v- p yfQ s \ \ y \ / D /71 D' Obrázek 10.34: [Ku] Průnik přímky s elipsou pomocí osové afinity. Tečna ke kuželosečce Elipsa je dána svým hlavním průměrem AB a bodem T, máme sestrojit tečnu k elipse z bodu T. Pomocí stejné osové afinity jako v předchozí úloze můžeme postupovat takto: sestrojíme obraz bodu T, sestrojíme tečnu z tohoto bodu ke kružnici, vzor této přímky je tečnou k elipse. 10 Typické úlohy 99 J, /! / Ty / / J" a\ p ír jb c c 251 Obrázek 10.35: [Ku] Tečna k elipse pomoci osové afinity. Uvedené myšlenky lze snadno modifikovat např. k sestrojení tečny k dané elipse z daného bodu či v daném směru... @ 100 III Geometrická zobrazení KAPITOLA IV Zobrazovací metody V této kapitole zmiňujeme několik metod zobrazování trojrozměrného prostoru do roviny. Po stručném přehledu se podíváme na vybrané metody podrobněji. 11 Úvod Kromě několika exotických zobrazení uvažujeme výhradně různé typy promítání prostoru do roviny. Promítání rozlišujeme na • středová (z vlastního středu), • rovnoběžná (z nevlastního středu). U rovnoběžného promítání dále podle polohy směru promítání k průmětně rozlišujeme na • kolmá, • šikmá. Při jakémkoli promítání je za každým bodem v průmětně schována celá přímka v prostoru. Chceme-li tedy jednoznačně specifikovat skutečnou polohu bodu v prostoru, potřebujeme buď nějakou dodatečnou informaci nebo tzv. sdružený průmět na nějakou jinou průmětnu: na mapách se k průmětům význačných bodů přidávají kóty (viz podkap. 14), v technické praxi se poloha bodu v prostoru nejčastěji specifikuje jeho nárysem a půdorysem (tj. kolmými průměty na dvě navzájem kolmé průmětny, viz podkap. 13). Středová, resp. rovnoběžná promítání jsou základní projektivní, resp. afinní zobrazení, o nichž už ledacos víme z předchozího textu — každé takové zobrazení je jednoznačně určeno obrazy několika bodů v obecné poloze. Promítání zadaná tímto způsobem nazýváme volná (viz podkap. 12), v ostatních případech mluvíme o promítáních vázaných. 102 IV Zobrazovací metody 11.1 Základní úlohy Velice typickým problémem, se kterým se budeme potýkat především, je sestrojení názorného průmětu tělesa zadaného nárysem a půdorysem, příp. naopak. Přibližným řešením takových úloh se mohou bavit děti od nejútlejšího věku, viz obr. 11.1; my bychom měli umět klíčové postřehy pojmenovat a zrealizovat přesně! Připomeňme, že základní dovedností, bez které se v těchto případech neobejdeme, nadále zůstává (1) přenášení dvojpoměru, resp. dělicího poměru kolineárních bodů. V dalším budeme některé postupy zefektivňovat a hlavně se naučíme měřit úsečky a úhly (které se promítáním zkreslují) ve skutečných velikostech. Obrázek 11.1: [SMS] K danému průmětu pokoje načrtněte jeho půdorys. Často bude těleso dáno svým nárysem a půdorysem, vzhledem k těmto průmětnám bude zadána nějaká nová průmětna a střed (směr) promítání. Naším úkolem bude sestrojení průmětu tělesa do této nové průmětny z daného středu (v daném směru), což znamená, že musíme sestrojit průnik několika promítacích paprsků s touto průmětnou. (Jiná úloha vedoucí k týmž konstrukcím je sestrojení stínu vrženého daným tělesem do dané roviny při daném typu osvětlení.) Při těchto úlohách narážíme na problém, ve kterém se velice často chybuje — rozpoznat, zda dvě přímky dané svými průměty jsou ve skutečnosti rovnoběžné, různoběžné nebo mimoběžné. Základní polohové úlohy, které musíme bezpečně ovládat, tedy jsou: (2) rozpoznat vzájemnou polohu dvou přímek, (3) sestrojit průnik přímky s rovinou. Podobná úloha k (2) je např. určit vzájemnou polohu bodu a roviny. Speciálním případem úlohy (3) je konstrukce stopníků, tzn. průsečíků přímky s průmětnami. Související úlohy jsou: průnik dvou rovin (speciálně, konstrukce stop, tj. průsečnic roviny s průmětnami), řez tělesa rovinou, průsek dvou těles apod. Při konstrukcích se dále neobejdeme bez umění měření vzdáleností, resp. nanášení dané vzdálenosti na danou přímku, a podobně s odchylkami přímek. Pokud měříme vzdálenost bodu od roviny, neobejdeme se bez pomocné kolmice (a její paty...). Základní metrické (měřičské) úlohy, které musíme bezpečně ovládat, tedy jsou: (4) určit vzdálenost dvou bodů, (5) určit odchylku dvou přímek, (6) sestrojit kolmici. Související úlohy jsou: určit vzdálenost bodu od přímky, určit vzdálenost dvou přímek, určit odchylku přímky od roviny, sestrojit kolmou rovinu k dané přímce apod. 12 Volné promítání 103 11.2 Výhled Jednou z motivací k dalšímu studiu této kapitoly je touha po názorném a správném zobrazování různých těles, zejména těch hezkých (viz odst. 18.3). Poté, co si uvědomíme základní zákonitosti a osvojíme si několik základních konstrukcí, zjistíme, že umíme zobrazit (příp. změřit) téměř cokoli (viz např. obr. na str. 176). První zákonitosti včetně opakování základních poznatků a konstrukcí z odstavců o afinních a projektivních zobrazeních jsou zformulovány v podkap. 12. Většinu dílčích problémů, které při reálných konstrukcích potřebujeme, představujeme v podkapitole 13. Tam také diskutujeme pár obecně platných principů, které se týkají vzájemných poloh, vzdáleností, kolmostí a odchylek rovin/přímek/bodů. Několik komplexnějších úloh najdete v podkap. 18. Ostatní části jsou veskrze informativní. 12 Volné promítání Volné promítání rozlišujeme jak středové, tak rovnoběžné, přičemž přívlastek volné znamená, že průmětna a střed/směr promítání nejsou vzhledem k zobrazovanému objektu nijak předem specifikovány. V této podkapitole zopakujeme několik obecných poznatků o určenosti projektivních a afinních zobrazení a odtud odvozených konstrukcí průmětu obecného bodu v prostoru. Dále představíme řešení základní polohové úlohy — průnik přímky s rovinou — as těmito dovednostmi zamíříme do dalších částí ke slibovaným efektivnějším postupům. 12.1 O určenosti volného promítání Volný průmět tělesa bývá zadán průměty několika málo bodů. Tím je také určen průmět libovolného bodu v prostoru, tedy volné promítání jako takové. Podle toho, zda se jedná o promítání středové nebo rovnoběžné, se liší způsoby určení: Středové promítání je projektivní zobrazení a závěrečná poznámka odst. 8.10 na str. 89 nám říká, kolik bodů vlastně potřebujeme, aby byl průmět určen jednoznačně. Podobně, rovnoběžné promítání je afinní, o určenosti takových zobrazení se věnuje závěr odst. 8.8 na str. 81. Promítáním prostoru do roviny samozřejmě nikdy nevyčerpáme všechna možná projektivní, resp. afinní zobrazení, proto průměty určujících bodů nemohou být úplně libovolné. Určitě se např. nemůže stát, že by se tři body v obecné poloze promítly do jednoho bodu. Následující věta je jednou z možných formulací tohoto principu v případě rovnoběžného promítání: Věta (Pohlkeova-Schwarzova). Rovnoběžným průmětem tří navzájem kolmých a stejně dlouhých úseček se společným krajním bodem může být jakákoli trojice úseček v rovině se společným krajním bodem, přičemž nejvýše jedna z těchto úseček nebo nejvýše jedna dvojice těchto úseček může mít nulovou délku, resp. odchylku. Za stejně dlouhými navzájem kolmými úsečkami si samozřejmě představujeme nějakou kartézskou souřadnou soustavu. Každý bod v prostoru je jednoznačně určen svými souřadnicemi vzhledem k této soustavě. Souřadnice geometricky reprezentujeme body, které jsou sestrojeny pomocí rovnoběžek se souřadnými osami. Pomocný bod v rovině určené osami x,y, resp. x, z budeme nazývat jeho půdorysem, resp. nárysem. Počátek pomocné souřadné soustavy a referenční body na jednotlivých osách (např. jednotky) budeme obvykle značit O a X, Y, Z. Z uvedeného je patrné, jak může být volné promítání určeno, viz následující tři obrázky: 104 IV Zobrazovací metody Obrázek 12.2: Nárys a půdorys tělesa. • Volné rovnoběžné promítání je určeno obrazy O', X',Y', Z'. Pomocné body na osách sestrojíme tak, aby byly zachovány dělicí poměry; k sestrojení průmětu bodu stačí několik rovnoběžek se souřadnými osami. Obrázek 12.3: Volný rovnoběžný průmět tělesa z obr. 12.2. • Volné středové promítání je určeno obrazy O', X', Y', Z' a úběžníky souřadných os U', V, W. Pomocné body na osách sestrojíme tak, aby byly zachovány dvojpoměry; k sestrojení průmětu bodu stačí několik přímek procházejících úběžníky. Naopak, je-li dán volný průmět bodu, můžeme pomocí rovnoběžek (resp. spojnic s úběžníky) sestrojit pomocné body na osách a přenesením dělicích poměrů (resp. dvojpoměrů) určit sdružené průměty, tzn. souřadnice tohoto bodu.1 Když umíme zacházet s průměty jednoho bodu, lze opakováním uvedených konstrukcí sestrojit prakticky cokoli, akorát to asi nebude příliš efektivní. V dalších odstavcích se zejména naučíme, jak si práci zpříjemnit a zjednodušit. Důležitá poznámka Připomínáme hlavní slabinu této zobrazovací metody: Uvedené návody nefungují v případě, že průměty některých souřadných os splývají. V takovém případě je nutné hledat alternativy, které mohou být zejména v případě obecného středového zobrazení poměrně krkolomné. Podobné nepříjemnosti zcela odpadají u tzv. vázaných zobrazovacích metod, kdy je předem specifikovaná průmětna a střed/směr promítání vzhledem k osovému kříži. Také tato poznámka by nás měla motivovat k četbě dalších odstavců... 1Přenášení dělicího poměru, resp. dvojpoměrů bodů z jedné přímky na druhou je naznačeno na obr. 10.30. 12 Volné promítání 105 f Obrázek 12.4: Volný středový průmět tělesa z obr. 12.2. 12.2 Průnik přímky a roviny V tomto odstavci představíme obecné řešení základní polohové úlohy — pro danou přímku p a rovinu p máme sestrojit jejich průnik, příp. zjistit, že se neprotínají. Každý bod musí být sestrojen jako průnik dvou přímek (příp. průnik přímky a kružnice nebo průnik dvou kružnic). Abychom mohli tvrdit, že se dvě zobrazené přímky v prostoru skutečně protínají, musíme mít jistotu, že leží v jedné rovině! Odtud je odvozen následující obecný návod řešení: (1) nejdřív zvolíme pomocnou (v podstatě libovolnou) rovinu obsahující danou přímku; (2) sestrojíme průsečnici r této roviny s rovinou p; (3) hledaný bod je průsečíkem přímek par (pokud je p — r, potom celá přímka p leží v rovině p; pokud je p\\r, potom taky p\\p, a tudíž se p a p neprotínají). Řešení konkrétních úloh se samozřejmě odvíjí od toho, jak jsou zadány. Obecně však platí, že pomocná rovina v prvním kroku nemůže být volena úplně libovolně, ale naopak hodně specificky, abychom se neocitli v bludném kruhu! Na obr. 12.5 je dán volný rovnoběžný průmět krychle, vzhledem k níž je vymezena poloha přímky a roviny. Pomocná rovina je volena ve směru hrany AE a všechny naznačené svislé přímky jsou s touto hranou rovnoběžné. 106 IV Zobrazovací metody Obrázek 12.5: [M. Ingrštová, 2010] Průnik přímky p — PQ a roviny p — KLM (bod K patří do stěny ADHE): (1) pomocnou rovinu obsahující p volíme ve směru hrany AE, (2) průsečnice r je určena pomocnými body x ay, které odvozujeme z jejich „půdorysů" xi ayi, (3) bod R = p Pi r je právě hledaným průnikem píl p. Typickými úlohami, které se v této souvislosti řeší, jsou řezy (hranatých) těles. Jedná se totiž o několikeré opakování této základní konstrukce, viz odstavce 10.4 a 18.2. 12.3 Cvičení (1) V úloze na obrázku obr. 12.5: • sestrojte průniky přímek KL, L M a KM s rovinou podstavy ABCD, • sestrojte řez roviny KLM s krychlí. (2) V pravidelném pětibokém hranolu s podstavami ABCDE a ÄBČĎE jsou dány body K, L (Ei> a M tak, že K e AÄ, L e BCC a M e ĎĚ. Sestrojte volný středový průmět tohoto hranolu a jeho řez rovinou p — KLM. 13 Mongeovo promítání Mongeovo promítání je kolmé (a tedy rovnoběžné) promítání na dvě navzájem kolmé průmětny. Průmětům říkáme půdorys a nárys, proto se odpovídající průmětny jmenují půdorysná a nárysná. Na rozdíl od volné manipulace s nárysem a půdorysem jako výše jsou průměty v Mongeově promítání jaksi sdruženy — sr. 12.3 a 13.8. Tento zdánlivý detail dělá z této zobrazovací metody skutečně účinný nástroj, který doceníme zejména při řešení metrických úloh. V následujících odstavcích postupně představíme všechny základní úlohy zmiňované v odst. 11.1. 13 Mongeovo promítání 107 Obrázek 13.6: [Ka] Ukázka z prvního vydání Mongeovy Deskriptívni geometrie (1798). 13.1 Zobrazení bodu, přímky a roviny Bod Na obr. 13.7 je ukázáno, jak jsou bodu v prostoru přiřazeny jeho sdružené průměty vzhledem ke dvěma navzájem kolmým průmětnám (s průsečnicí označenou x): Bod A se kolmo promítne do Obrázek 13.7: [Me] Mongeovy sdružené průměty bodu. první roviny (půdorys A{) a do druhé roviny (nárys A2). Poté se průměty sdruží tak, že se jedna průmětna otočí do druhé kolem průsečnice x. Odtud plyne, že body Ai,A2 v rovině přestavují sdružené průměty nějakého bodu v prostoru, právě když přímka AiA2 je kolmá na x. Každý bod je svými sdruženými průměty určen naprosto jednoznačně. 108 IV Zobrazovací metody A* V V-St Obrázek 13.8: Mongeovy sdružené průměty tělesa z obr. 12.2. Přímka Sdružené průměty přímky jsou zpravidla přímky, ale nemusí tomu tak být pokaždé — je-li přímka kolmá k některé průmětně, pak odpovídajícím průmětem je bod. Přímka je svými sdruženými průměty určena jednoznačně právě tehdy, když není kolmá k ose x, tzn. neleží v rovině, která je kolmá k oběma průmětnám současně. V každém případě je přímka určena jednoznačně sdruženými průměty dvou různých bodů, které na ní leží... Pro lepší představu často používáme tzv. stopníky, což jsou průsečíky přímky s průmětnami. Pokud je přímka s některou průmětnou rovnoběžná, pak odpovídající stopník je nevlastní... Různé polohy přímek s jejich stopníky jsou na obr. 13.9. Uvědomte si, že konstrukce stopníků je velmi speciálním případem základní polohové úlohy — průnik přímky s rovinou. Obrázek 13.9: Sdružené průměty přímek a jejich stopníky; přímka e je jednoznačně určena teprve svými stopníky (nebo nějakým jiným dodatkem). 13 Mongeovo promítání 109 Rovina Je-li rovina kolmá k některé průmětně, pak odpovídajícím průmětem této roviny je přímka; v opačném případě je jejím průmětem celá průmětna. Rovina je jednoznačně určena sdruženými průměty tří různých (a nekolineárních) bodů, které v ní leží. Jiný a zpravidla názornější způsob určení roviny je pomocí tzv. stop, což jsou průsečnice s průmětnami. Nárys půdorysné stopy a půdorys nárysné stopy splývají s osou x, proto je na obrázcích nepopisujeme. Pokud rovina neobsahuje osu x, pak je svými stopami jednoznačně určena. V případě, že je rovina s některou průmětnou rovnoběžná, je odpovídající stopa nevlastní... Obrázek 13.10: Rovina je (skoro vždy) určena svými stopami. 13.2 Polohové úlohy Průnik a vzájemná poloha přímky a roviny Doslovné překreslení konstrukce průniku přímky a roviny z obr. 12.5 v Mongeově promítání je na obr. 13.11. Motivace a zdůvodnění jsou v odst. 12.2. Průsečnice r dané roviny s pomocnou svislou rovinou se občas nazývá krycí přímkou, protože se její půdorys kryje s půdorysem p, Obrázek 13.11: [M. Ingrštová, 2010] Průnik přímky p — PQ a roviny p — KLM: (1) r je krycí přímka pro směr kolmý k půdorysně (ri = pi), (2) její nárys je určen body x, y, (3) bod R = p Pi r je právě hledaným průnikem píl p. 110 IV Zobrazovací metody Pokud by se náhodu stalo, že výše sestrojená přímka r se s p neprotíná, pak to znamená, že přímka p a rovina p jsou rovnoběžné. Pokud by se stalo, že r a, p splývají, pak to znamená, že p leží celá v p. Takto jsme vyčerpali všechny možné vzájemné polohy přímky a roviny v prostoru. Všechny tyto možnosti v případě, že rovina je dána svými stopami, najdete na obr. 13.12. Obrázek 13.12: Vzájemné polohy přímky a roviny: různoběžnost (píl/) — R), rovnoběž-nost ( B2 G h- Z uvedeného by mělo být zřejmé, jak by se řešila např. úloha sestrojit nárys bodu ležícího (Ei> v dané rovině, je-li dán jeho půdorys apod. Specifické přímky l na obr. 13.17 jsou tzv. hlavní přímky roviny p, což jsou přímky ležící v této rovině rovnoběžné s některou z průměten. To v důsledku znamená, že hlavní přímky jsou rovnoběžné s některou ze stop roviny p. Přímky ležící v p, které jsou kolmé k některé ze stop, jsou tzv. spádové přímky roviny p. Příčky Jiné typické polohové úlohy jsou konstrukce příček mimoběžných přímek (příčka je přímka, která protíná dané mimoběžky). Každé dvě mimoběžky mají nekonečně hodně příček, takže příčka je jednoznačně vymezena až nějakou dodatečnou podmínkou jako např. aby procházela daným bodem, aby měla daný směr, aby byla nejkratší apod. Pomocí příček lze vytvářet zajímavé přímkové plochy, které se hojně objevují v technické praxi. Např. společné příčky tří navzájem mimoběžných přímek tvoří plochu tzv. eliptického hyperboloidu (chladicí věže). Jiný příklad je na obr. 13.18. Ačkoli toto téma podrobněji nediskutujeme, mělo by být jasné, že aspoň z teoretického hlediska je všechno jasné. Pro představu rozebereme případ konstrukce příčky k mimoběžkám a, b z nějakého bodu K: všechny přímky jdoucí bodem K a protínající přímku b tvoří rovinu, kterou si označíme třeba (3; hledaná příčka je právě taková přímka, která leží v této rovině a současně protíná přímku a. Proto stačí: (1) uvážit rovinu (3 — K + b; (2) sestrojit průnik A — ar\(3; (3) spojit body K a, A; (4) vyznačit průsečík s přímkou b. 13 Mongeovo promítání 113 Obrázek 13.18: [Mach] Krov hradní věže ve Štramberku: krokve jsou příčky k mimoběž-kám a a b z několika bodů na kruhové podezdívce k. 13.3 Cvičení (1) U všech výše uvedených Mongeových obrázků si utvořte prostorovou představu o skutečné poloze zobrazených objektů vzhledem k průmětnám. Tuto představu pak volně načrtněte podobně jako na obr. 13.6 nebo 13.9. (2) Pro zadání jako na obr. 13.11 sestrojte stopníky přímky p a stopy roviny p a znovu určete průsečík R — pľ\p. (3) Rovina a je dána stopami a přímka q je dána sdruženými průměty svých stopníků. Dokažte, že umíte určit průnik R — qncrve všemožných speciálních případech jako např. q ± x nebo trii. (4) Určete průsečnici dvou rovin určených stopami v případě, že průsečík některé dvojice stop není vůbec dostupný. (5) Pro zadání ve cvičení 12.3(2) si vhodně zvolte Mongeovy pomocné průmětny (a jednotky) a sestrojte sdružené průměty hranolu včetně řezu rovinou p. (4) Pro zadání ze cvičení 13.3(5) sestrojte mnohoúhelník řezu ve skutečné velikosti. (5) Na obr. 13.28 jsou sdružené průměty nějakého tělesa, stopy roviny [i a sdružené průměty (Ei> bodu S. Sestrojte středový průmět tohoto tělesa z bodu S do roviny [i. (Při konstrukci nepřehlédněte užitečnost pomocných úběžníků.) (6) U předchozí úlohy nahraďte střed S nějakým směrem a sestrojte rovnoběžný průmět do roviny [i. 14 Kótované promítání Kótované promítání je kolmé promítání na jednu průmětnu s tím, že vzdálenost (některých) bodů od průmětny je naznačena jako jejich kóta. Kóty tedy nahrazují sdružený průmět u Mongeova 15 Axonometrie a kosoúhlé promítání 119 Obrázek 13.28: Sestrojte středový průmět daného objektu z daného středu do dané promítání. S tímto typem zobrazení se můžeme setkat např. na turistických (a jiných) mapách. Bod v prostoru je určen svým průmětem a kótou. Přímka je určena kótovanými průměty dvou bodů, příp. stopníkem a jedním dalším kótovaným bodem. Rovina je určena kótovanými průměty tří bodů, příp. stopou a jedním dalším kótovaným bodem... Obrázek 14.29: Zobrazení bodu, přímky a roviny, konstrukce stopníků a stop... Metody řešení základních úloh v kótovaném promítání a v Mongeově promítání si jsou v mnohém podobné, takže zmíníme jenom několik příkladů na ukázku. V každém případě si vždy můžeme zvolit pomocnou (kolmou) průmětnu, podle kót sestrojit druhé průměty vybraných bodů a řešit úlohu tak, jak jsme zvyklí. Ne vždy je však takový postup nutný a často lze postupovat přímo, viz např. obr. 14.29. Typická konstrukce, která vypadá stejně v kótovaném i Mongeově promítání, je na obr. 13.22. Dvojí řešení jedné polohové úlohy je na obr. 14.30. Obrázek 14.30: Průnik rovin r — aC\ p sestrojený pomocí (a) hlavních přímek, (b) pomocného průmětu. 15 Axonometrie a kosoúhlé promítání Uvažme nějakou kartézskou souřadnou soustavu v prostoru s počátkem O a osami x, y, z. Bod v prostoru je jednoznačně určen souřadnicemi vzhledem ke zvolené souřadné soustavě a naopak. Bod a jeho souřadnice geometricky (tj. bez číselného vyjadřování) zadáváme pomocí kolmých průmětů do rovin x,y (půdorys) a x, z (nárys). Pokud zvolíme nějakou další rovinu, která je v obecné poloze vzhledem k souřadným osám, pak rovnoběžné promítání do takové roviny je tzv. axonometrie, a tu podle směru promítání rozlišujeme na kolmou a šikmou. Axonometrie je tedy obyčejné rovnoběžné promítání na jednu průmětnu, nicméně z úvodu (a názvu) se dá odtušit, že při této zobrazovací metodě se budeme soustředit na otázku měření (-metrie), zejména podél os (axono-). Vzpomeňte, že problém měření ve volném rovnoběžném promítání, jak jsme je představili v podkapitole 12, je teoreticky celkem jasný, ale prakticky poněkud otravný (opakované přenášení dělicích poměrů). Základním axonometrickým úkolem je roviny. 120 IV Zobrazovací metody najít nějakou rychlou a technicky pohodlnou korespondenci mezi Mongeovy sdruženými průměty bodu a jeho axonometrickým průmětem. Tato korespondence, pojmenovaná jako zářezová metoda, je odvozena v odst. 15.1 a posléze zobecněna v odst. 15.2. Mezním případem (šikmé) axonometrie je tzv. kosoúhlé promítání, kdy promítáme šikmo do roviny x, z (Mongeova nárysna). O tomto promítání se letmo zmíníme v odst. 15.3. 15.1 Kolmá axonometrie Kolmá axonometrie je úplně určena rovinou axonometrické průmětny. Vzhledem k pomocným Mongeovým průmětnám tuto průmětnu zadáváme stopami nebo pomocí průsečíků se souřadnými osami. Trojúhelník určený těmito průsečíky je tzv. axonometrický trojúhelník. Kolmá axonometrie bývá zpravidla zadána právě axonometrickým trojúhelníkem. Axonometrický trojúhelník a důležité postřehy Na obr. 15.31 je představeno, jak lze sestrojit axonometrický trojúhelník a průměty souřadných os, a to výhradně s dovednostmi, které jsme se naučili v podkapitole 13: (1) axonometrický průmět počátku je sestrojen jako průnik promítacího paprsku jdoucího tímto bodem s danou rovinou, (2) poté se rovina otočí kolem půdorysné stopy do půdorysny. Přitom si uvědomujeme, že Mongeovy průměty promítacího paprsku jsou kolmé ke stopám roviny. Podobně by se dal sestrojit průmět jakéhokoli bodu v prostoru, viz cvičení 13.5(6). Obrázek 15.31: Kolmá axonometrie je dána stopami axonometrické průmětny; sestrojen axonometrický trojúhelník a průměty osového kříže... Zúžíme-li se pouze na body v Mongeově půdorysně, dostáváme korespondenci, která je zřejmě afinním zobrazením (složení dvou afinních zobrazení) a má stopu p jako přímku samodružných bodů. To je samozřejmě naše oblíbená osová afinita, jejíž osou je stopa p, směr je kolmý na p a obraz libovolného bodu je dán obrazem počátku O. 15 Axonometrie a kosoúhlé promítání 121 Podobný vztah samozřejmě platí také mezi Mongeovým a axonometrickým nárysem, příp. bokorysem. Odtud plyne, že průmět počátku je právě průsečíkem výšek axonometrického trojúhelníku.3 Zářezová metoda Typicky je kolmá axonometrie zadána axonometrickým trojúhelníkem a nikoli stopami jako na obr. 15.31. Z předchozího víme, že průmět počátku je průsečíkem výšek tohoto trojúhelníku a vztah mezi Mongeovým a axonometrickým půdorysem (resp. nárysem) je osová afinita. K jednoznačnému určení této osové afinity stačí sestrojit bod odpovídající počátku. Ten leží na kolmici ke stopě a současně na pomocné Thaletově kružnici (aby Mongeovy průměty os byly kolmé), viz obr. 15.32. Obrázek 15.32: [Me] Kolmá axonometrie je dána axonometrickým trojúhelníkem; sestrojen osový kříž, jednotky na osách a průmět bodu A... Na tomto obrázku si můžeme všimnout, že body Alo,Ax,Aa leží na jedné přímce, která je kolmá na p (tj. ve směru za); bod Aío je Mongeův půdorys, A\ je axonometrický půdorys a Aa je axonometrický průmět bodu A. Podobně je to s trojicí A2o, A2, Aa... Odtud plyne slibovaná bleskurychlá konstrukce axonometrického průmětu libovolného bodu A: (1) umístíme Mongeův půdorys, resp. nárys bodu A vzhledem k otočeným osám x0,y0, resp. (2) vedeme kolmice z těchto bodů k odpovídajícím stopám axonometrického trojúhelníku (tj. ve směru axonometrických průmětů příslušných os), (3) axonometrický průmět bodu A je průsečíkem těchto kolmic. Uvědomte si, že při této konstrukci je celkem jedno, na kterou stranu otáčíme pomocné průmětny. Stejně tak si můžeme pomocné Mongeovy průměty posunout v uvedeném směru libovolně daleko, aby se nám nepřekrývaly pomocné čáry s těmi podstatnými. Tomuto způsobu konstrukce axonometrického průmětu se říká zářezová metoda. Typickou aplikaci této metody najdete na obr. 15.33, příp. v příloze na str. 175. 3Umíme zdůvodnit i přímo s odkazem na větu na str. 116: promítáme kolmo a osa z je kolmá k rovině x,y, tedy i k přímce p, ... 122 IV Zobrazovací metody Obrázek 15.33: Kolmý axonometrický průmět tělesa z obr. 12.2 pomocí zářezové metody. Poznámky Dosud jsme diskutovali několik možností konstrukce axonometrického průmětu bodu daného Mongeovými sdruženými průměty, resp. souřadnicemi. Uvědomte si, že tento proces je vždy čitelný v obou směrech: poloha každého bodu v prostoru je dána jeho axonometrickým průmětem spolu s jeho axonometrickým půdorysem; odtud lze vždy doplnit axonometrický nárys, příp. bokorys bodu; pomocí výše popsané korespondence (osová afinita, viz obr. 15.32) umíme sestrojit Mongeův půdorys, nárys, příp. bokorys tohoto bodu, tj. jeho souřadnice. Hlavní výhodou řešení úloh v kolmé axonometrii je, že pracujeme s hodně názornými obrázky (aspoň pro malá měřítka) a současně jsme schopni velice hospodárně realizovat celkem jakékoli měření. Všechny základní úlohy, které jsme zmiňovali v podkapitole 13, je nyní možné převyprávět v této zobrazovací metodě. My jsme slibovali, že to dělat nebudeme, avšak na ukázku uvádíme aspoň jednu základní úlohu, viz obr. 15.34 (až na značení a vzájemnou polohu zadávajících objektů se jedná právě o úlohu řešenou na obr. 13.11, resp. obr. 12.5). 15 Axonometrie a kosoúhlé promítání 123 Obrázek 15.34: [Me] Průnik přímky k a roviny p — ABC: (1) l je krycí přímka pro směr kolmý k půdorysně (h = fci), (2) její axonometrický průmět je určen body L, Ľ, (3) bod R = k n l je právě hledaným průnikem fc n p. 15.2 Šikmá axonometrie Rozdíl mezi kolmou a šikmou axonometrií je jenom ve směru promítání vzhledem k axonometrické průmětně. Nebudeme tedy opakovat všechno, co jsme říkali v předchozích odstavcích, pouze zformulujeme několik poznámek. Šikmá axonometrie je zcela určena axonometrickým trojúhelníkem a obrazem počátku. Korespondence mezi axonometrickým půdorysem a otočeným (Mongeovým) půdorysem je opět osová afinita, jejíž osou je půdorysná stopa p, akorát směr této afinity nemusí být kolmý ke stopě p. Podobně je to s nárysy a bokorysy. Odtud lze rovněž odvodit zářezovou metodu konstrukce axonometrického průmětu z Mongeových (vhodně umístěných) sdružených průmětů... Pro rychlé a názorné zobrazení nějakého objektu daného svými sdruženými průměty se užívá právě tohoto postupu s tím, že Mongeovy průměty umisťujeme do nákresny úplně libovolně podle vlastního uvážení. V tomto případě nejsou průmětna ani směr promítání předem specifikovány, jedná se tedy o jakési volné rovnoběžné promítání, ovšem zadané poněkud neobvyklým způsobem. Příklad takové konstrukce je na obr. 15.35. Z uvedeného je patrné, že tato metoda je vhodná zejména pro zobrazování hranatých těles; o zobrazování oblých těles se zmíníme záhy, viz odst. 18.4. 15.3 Kosoúhlé promítání Speciálním, resp. mezním případem šikmé axonometrie je tzv. kosoúhlé promítání, kdy hlavní průmětna splývá s Mongeovou nárysnou. To znamená, že osy x a, z v průmětu osového kříže svírají pravý úhel. Kosoúhlé promítání je zcela určeno směrem promítání, který však tentokrát — na rozdíl od obecné axonometrie — není zadán obrazem počátku, protože ten leží přímo v průmětně. Na obr. 15.36 je naznačena konstrukce kosoúhlého průmětu obecného bodu v prostoru pro zadaný směr promítání. Průmětem je právě nárysný stopník přímky určené tímto bodem a směrem promítání! Zúžíme-li naše promítání pouze na body v půdorysně, pozorujeme opět afinitu, jež má osu x jako přímku samodružných bodů. Korespondence mezi Mongeovým a kosoúhlým 124 IV Zobrazovací metody Obrázek 15.35: [Me] Volný rovnoběžný průmět nějaké součástky pomocí zářezové metody. půdorysem je tedy osová afinita, jež je zcela určena osou x a libovolnou dvojicí odpovídajících si bodů (Ai a A\). Podobný vztah platí také mezi Mongeovým a kosoúhlým bokorysem; vztah mezi Mongeovým a kosoúhlým nárysem je samozřejmě identita. Obrázek 15.36: Kosoúhlé promítání je dáno směrem s; sestrojen kosoúhlý průmět bodu A jakožto stopník promítacího paprsku. Na obr. 15.37 je zobrazen průmět osového kříže s jednotkami na osách, což jednoznačně určuje nějaké rovnoběžné promítání. Protože průměty osiaz jsou kolmé a jednotky na těchto osách jsou stejné, je tímto způsobem zadáno právě kosoúhlé promítání. Kosoúhlý půdorys bodu A je sestrojen pomocí výše popsané osové afinity, kosoúhlý průmět je doplněn z nárysu... Komplexnější úlohy řešené v kosoúhlém promítání hledejte ve cvičeních nebo v podkapitole 18. Jeden názorný příklad je na obr. 15.38. 16 Perspektiva 125 ly Obrázek 15.37: Kosoúhlé promítání je dáno obrazem bodu Y na ose y; sestrojen kosoúhlý průmět bodu A pomocí osové afinity mezi Mongeovým a kosoúhlým půdorysem. Obrázek 15.38: Kosoúhlý průmět tělesa z obr. 12.2. 15.4 Cvičení (1) Pro zadání jako na obrázku obr. 13.11 sestrojte axonometrický a kosoúhlý průmět (a) stop roviny p — KLM, (b) přímky p — PQ a krycí přímky r, (c) průsečíku R — pC\p. (2) Pro zadání ze cvičení 13.5(6) určete axonometrický trojúhelník a sestrojte průmět daného kovanější, než zdůvodnit, že to je možné. Dva příklady na ukázku jsou na obr. 20.5. 224. května 2015 20 K eukleidovským konstrukcím 143 Obrázek 20.5: [Ha] Mascheroniovská a steinerovská konstrukce inverzního bodu A' k bodu A při kruhové inverzi se středem v O... 20.3 Konstrukce s označeným pravítkem Konstrukce s označeným pravítkem jsou konstrukce, při kterých se používá jak kružítko, tak pravítko, a navíc je dovoleno dělat na pravítku značky, které se dále používají. Takovému nástroji se také říká neusis. Tímto způsobem lze velmi rychle sestrojit pravidelný pětiúhelník, viz obr. 20.6 (srovnejte s konstrukcemi v 4.14). Neusis se také používá při tzv. proužkové konstrukci bodů elipsy (zadané hlavními průměry)... Obrázek 20.6: [A] Konstrukce pravidelného pětiúhelníku s kružítkem a označeným pravítkem. Zajímavější je, že s označeným pravítkem lze řešit mnohé eukleidovsky neřešitelné problémy jako např. trisekci libovolného úhlu! Na obr. 20.7 najdete Archimedovo řešení tohoto problému, jehož zdůvodnění je velmi prosté... Úplnou charakterizaci veličin, které lze s kružítkem a označeným pravítkem sestrojit, lze najít v [Ha] nebo [Mar2]... 144 V Dodatky 0 a n B Obrázek 20.7: [A] Trisekce úhlu s označeným pravítkem: a — ZBMC je libovolný úhel; sestrojíme lib. kružnici se středem v M; přiložíme neusis s vyznačenými body D a, E tak, že DE — AM... Potom platí, že /3 — |a. První seznámení s Apollóniovými úlohami je v podkapitole 5. Od samého začátku jsme si všímali, že vhodné geometrické transformace pomáhají při řešení úlohy. Ve cvičení 8.7 jsme si uvědomili, že pomocí dilatace a kruhové inverze lze jakoukoli Apollóniovu úlohu redukovat na podstatně jednodušší problém z poměrně krátkého seznamu. Tady doplníme ještě několik postřehů a alternativ. 21.1 Řešení pomocí vhodných transformací Toto je metoda, kterou jsme protěžovali především. Nebudeme se znovu opakovat, pouze pro porovnání přikládáme miniseriál demonstrující typickou redukci složitosti pomocí dilatace a kruhové inverze, viz obr. 21.8. 21 K úlohám Apollóniovým 21 K úlohám Apollóniovým 145 Obrázek 21.8: Řešení obecné Apollóniovy úlohy pomocí dilatace a kruhové inverze: (1) zadaní, (2) dilatace, (3) kruhová inverze, (4) společné tečny ke dvěma cyklům (!), (5) kruhová inverze, (6) dilatace. 21.2 Řešení Gergonnovo Toto řešení je poměrně elementární, čímž myslíme, že při konstrukci se nepracuje s žádnou transformací, viz obr. 21.9. Zdůvodnění konstrukce plyne z následujícího rozboru: (a) spojnice (k) dvojic dotykových bodů na každém cyklu prochází společným bodem (P), jež je potenčním středem daných tří kružnic, (b) póly (Li) těchto spojnic (= průsečíky tečen z dotykových bodů) leží na jedné přímce (ch), jež je právě chodrálou dvou kružnic řešení, (c) tato přímka je právě osou podobnosti tří daných cyklů (= spojnice tří středů stejnolehlosti), (d) protože Li e ch a Li je pól k, musí pól ch ležet na k. 146 V Dodatky Zdůvodnění tvrzení, jež nejsou jasná, lze najít např. v [Ho]. Princip zmiňovaný v (d) je znám jako tzv. polární reciprocita. Obrázek 21.9: Gergonnovo řešení obecné Apollóniovy úlohy: (1) chab, chbc, chac jsou chordály tří dvojic daných kružnic, jež prochází jejich potenčním středem P, (2) Oab, Obe, Oac jsou středy stejnolehlosti tří dvojic daných cyklů, jež leží na jejich ose podobnosti, (3) Pa, Pb, Pc jsou póly této přímky vzhledem k daným kružnicím, (4) dotykové body jsou na spojnicích PPa, PPb, PPC- 21.3 Řešení pomocí geometrických míst Tato metoda je založena na jednoduchém pozorování, že středy cyklů, které se dotýkají dvou daných cyklů tvoří vždy nějakou kuželosečku (k) — pro cykly a, b se středy A, B a, poloměry G3> ra, rb platí: • je-li \ra — rb\ > \AB\, pak k je elipsa s ohnisky A, B a délkou hlavní osy \ra — rb\, • je-li \ra — rb\ < \AB\, pak k je hyperbola s ohnisky A, B a délkou hlavní osy \ra — rb\. V uvedeném popisu uvažujeme ra, rb jako orientované poloměry, tzn. znaménko ra odpovídá orientaci cyklu a. Ve speciálních, resp. mezních případech je kuželosečka k kružnice nebo přímka... Pro tři dané cykly jsou středy hledaných dotýkajících se cyklů společnými body nějakých tří kuželoseček — sestrojit takové body zpravidla neumíme eukleidovsky. 21 K úlohám Apollóniovým 147 Obrázek 21.10: Středy cyklů, které se dotýkají dvou daných cyklů, tvoří kuželosečku (která se nemění při dilatacích). 21.4 Řešení pomocí cyklografie (Prozradím zájemcům, kteří znají heslo.3) 3Heslo je EIFARGOLKYC. 148 V Dodatky Závěrečné shrnutí Na závěr nabízíme pokus o stručné shrnutí probrané látky. Za celý semestr jsme toho napovídali celkem hodně, ty nejpodstatnější věci se však poznají podle toho, že jsou zpravidla obdařeny přívlastkem základní. Klasická konstrukční geometrie (kap. II) Nejprve jsme si dali záležet na organizaci základních geometrických poznatků, a to podle Euklei-dových Základů (podkap. 4). Geometrie (stejně jako jakákoli jiná matematická disciplína) není pouhým souborem definicí a pouček, které je nutné se před každou zkouškou našprtat. Ptáme-li se u každého tvrzení, jak je zdůvodněno (příp. co z něj dále vyplývá), můžeme odhalit jasnou logickou strukturu, a tu již nelze zapomenout! Takto se postupně dostáváme k několika málo primitivním (tj. nejzákladnějším, a tedy nedefinovaným) pojmům a vtahům/relacím. Primitivní pojmy jsou • bod, přímka a rovina, primitivní vztahy jsou • incidence, uspořádání, shodnost, rovnoběžnost a spojitost. Tyto vztahy jsou vymezeny několika základními tvrzeními (axiómy, resp. postuláty), viz odst. 4.1 a přílohu na str. 171. Planimetrie Na úvod jsme se věnovali poněkud problematickému pátému Eukleidovu postulátu (odst. 4.4). Ten je poprvé použit ve větě o střídavých úhlech (1.29), odkud dále plyne např. věta o součtu vnitřních úhlů v trojúhelníku (1.32) nebo základní věty o stejnoplochých trojúhelnících/rovnoběžnících (1.35-38). Vyvrcholením tohoto tématického okruhu byla Eukleidova věta o odvěsně, resp. věta Pythagorova (1.47). Víceméně jenom s těmito poznatky jsme byli schopni konstrukčně řešit problém tzv. kvadratury obecného mnohoúhelníku (odst. 4.6). Rozborem zdůvodnění jednotlivých kroků jsme si navíc uvědomili zajímavý dodatek týkající se stříhání (str. 17). Jako ukázku tzv. geometrické algebry jsme uvedli konstrukci zlatého řezu úsečky, kterou jsme interpretovali jako geometrické řešení velmi speciální kvadratické rovnice (odst. 4.9). 150 Shrnutí V souvislosti s kružnicemi (odst. 4.12) jsme zmínili několik základních tvrzení týkajících se jejich vzájemného dotyku, příp. tečen (III. 11-19). Dalším milníkem byla věta o středových a obvodových úhlech (III.20-21), jejímiž bezprostředními důsledky jsou např. věta o tětivovém čtyřúhelníku, Thaletova věta nebo věta o úsekovém úhlu. Vyvrcholením tohoto odstavce byla věta, která sice nemá žádné speciální pojmenování (III.35-36), která nás však dovedla k velice užitečnému pojmu mocnosti bodu ke kružnici. Hezkou syntézu všech podstatných a do té doby diskutovaných témat lze najít při důkladném rozboru pravidelného pětiúhelníku (odst. 4.14). Odtud jsme vyvodili návod k jeho konstrukci a současně jsme doplnili několik početních vyjádření (str. 29). Velice užitečnou pomůckou v mnoha konstrukcích, resp. v jejich zdůvodněních jsou podobné útvary, nejčastěji trojúhelníky. Teorie podobnosti je považována za pokročilejší látku, mj. také proto, že se porovnávají poměry veličin různého typu (odst. 4.16). Typickým a v jistém smyslu nejzákladnějším tvrzením je věta VI.1, která se sice přímo netýká podobnosti, ale doplňuje předchozí diskuzi o rovnostech obsahů trojúhelníků/rovnoběžníků. Druhé nejzákladnější a v tomto kurzu nejčastěji citované tvrzení je ve větě VI.2, která charakterizuje rovnost poměrů vzdáleností dvou trojic kolineárních bodů. Odtud plyne známá charakterizace podobnosti dvou trojúhelníků (VI.4-5) a vyjádření poměru obsahů podobných trojúhelníků/mnohoúhelníků pomocí koeficientu podobnosti (VI.19-20). Tento tématický celek je zakončen přirozeným zobecněním Pythagorovy věty (VI.31). Sestrojitelné veličiny Na tomto místě jsme schopni úplně charakterizovat tzv. eukleidovsky sestrojitelné veličiny, tzn. všechny veličiny, které jsou — vzhledem k dané jednotce — sestrojitelné pomocí eukleidovského pravítka a kružítka (odst. 4.18). Ty jsou algebraicky vymezeny jako takové veličiny, které lze vyjádřit pomocí konečného počtu operací +,—,-,: a y (str. 35). Odpovídající geometrické konstrukce jsou založeny na • přikládání a odebírání úseček na přímce, • podobných trojúhelnících,4 • Eukleidově větě o odvěsně, resp. o výšce. Tato diskuze úzce souvisí s obecnými kvadratickými rovnicemi a jejich geometrickým řešením (str. 36). Eukleidovsky sestrojitelné veličiny jsou veličiny velmi specifického typu, jinými slovy: naprostá většina reálných veličin není eukleidovsky sestrojitelná. Odtud plyne, proč některé známé geometrické problémy, jako např. kvadratura kruhu nebo konstrukce pravidelného mnohoúhelníku s obecným počtem vrcholů, nejsou eukleidovsky řešitelné (odst. 20.1). Stereometrie Na úvod jsme si zopakovali definice rovnobežnosti a kolmosti přímek v rovině, které jsme rozšířili na přímky a roviny v prostoru (odst. 4.20). Poté jsme velice svižně probrali několik trojrozměrných analogií k dříve diskutovaným planimetrickým tématům: Pojednání o kvádrech/rovnoběžnostěnech a jejich objemech v XI. knize je velmi podobné tomu, co známe z I., resp. VI. knihy. 4Resp. na navzájem vložených rovnoběžnících jako na obr. 4.6 na str. 16. Shrnutí 151 Pojednání o jehlanech (překvapivě) a válcích/kuželích (pochopitelně) ve XII. knize je podstatně komplikovanější, neboť se nelze vyhnout jistým infinitezimálním úvahám. Ty jsou v Záka-dech zhmotněny v tzv. Eudoxově metodě, která je založena na vyčerpávání daného tělesa tělesy jednoduššími, o nichž všechno víme. Objem koule (a taktéž obsah kruhu) je zde diskutován ve stejném duchu. Vyvrcholením tohoto bloku — a současně celých Základů — je klasifikace a důkladný rozbor pravidelných konvexních mnohostěnů, tzv. Platónských těles (odst. 4.21). Těch je celkem pět, podrobněji jsme se věnovali pouze dvěma nejkomplikovanějším tělesům: pravidelnému dvanáctistěnu a dvacetistěnu. Vztahy, které jsme v těchto tělesech objevili (a ve kterých se opakovaně objevoval zlatý řez), si potřebujeme zapamatovat pro konstrukce jejich různých průmětů. Tomu se věnujeme v závěru celého kurzu... Dotykové úlohy Dotykovými úlohami myslíme úlohy, v nichž se dotýkají kružnice, příp. kružnice a přímky (pod-kap. 5). Rozšiřujeme diskuzi z odst. 4.12 a naším cílem je vyřešit obecnou Apollóniovu úlohu. Přitom vyřešit neznamená nějak vyčarovať řešení, ale pěkně eukleidovsky sestrojit zejména dotykové body! Nej základnější dotykové úlohy jsou dvě: • konstrukce tečny z bodu ke kružnici, • konstrukce společných tečen dvou kružnic, přičemž každou z těchto úloh umíme řešit (alespoň) dvojím způsobem (odst. 5.1). Poté jsme se věnovali dalším dotykovým úlohám, které postupně vygradovaly k možnému řešení obecné Apollóniovy úlohy (odst. 5.2-5.4). V uvedených konstrukcích se opakovaně odkazujeme jenom na několik základních principů: • mocnost bodu ke kružnici, • souměrnosti, • stejnolehlosti, • dilatace. U dilatací si uvědomujeme, že je nutné uvažovat dotyk v souhlase s orientacemi vystupujících objektů. V ostatních případech to nutné není, ale pomáhá to v organizaci řešení (zejména u úloh s více řešeními). Ke zmiňovaným transformacím jako takovým se ještě vracíme v samostatných odstavcích (v kap. III) a přidáme k nim jednu další — kruhovou inverzi. Několik dodatků k Apollóniově úloze lze najít také v podkap. 21. Kuželosečky Podkapitola o kuželosečkách (podkap. 6) byla veskrze informativní a jejím hlavním smyslem bylo ukázat, že všechny obvyklé definice elipsy (hyperboly, resp. paraboly), které lze v literatuře najít, jsou navzájem ekvivalentní. 152 Shrnutí Užitek Na konci tohoto bloku umíme sestrojit čtverec, který má stejný obsah jako libovolný daný mnohoúhelník. Navíc si uvědomujeme, že ve speciálních případech je možné naše obecné konstrukční návyky zajímavě zjednodušit (str. 58). Víme všechno o zlatém řezu a z jeho algebraického vyjádření si umíme kdykoli odvodit svoji vlastní konstrukci. Obecněji, umíme vymyslet konstrukci kořenů libovolné kvadratické rovnice. Současně si uvědomujeme, že ne všechny reálné veličiny jsou eukleidovsky sestrojitelné, a bezpečně umíme rozpoznat právě ty sestrojitelné od všech ostatních. Umíme sestrojit pravidelný pětiúhelník a několik dalších pravidelných mnohoúhelníků. Teoreticky umíme řešit obecnou Apollóniovu úlohu, prakticky se prozatím soustředíme na úlohy, které jsou v určitém smyslu speciální (str. 60). Geometrická zobrazení (kap. III) V této kapitole jsme diskutovali několik skupin geometrických zobrazení. Hlavní výklad se odvíjel podle osy shodná—podobná—afinní—projektivní (odst. 8.2—8.4—8.8—8.10). U každé skupiny jsme nejdříve zmínili několik konkrétních a většinou dobře známých příkladů, poté následovala obecná definice, příp. další obecné vlastnosti a aplikace. Mezi shodná a afinní zobrazení jsme ještě zařadili skupinu ekviafinních zobrazení (tj. takových afinních zobrazení, která zachovávají obsahy/objemy). Obecná projektivní zobrazení jsou dobře definována pouze mezi projektivními prostory, které jsme poměrně volně vymezili jako eukleidovské prostory rozšířené o body „v nekonečnu" (str. 82). Toto rozšíření s sebou přináší několik typických záludností které souvisí s uspořádáním bodů na přímce (např. projektivní přímka nerozděluje projektivní rovinu na dvě nesouvislé části). Kromě toho jsme do výkladu začlenili ještě jeden odstavec o kruhové inverzi jakožto základním konformním zobrazení v rovině (odst. 8.6) a jeden odstavec o dilataci jakožto představiteli mnohem obecnější třídy kontaktních zobrazení (odst. 8.1). Smyslem těchto dvou odboček bylo doplnění diskuze o výše zmiňovaných dotykových úlohách. Celková rekapitulace a hierarchie všech probíraných skupin zobrazení je v odst. 9.4. Vlastnosti Zobrazení všeobecně rozdělujeme na • regulární (injektivní, neboli prostá), • singulární (neinjektivní). Transformace nějakého prostoru je zobrazení tohoto prostoru do sebe. Regulární transformace eukleidovského prostoru rozlišujeme na • přímé (zachovávají orientaci), • nepřímé (mění orientaci). Jakékoli shodné, podobné, či ekviafinní zobrazení je nutně regulární. Afinní a projektivní zobrazení mohou být jak regulární, tak singulární. Regulární afinní transformace je buď přímá, nebo nepřímá. Pro obecné projektivní transformace nemá toto dělení smysl. Shrnutí 153 Z obecných vlastností projektivních, resp. afinních/podobných/shodných zobrazení umíme vydedukovat několik důležitých vět o jejich určenosti (viz věty a poznámky na str. 88, resp. 80). Tyto postřehy současně představují výchozí poznatky pro následující kapitolu o zobrazovacích metodách! Přehled všech použitelných invariantů je uveden v tabulce na str. 92: • pro obecné projektivní zobrazení to je pouze kolinearita a dvojpoměry čtveřic kolineárních bodů; • pro afinní zobrazení navíc poměry vzdáleností trojic kolineárních bodů a (ekvivalentně) rovnoběžnost; • pro podobná zobrazení navíc poměry vzdáleností jakýchkoli trojic bodů a (ekvivalentně) odchylky přímek; • pro shodná zobrazení navíc vzdálenosti jakýchkoli dvojic bodů. Základní konstrukční dovednosti tedy jsou: spojování dvojic bodů přímkami a přenášení dvoj-poměrů; přenášení dělicích poměrů a konstrukce rovnoběžek; přenášení úhlů; přenášení úseček. Přenášení dělicích poměrů je odvozeno z věty VI.2 (str. 31), přenášení dvojpoměrů z věty Pap-povy (str. 85); všechny ostatní konstrukce jsou elementární, resp. triviální. Základní zobrazení Základní (regulární) projektivní transformace v rovině jsou takové, které mají osu a střed. Transformace může mít nejvýše jednu osu a nejvýše jeden střed; z Desarguesovy věty (str. 91) navíc plyne, že existence středu je ekvivalentní existenci osy. Nejzákladnější projektivní transformací v rovině je osová kolineace, ostatní dříve jmenované příklady (osová afinita, harmo-nická/sikmá/osová souměrnost, elace, stejnolehlost) chápeme jako její speciální případy (str. 90). Základním singulárním projektivním zobrazením je středové promítání; speciálním (afinním) případem je rovnoběžné promítání (= středové promítání se středem v nekonečnu). Užitek Na konci toho bloku si uvědomujeme, že umíme sestrojit obecný projektivní nebo afinní obraz např. pravidelného mnohoúhelníku, hranolu nebo jiného oblíbeného útvaru (str. 96). Konstrukce podobného či shodného obrazu mnohoúhelníku je jednoduchá, hranolu nebo jiného trojrozměrného objektu nemožná (zobrazení trojrozměrného prostoru do roviny je vždy singulární). Současně si uvědomujeme, že průmět rozličných prostorových konfigurací je možné interpretovat jako základní transformace v rovině, což vždy podstatně zjednodušuje konstrukce (viz např. vztah mezi podstavou a řezem hranolu na str. 97)! Pomocí kruhové inverze navíc umíme řešit mnohé předchozí dotykové úlohy alternativně a současně velmi elegantně (str. 94). Pomocí kruhové inverze a dilatace umíme řešit obecnou Apollóniovu úlohu (str. 145). Zobrazovací metody (kap. IV) Celá tato kapitola je motivována touhou umět sestrojit dostatečně obecné (tj. dostatečně názorné) a korektní dvojrozměrné obrazy rozličných trojrozměrných objektů. Hlavním úkolem je porozumění a konstrukční ovládnutí korespondence mezi skutečnými vztahy různých objektů v prostoru (vzájemná poloha, vzdálenost apod.) a jejich obrazy, které jsou vždy nějak deformované. Zobrazovacími metodami se obvykle myslí metody ovládnutí této korespondence vzhledem ke zvolenému typu zobrazení. 154 Shrnutí Téměř výhradně uvažujeme zobrazení, při kterých se přímky zobrazují na přímky, resp. na body. To znamená, že se zabýváme singulárními projektivními zobrazeními, a to těmi základními. Podle způsobu promítání dělíme na: • středové promítání, Středové promítání je obecné projektivní zobrazení, rovnoběžné promítání je afinní. Jiné možné dělení je podle způsobu zadání: • volné promítání, • vázané promítání. V prvním případě je promítání určeno volně, tj. obrazy několika málo bodů — tady nás nečeká nic nového (pokud jsme pochopili hlavní poselství kap. III). Ve druhém případě je promítání určeno přesným vymezením průmětny a středu/směru promítání vzhledem k zobrazovanému objektu, příp. k pomocné souřadné soustavě — tady jen předchozí konstrukce zefektivníme. Uvažme pomocnou kartézskou souřadnou soustavu s osami x, y, z, vzhledem k níž budeme vše vztahovat. Bod v prostoru je jednoznačně určen souřadnicemi, A — (xa, y a, za)- Kolmý průmět bodu A do roviny určené osami x,y značíme A\ a nazýváme půdorysem, A\ — (xa,va)'i kolmý průmět do roviny x, z značíme A2 a nazýváme nárysem, A2 — (xa, z a). Místo analytického vyjádření pomocí souřadnic se užívá několik geometričtějších způsobů určení polohy bodu v prostoru. Bod A je jednoznačně určen • půdorysem A\ a kótou (= souřadnicí za), • půdorysem A\ a cyklem (= kružnicí s poloměrem \za\ a orientací podle znaménka za), • půdorysem A\ a nárysem A2. První způsob vyjadřování známe z map; odvozená zobrazovací metoda se nazývá kótované promítání (podkap. 14). Druhý způsob vyjadřování je poměrně neobvyklý, avšak má velmi sympatické aplikace (zejména u úloh s cykly/kružnicemi a jejich dotykem); odvozená zobrazovací metoda se nazývá cyklografie (podkap. 17). Třetí způsob vyjadřování je naopak velmi běžný a lze se s ním setkat od dětských knížek po dospělácké technické výkresy. Vzhledem k tomu, že půdorys A\ a nárys A2 mají společnou první souřadnici, je možné oba průměty vzhledem k této souřadnici „sdružit"; odvozená zobrazovací metoda se nazývá Mongeovo promítání (podkap. 13). Tato zdánlivá drobnost má velice užitečné konstrukční důsledky, které jsme se učili rozvíjet. Zadání většiny úloh formulujeme právě pomocí Mongeových sdružených průmětů. Dosud uvedené metody uvažují toliko kolmé průměty do rovin určených souřadnými osami. Zobrazovací metoda odvozená ze šikmého promítání do roviny x, z se nazývá kosoúhlé promítání (odst. 15.3). Zobrazovací metody, které pracují s průmětnou v obecné poloze vzhledem k souřadným osám, jsou axonometrie (a to kolmá nebo šikmá, podkap. 15) a lineární perspektiva (tedy středové promítání, odst. 16.1). • rovnoběžné promítání, které dále dělíme na Přehled Shrnutí 155 Volné promítání Z obecných vlastností projektivních, resp. afinních zobrazeních jsme již v kap. III vydedukovali několik tvrzení o jejich určenosti. Středové promítání je projektivní, takže: • obecné středové promítání je určeno obrazy čtyř bodů v obecné poloze (např. počátku a jednotek na osách pomocné souřadné soustavy) a úběžníky tří odpovídajících přímek (souřadných os). Rovnoběžné promítání je afinní, úběžníky jsou proto automaticky v nekonečnu, takže: • rovnoběžné promítání je určeno obrazy čtyř bodů v obecné poloze (např. ...). Konstrukce obrazu libovolného bodu v prostoru je založena na opakovaném — a tudíž otravném — přenášení dvojpoměrů, u rovnoběžného promítání dělicích poměrů a rovnoběžek. Ne každé projektivní (resp. afinní) zobrazení je středové (resp. rovnoběžné) promítání, takže obrazy zmiňovaných několika bodů nemohou být úplně libovolné.5 I přes tato omezení si lze představit situaci, kdy jsou naše konstrukční návyky nedostatečné (odst. 12.1).6 V takovém případě nezbývá než improvizovat, anebo se naučit něco nového, např. něco o vázaném promítání. Vázané promítání Typická výchozí situace je taková, že jsou dány Mongeovy sdružené průměty nějakého objektu, středu (resp. směru) promítání a rovina (nejčastěji pomocí stop). Úkolem je sestrojit průmět daného objektu z daného středu (resp. v daném směru) do dané roviny. Ve speciálních případech umíme průmět sestrojit velice rychle, např. když promítáme do některé z Mongeových pomocných průměten (str. 125) nebo do roviny kolmé k některé z těchto rovin (str. 126). Obecné řešení sestává z několikerého opakování dvou kroků: • určení průmětu bodu, tzn. průniku promítacího paprsku s danou rovinou, • určení skutečných vzdáleností průmětu bodu od několika referenčních bodů/přímek v dané rovině. Odtud je zřejmé, jaké jsou nejzákladnější úlohy, které se v této kapitole máme naučit! Podle předchozího pododstavce stačí k určení průmětu libovolného bodu v prostoru znát průměty počátku, jednotek, příp. úběžníků souřadných os. To říkáme proto, že je vhodné různé postupy kombinovat, ty stávající jsou však zpravidla efektivnější: dřívější opakované přenášení dvojpoměrů, resp. dělicích poměrů je nyní nahrazeno opakovaným přenášením vzdáleností. Toto opakované určování a přenášení vzdáleností lze navíc realizovat naráz pomocí otočení dané roviny do některé z Mongeových pomocných průměten (str. 115, 131): stačí změřit vzdálenost jednoho jediného bodu od stopy (= osy otáčení) a následně využít osovou afinitu, která mezi otočeným obrazem a odpovídajícím Mongeovým průmětem vládne. Tatáž myšlenka, akorát realizovaná opačně, tzn. jako otočení Mongeovy pomocné průmětny do dané roviny, vede k tzv. zářezové metodě (str. 122, str. 175). To je nejefektivnější metoda konstrukce kolmého průmětu do obecné roviny, kterou jsme diskutovali. 6Např. není možné, aby se všechny tři jednotky na osách souřadné soustavy zobrazily do jednoho bodu. 6Např. když obrazy počátku a dvou jednotek na osách jsou kolineární. 156 Shrnutí Základní úlohy Nejzákladnější konstrukční úlohy jsou dvě (až tři): • průnik přímky a roviny, • vzdálenost dvou bodů, • kolmice z bodu k rovině. Obecné řešení první úlohy se neobejde bez myšlenky pomocné roviny, která danou přímku obsahuje. Tuto úlohu umíme bez podstatného rozdílu řešit jak ve volném průmětu, tak pomocí Mongeových sdružených průmětů (str. 106, 109, 117, 123). Speciálním případem této úlohy je konstrukce stopníků. Příbuzné (polohové) úlohy jsou: vzájemná poloha přímky a roviny, průnik a vzájemná poloha dvou rovin, dvou přímek apod. (odst. 13.2). Obecné řešení druhé úlohy umíme pohodlně realizovat pomocí Mongeových průmětů a spočívá v konstrukci přepony pravoúhlého trojúhelníku, jehož dvě odvěsny čteme z odpovídajících sdružených průmětů (str. 115). Obecné řešení třetí úlohy pomocí Mongeových průmětů je triviální: sdružené průměty kolmice k rovině jsou kolmé ke stopám (str. 116). Příbuzné (měřičské) úlohy jsou: otočení roviny, vzdálenost bodu od přímky nebo roviny, odchylka dvou přímek apod. (odst. 13.4). Užitek Na konci toho bloku umíme sestrojit obecný středový nebo rovnoběžný průmět např. pravidelného mnohoúhelníku, hranolu či jiného oblíbeného útvaru, a to hned několika různými způsoby (odst. 18.3). Aby průmět tělesa působil víc plasticky, umíme jej vystínovat vzhledem ke zvolenému zdroji osvětlení. Pro dané těleso a danou rovinou umíme sestrojit průmět odpovídajícího řezu (odst. 18.2). Současně si uvědomujeme, že pomocí Mongeových sdružených průmětů umíme realizovat jakákoli dodatečná — a dříve problematická měření — velice jednoduše. Např. umíme zobrazit řez tělesa ve skutečné velikosti, příp. (abychom si připomněli také něco ze začátku semestru) sestrojit čtverec, který má stejný obsah jako mnohoúhelník onoho řezu. Přestože jsme se o zobrazování oblých těles zmínili jen velmi povrchně, velmi snadno umíme odhalit velmi časté neduhy při jejich zobrazování (str. 138). Literatura [A] B. Artmann, Euclid: The Creation of Mathematics, Springer, 1999 [Be] M. Berger, Geometry I, II, Springer, 1987 [Br] M. Brauner, Planimetrické úlohy řešené prostorově (diplomová práce), Brno, 2009 [DV] L. Drs, J. Všetečka, Objektivem počítače: geometrie speciálních fotografických technik, SNTL, 1981 [D] T. Dvořáková, Přínos Jánoše Bolyaie k základům neeuklidovské geometrie (bakalářská práce), Praha, 2012 [E] Eukleidés, Základy, Alexandrie, —300 (pro konkrétní citovaná vydání viz [Ej, Eb, Ey, HTD] a [S] níže) [Ha] R. Hartshorne, Geometry: Euclid and beyond, Springer, 2000 [Ha2] R. Hartshorne, Teaching geometry according to Euclid, Notices of AMS, 2000, www.ams.org/notices/200004/fea-hartshorne.pdf [Hi] D. Hilbert, The Foundations of Geometry, 1902, www.gutenberg.org/files/17384/17384-pdf.pdf [Ho] J. Holubář, O methodách rovinných konstrukcí: Úloha Apolloniova a úlohy příbuzné, JČMF, 1949 [KKK] F. Kadeřávek, J. Klíma, J. Kounovský, Dekriptivní geometrie I, JČMF, 1950 [Ka] F. Kadeřávek, Geometrie a umění v dobách minulých, Praha, 1935 [Ko] A. Kolman, Dějiny matematiky ve starověku, Academia, 1968 [KV] J. Kounovský, F, Vyčichlo, Deskriptívni geometrie pro samouky, ČSAV, 1953 [Ku] F. Kuřina, Deset geometrických transformací, Prométheus, 2002 [KU2] F. Kuřina, Deset pohledů na geometrii, ČSAV, 1996 158 Literatura [KU3] F. Kuřina, Umění vidět v matematice, SPN, 1990 [Kut] B.V. Kutuzov, Lobačevského geometrie ..., ČSAV, 1953 [L] M. Lavička, Syntetická geometrie, Plzeň, 2007, http://home.zcu.cz/~lavicka/subj ects/SG/texty/sg_text.pdf [Mach] F. Machala, Plochy technické praxe, Olomouc, 1986 [Mar] G.E. Martin, Transformation geometry, Springer, 1982 [Mar2] G.E. Martin, Geometrie constructions, Springer, 1998 [Me] V. Medek, Deskriptívna geometria, SNTL, 1962 [Pe] J.I. Perelman, Zajímavá geometrie, Mladá Fronta, 1954 [Pr] R. Pruner, Prostorově viděné modely (anaglyfy) pro vyučování geometrie na hlavních a nižších středních školách, Praha, 1943 [R] O. Říha, Konstrukční geometrie I, II, Brno, 2002 [R2] O. Říha, Kruhová inverze, Brno, 2010 [Sei] L. Seifert, Cyklografie, JČMF, 1949 [Sek] M. Sekanina a kol., Geometrie I, II, SPN, 1986 [SMS] E. Simeonov, D. Mairinger, Ch. Schmid, Mathematische Früherziehung, Lagen & Winkel, von Oemis, 2010 [G9] J. Simek, J. Schejbal, F. Procházka, Geometrie pro devátý ročník, SPN, 1975 [St] J. Stillwell, The four pillars of Geometry, Springer, 2005 [U] A. Urban, Deskriptívni geometrie I, II, SNTL, 1965 * * * [Eb] The Elements of Euclid, atraktivní vydání prvních 6 knih od O. Byrneho (1847), www.math.ubc.ca/~cass/Euclid/byrne.html [Ej] Euclid's Elements, interaktivní edice D. Joyce podle překladu T.L. Heatha (1908-28), alephO.čiarku.edu/~dj oyce/j ava/elements/elements.html [Ey] Eukleidés, Základy, Knihy I-XII, české vydání prvních 12 knih, jež zpracoval a komentářem opatřil P. Vopěnka podle překladu F. Servíta (1907), O.P.S., 2008-12 [HTD] The thirteen books of Euclid's Elements, The works of Archimedes including The method, Conies by Apollonius of Perga, Introduction to Arithmetics by Nicomachus of Ge-rasa, překlady klasických prací od T.L. Heatha, R. Catesby Taliaferra a M.L. D'Ooge, Encyclopaedia Britannica, 1952 [S] Řecké matematické texty, české překlady R. Maška a A. Šmída vybraných textů s bo- hatými poznámkami a komentáři od Z. Šíra, OIKOYMENH, 2011 Literatura 159 * * * [I] Internet: http://is.mimi.cz/el/1441/j aro2015/MA2BP_PKG/um/ http://www.mathatube.com/geometry-geometry-solids.html, http://missmcdonaldart.blogspot.cz/2013/02/2713day-l-through-21413-day-5-belowyou. html, 160 Literatura Rejstřík úběžník, 82, 88 úběžnice, 88 řez dvacetistěnem, 43 zlatý, 19 Apollónios, 45, 53, 54, 60, 70, 75, 94, 144 Archimédés, 40, 61, 141, 143, 163 Bolyai, F., 17 Bolyai, J., 6 chordála, 25 Dandelin, G.P., 55 Dedekind, J.W.R, 10, 31 Dehn, M., 39 Desargues, G., 91 Descartes, R., 6 dilatace, 46, 63 doplnění do čtverce, 19 elace projektivní, 86 elipsa, 53 Eudoxos, 38, 39 Eukleidés, 5, 9, 14, 16 Fermat, P., 142 Gauss, C.F., 6, 141 geometrie eukleidovská, 9 Gergonne, J.D., 145 Gerwien, P., 17 Hilbert, D., 5, 10 Hippokratés z Chiu, 139 incidence, 10 Klein, F., 7 Komenský, J.A., 1 konstrukce eukleidovská, 10 mascheroniovská, 142 neusis, 143 steinerovská, 142 kosinová věta, 21 kruhová inverze, 71 kvadratura kruhu, 141 mnohoúhelníku, 15 paraboly, 141 Lambert, 141 Lindemann, F., 141 Lobačevský, N.I., 6 Mascheroni, L., 142 mocnost, 25 Monge, G., 70, 106 příčka, 112 přímka hlavní, 112 krycí, 109 projektivní, 83 spádová, 112 Pappos, 45, 52, 85 Petersen, J., 45 Platón, 40 podobnost, 30, 67 162 Rejstřík Pohlke, K., 103 poměr dělicí, 75 dvoj-, 82 harmonický, 82 veličin, 31 postulát pátý, dodatečný, o rovnoběžkách, 10, 12 pravidelný n-úhelník, 141 desetiúhelník, 29 dvacetistěn, 41 dvanáctistěn, 135 pětiúhelník, 27-30, 143 sedmnáctiúhelník, 142 projektivní rozšíření, 82 Ptolemaios, 139 Pythagoras, 14, 58 Quetelet, A., 55 Riemann, B., 7 Schwarz, H.A., 103 shodnost, 10, 65 souměrnost šikmá, 78, 91 harmonická, 86, 91 osová, 66, 91 posunutá, 66 středová, 66 spojitost, 10 střed potenční, 26 Steiner, J., 142 stejnolehlost, 67 trúba štramberská, 113 transformace přímá/nepřímá, 66 uspořádání, 10 Viěte, F., 45 Wallace, W., 17 Wantzel, P.L., 141 Základy, 9 Přílohy Přikládáme několik příloh: (1) nejprve část časové osy z helenistického období podle B. Artmanna [A]; (2) od str. 165 přehled nejcitovanějších tvrzení ze všech geometrických knih [E]; výběr a zpracování je zásluhou R. Hartshorna [Ha, str. 481-486]; (3) na str. 171 stručný přehled Hilbertovy axiomatiky [Hi]; převzato z učebního materiálu od neznámého autora; (4) na str. 172 věta 1.29 v Byrnově vydání Základů [E#]; (5) na str. 173 přehled Archimedových polopravidelných mnohostěnů [Ko]; (6) na str. 174 přehled Keplerových pravidelných nekonvexních mnohostěnů [Be]; (7) na str. 175 kolmý axonometrický průmět strojní součástky sestrojený zářezovou metodou [U]; (8) na str. 176 průmět nějakého portálu ve dvojúběžníkové perspektivě; (9) na str. 177 příklad cylindrické perspektivy — panoramatický snímek Lorety na Hradčanech [DV]; TIME TABLE (all dates are b.c.e.) General history, related to mathematics Mathematics 900-600 Geometric period of Greek art Money is invented (first coins) 600 Thales of Miletus 580) Pythagoras 570-490) Persian Wars 500-480) 500 % 460 Temple of Zeus in Olympia, Proportions 2 :1 450-430 Pericles, "high classics" 450 Pythagoreans in southern Italy as 440 Parthenon temple in Athens, proportions 9:4 = length : breadth » breadth : height Hippocrates of Chios writes first Elements & 430 Socrates * 470-399 Plato 428-348 Aristotle 384-322 400 Theodorus of Cyrene * 460-390 Theaetetus^ 415-370 Leon writes new Elements in Plato's Academy Alexander the Great 356-323 350 Eudoxus * 410-355 Various other writers of mathematical treatises, e.g., Menaechmus: Conies 300 Euclid: Elements Alexandria is the cultural center of the Hellenistic world 300-50 250 Apollonius of Perga, Archimedes of Syracuse Appendix: Brief Euclid For reference we include abbreviated statements of the most frequently quoted results from Euclid's Elements. Book I, Definitions 1, A point is that which has no part. 2. A line is length without breadth, 4. A straight line lies evenly with its points, 8. A plane, angle is the inclination of two lines. 10, When the two adjacent angles are equal it is a right angle. 15, A circle is a line all of whose points are equidistant from one point, 20. A triangle with two equal sides is isosceles. 23. Parallel straight lines are lines in the same plane that do not meet, no matter how far extended in either direction. l'ostula tea 1. To draw a line through two points, 2. To extend a given line. 3. To draw a circle with given center through a given point. 4. All right angles are equal. 5. If a line crossing two other lines makes the interior angles on the same side3, less than two right angles^ then these two lines will meet on that side when extended far enough. Common Notions 1. Things equal to the same thing are equal. 2. Equals added to equals are equal. 4a l 4(J^£ Appendix; Brief Em:lid 3, Equals subtracted from equals are equal, 4, Things which coincide are equal, 5, The whole is greater than the part. Propositions 1. To construct an equilateral triangle on a given segment, 2. To draw a segment equal to a given segment at a given point. 3. To cut off a smaller segment from a larger segment. 4. Side-angle-side (SAS) congruence for triangles. 5. The base angles of an isosceles triangle are equal. 6. If the base angles are equal, the triangle is isosceles, 7. It is not possible to put two triangles with equal sides on the same side of a segment. 8. Side-side-side (SSS) congruence for triangles. 9. To bisect an angle. 10, To bisect a segment. 11. To construct a perpendicular to a line at a given point on the line. 12. To drop a perpendicular from a point to a line not containing the point. 13, A line standing on another line makes angles equal to two right angles, 15. Vertical angles are equal, 16. The exterior angle of a triangle is greater than either opposite interior angle. 17. Any two angles of a triangle are less than two right angles. 18. If one side of a triangle is greater than another, then the angle opposite it is greater than the other, 19. If one angle of a triangle is greater than another, then the side opposite it is greater than the other. 20. Any two sides of any triangle are greater than the third. 22. To construct a triangle, given three sides, provided any two are greater than the third. 23. To reproduce a given angle at a given point and side. 24. Two sides equal but included angle greater of two triangles implies base greater. 25. Two sides equal and greater base implies greater angle. 26. Angle-side-angle (ASA) and angle-angle-side (AAS) congruence for triangles. 27. Alternate interior angles equal implies parallel lines. 28. Exterior angle equal to opposite interior, or two interior angles equal to two right angles, implies parallel lines. 29. A line crossing two parallel lines makes alternate interior angles equal. 30. Lines parallel to the same line are parallel. 31. To draw a line parallel to a given line through a given point, 32. Sum of angles of a triangle is two right angles, and exterior angle equals the sum of opposite interior angles. Appendix: Brief Euclid 483 33. Lines joining endpoints of equal parallel lines are equal and parallel. 34. The opposite sides and angles of a parallelogram are equal. 35. Parallelograms on the same base and in the same parallels are equal. 36. Parallelograms on equal bases in the same parallels are equal. 37. Triangles on the same base in the same parallels are equal. 38. Triangles on equal bases in the same parallels are equal, 39. Equal triangles on the same base on the same side are in the same parallels. 40. Equal triangles on equal bases on the same side are in the same parallels. 41. A parallelogram is twice the triangle on the same base in the same parallels. 42. To construct a parallelogram with a given angle equal to a given triangle. 43. Parallelograms on opposite sides of the diagonal of a parallelogram are equal. 44. To construct a parallelogram with given side and angle equal to a given triangle. 45. To construct a parallelogram with a given angle equal to a given figure. 46. To construct a square on a given segment. 47. (Theorem of Pythagoras) The square on the hypotenuse is equal to the sum of the squares on the sides of a right triangle. 48. If the sum of the squares on two sides equals the square on the third side, the triangle is right. Book II, Prepositions 1. The rectangle contained by two lines is the sum of the rectangles contained by one and the segments of the other. 4. The square on the whole line is equal to the squares on its two segments plus twice the rectangle on the two segments. 5. The square on half a line is equal to the rectangle on the unequal segments plus the square of the difference. 6. The rectangle on a line plus an added piece with the added piece, plus the square of half the segment, is equal to the square of the half plus the added piece. 11. To cut a line so that the rectangle on the whole and one segment is equal to the square on the other segment (extreme and mean ratio). 14. To construct a square equal to a given figure. Book III. Propositions 1. To find the center of a circle. 2. The segment joining two points of a circle lies inside the circle. 5. If two circles intersect, they do not have the same center. 6. If two circles are tangent, they do not have the same center. 10. Two circles can intersect in at most two points. llt 12, If two circles are tangent, their centers lie in a line with the point of tangency, 16. The line perpendicular to a diameter at its end is tangent to the circle^ and 404 A-ppmuli.v: Brief Euclid the angle between the tangent line and the circle is less than any rectilineal angle. 17. To draw a tangent to a circle from a point outside the circle. 18. A tangent line to a circle is perpendicular to the radius at the point of tangency. 19. The perpendicular to a tangent line at the point of tangency will pass through the center of the circle. 20. The angle at the center is twice the angle at a point of the circumference subtending a given arc of a circle. 21. Two angles from points of a circle subtending the same arc are equal. 22. The opposite angles of a quadrilateral in a circle are equal to two right angles. 31. The angle in a semicircle is a right angle. 32. The angle between a tangent line and a chord of a circle is equal to the angle on the arc cut off. 35. If two chords cut each otheT, the rectangle on the segments of one chord is equal to the rectangle on the segments of the other chord. 36. From a point outside a circle, let a tangent and a secant line be drawn. Then the square of the tangent line is equal to the rectangle formed by the two segments from the point to the circle on the secant line. 37. From a point outside a circle, if two lines cut the circle, so that the square of one is equal to the rectangle formed by the segments of the other, then the first is a tangent line. Book IV. Propositions 1, To inscribe a given segment in a circle. 2, To inscribe a triangle, equiangular to a given triangle, in a circle. 3, To circumscribe a triangle, equiangular to a given triangle, around a circle. 4, To inscribe a circle in a triangle. 5, To circumscribe a circle around a triangle. 10. To construct an isosceles triangle whose base angles are twice the vertex angle. 11. To inscribe a regular pentagon in a circle. 12. To circumscribe a regular pentagon around a circle. 15. To inscribe a regular hexagon in a circle. 16. To inscribe a regular 15-sided polygon in a circle. Book V. Definitions 4. Magnitudes are said to have a ratio if either one, being multiplied, can exceed the other. 5. Four magnitudes a, b; c, d are in the same ratio if for any whole numbers m, rtj we have ma > nb or ma = nb or ma < nb if and only if mc > nd or mc = nd or mc < nd respectively. Appendix: Brief Euclid 485 Book VI. Propositions 1. Triangles of the same height are in the same ratio as their bases. 2. A line is parallel to the base of a triangle if and only if it cuts the sides proportionately. 3. A line from a vertex of a triangle to the opposite side bisects the angle if and only if it cuts the opposite side in proportion to the remaining sides of the triangle. 4. The sides of equiangular triangles are proportional. 5. If the sides of two triangles are proportional, their angles are equal. 6. If two triangles have one angle equal and the sides containing the angle, proportional, the triangles will be similar, 8. The altitude from the right angle of a right triangle divides the triangle into two triangles similar to each other and to the whole. 12. To find a fourth proportional to three given lines. 13, To find a mean proportional between two given lines. 16. Four lines are proportional if and only if the Tectangle on the extremes is equal to the rectangle on the means. 30. To cut a line in extreme and mean ratio. 31, Ally figure on the hypotenuse of a right triangle is equal to the sum of similar figures on the sides of the triangle. Book X. Propositions 1. Given two unequal quantities, if one subtracts from the greater a quantity greater than its half, and repeats this process enough times, there will remain a quantity lesser than the smaller of the two original quantities. 117. (not in Heath, but in Commandino). The diagonal of a square is incommensurable with its side. Book XI. Definitions 25. A cube is a polyhedron made of six equal squares. 26. An octahedron is a polyhedron made of eight equal equilateral triangles. 27. An icoaahedron is a polyhedron made by twenty equal equilateral triangles. 28. A dodecahedron is a polyhedron made by twelve equal regular pentagons. Propositions 21. The plane angles in a solid angle make less than four right angles. 28. A parallelepiped is bisected by its diagonal plane. 29, 30, Parallelepipeds on the same base and of the same height are equal. 31. Parallelepipeds on equal bases, of the same height, are equal. Book XII, Propositions 2. Circles are in the same ratio as the squares of their diameters. 3. A pyramid is divided into two pyramids and two prisms. Ayjpniuli.v: Bri^f Euclid 5, Pyramids of the, same height on triangular hases are in the same ratio as their bases, 7. A prism with a triangular base, is divided into three equal triangular pyramids. Book XIII. Propositions 7. If at least three angles of an equilateral pentagon are equal, the pentagon will be regular. 10. In a circle, the square on the, side of the inscribe,d pentagon is equal to the square on the side of the inscribed hexagon plus the square on the side of the inscribed decagon. 13, To inscribe a tetrahedron in a sphere. 14. To inscribe an octahedron in a sphere. 15. To inscribe a cube in a sphere. 16, To inscribe an icosahedron in a sphere. 17, To inscribe a dodecahedron in a sphere. 18. (Postscript), Besides these five figures there is no other contained by equal regular polygons. Hilberts's Axioms for Plane Geometry Undefined terms: Point, line, plane, betweenjCongruence. Connection (Incidence) 1-1. Through any two distinct points A, B there is always a line m. 1-2. Through any two distinct points A, B there is not more than one line m. 1-3. On every line there exist at least two distinct points. There exist at least three points which are not on the same line. I- 4. Through any three points, not on the same line, there is one and only one plane. Order II- 1. If point B is between points A and C, then A, B, C are distinct points on the same line, and B is between C and A. II-2. For any two distinct points A and C, there is at least one point B on the line AC such mat C is between A and B. II-3. If A, B, C are three distinct points on the same line, then only one of the points is between the other two. Definition By the segment AB is meant the set of all points which are between A and B. Points A and B are called the endpoinis of the segment The segment AB is the same as the segment BA. II-4. (Pasch's Axiom) Let A, B, C be three points not all on the same line and let m be a line in the plane A, B, C which does not pass through any of the points A, B, C. Then if m passes through a point of the segment AB, it will also pass through a point of segment AC or a point of segment BC. Note: II-4'. This postulate may be replaced by the separation axiom. A line m separates the points of the plane which are not on m, into two sets such that if two points X and Y are in the same set, the segment XY does not intersect m, and if X and Y are in different sets, the segment XY does intersect m. In the first case X and Y are said to be on the same side of m; in the second case, X and Y are said to be on opposite sides of m. Definition By the ray AB is meant the set of all points consisting of those which are between A and B, the point B itself, and all the points C such that B is between A and C. The ray AB is said to emanate from the point A. A point on a given line m, divides m into two rays such that two points are on the same ray if and only if A is not between them. Definition If A, B and C are three points not on the same line, then the system of three segments AB, BC, CA, and their endpoints is called the triangle ABC. The three segments are called the sides of the triangle, and the three points are called the vertices. Congruence III-l. If A and B are distinct points on line m and if A' is a point on line m (not necessarily distinct from m), there is one and only one point B' on each ray of m' emanating from A' such that the segment A'B" is congruent to the segment AB. IH-2. If two segments are each congruent to a third, then they are congruent to each other. (From this it can be shown that congruence of segments is an equivalence relation; i.e., AB = AB; ifAB = A'B', then A'B' = AB; and if AB = CD and CD= EF, then AB = EF.) HI-3. If point C is between A and B, and C is between A' and B', and if the segment ACbA'C and the segment CB = CB\ men segment AB =segment A'B". Definition By an angle is meant a point (called the vertex of the angle) and two rays (called the sides of the angle) emanating from a point. If the vertex of the angle is point A and if B and C are any two points other than A on the two sides of the angle, we speak of the angle BAC or CAB or simply the angle A. III-4. If BAC is an angle whose sides do not lie on the same line and if in a given plane, A'B" is a ray emanating from A', then there is one and only one ray A'C on a given side of line A'B', such that AB'A'C = /.BAC. In short, a given angle in a given plane can be laid off on a giVen side of a given ray in one and only one way. Every angle is congruent to itself. Definition If ABC is a triangle then the three angles BAC, CBA, and ACB are called the angles of the triangle. Angle BAC is said to be included by the sides AB and AC. III- 5. If two sides and the included angle of one triangle are congruent, respectively, to two sides and the included angle of another triangle, then each of the remaining angles of the first triangle is congruent to the corresponding angle of the second triangle. Parallel axiom IV- 1. (Playfair's postulate) Through a given point A not on a given line m there passes at most one line, which does not intersect m. Continuity V- l. (Axiom of Measure—Archimedes axiom) If AB and CD are arbitrary segments, then there exists a number n such that if segment CD is laid off n times on the ray AB starring from A, then a point E is reached, where n-CD = AE, and where B is between A and E. V-2. (Axiom of linear completeness) the system of points on a line with its order and congruence relations cannot be extended in such a way that the relations existing among its elements as well as the basic properties of linear order and congruence resulting from Axioms I-III and V-l remain valid. Note: V. These axioms may be replaced by Dedekind's axiom of continuity. For every partition of the points on a line into two nonempty sets such that no point of either lies between two points of the other, there is a point of one set which lies between every other point of that set and every point of the other set. 1 BOOK I. PROP. XXIX. THEOR. STRAIGHT lint ( ■■■■ ) facing on tii'o parallel jlraight SI lines ( ), makes the alternate angles equal to one another; and alfo the external equal to the internal and oppofte angle on the fame fide ; and the two interna/ angles on the fame fide together equal to two right angles. For if the alternate angles and be not equal, draw «11, making (Pr.23). Therefore ■■■» || (pr. 27.) and there- fore two ftraight lines which interfecJr. are parallel to the fame ftraight line, which is irnpoltible (ax. 12), Hence the alternate angles and are not unequal, that Is, thev are equal: zz {pr, 15); , the external angle equal to the internal and oppofite on the fame fide: if jJj^F he added tu both, then + — ^m — \ MB (pr. 13)' That is to fay, the two internal angles at the fame fide of the cutting line are equal to two right angles. Q. E. D. D y-/2,/i-/0,s-S 0^at83a y~/2, h=24-,s~?4 (03A) 8*b y-24J-3$,s-/4 6*b 64c v-24,h-3£s-M y 32, s-2S (03,18*) y^8th"72,S"28 125a,203a 20ab 12* b y-30.h-6Q,$~32 (Z03,?Zs) y-00,/}*>$0,s-32 OZsJO$) v-60,h-ms-32 6/,d I2sg y-2t,/;-Ms~33 (323, $*) f203J0i,!2s) y-120,h-!30.s~62 f30^206J2w) 20* d y-/2,fy-/0,.s~8 ÍSÝJsJ is-60,h<-Wt$-92 Í803J25) y-/2,A=2ífs-/4