Předmluva Omnia sponte fluant, absit violentia rébus! J.A.K. Toto je průvodce přednáškou z Konstrukční geometrie. 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 Tento materiál se průběžně vyvíjí, a to i na základě studentských připomínek. Za korekce, věcné poznámky, resp. příspěvky do studijních materiálů děkuji Michaele Ingrštové, Jakubu Klatovskému, Lucii Krézkové, Barboře Mišejkové, Kristýně Nedvědové, Žanetě Němcové, Matrinu Šťávovi, Pavlíně Vyhnálkové a všem dalším absolventům, na které jsem náhodou zapomněl. Brno, 17. února 2020 xhttp://is.muni.cz/el/1441/jaro2020/MA0007/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 Typické úlohy...................................... 53 III Geometrická zobrazení 59 7 Panoptikum geometrických zobrazení......................... 59 8 Přehledy a poznámky ................................. 86 9 Typické úlohy...................................... 89 IV Zobrazovací metody 95 10 Úvod........................................... 95 11 Volné promítání..................................... 97 12 Mongeovo promítání.................................. 100 13 Kótované promítání .................................. 112 14 Axonometrie a kosoúhlé promítání.......................... 113 15 Perspektiva....................................... 119 16 Cyklografie....................................... 123 17 Typické úlohy...................................... 124 V Dodatky 133 18 K Pythagorově větě .................................. 133 19 K eukleidovským konstrukcím............................. 134 20 K úlohám Apollóniovým................................ 138 21 Kuželosečky....................................... 141 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 19.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 (bijektivních) afinních transformací, jež je zase podgrupou grupy (bijektivních) 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 infinitezimá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, 8 I Úvod • sestrojit obecný průmět pravidelného mnohostěnu či jiného tělesa, • 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ě se budeme věnovat tzv. úlohám Apollóniovým, což je zajímavá skupina úloh souvisejících s dotykem kružnic. 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 19. 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 + j3 < 2R =^> 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 nejcitovaně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 =^> 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í nej vě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 =^> h\\g. 1.29: h\\g =^> 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: 0^7 =^> a + j3 ^ 7 + j3 =^> 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 + /3 + 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 FB (1.27). Odtud obsah FBA = obsah FBC (1.37) = obsah ABD (1.4) = obsah PBD (1.37). Proto má čtverec FBAG stejný obsah jako obdélník PBDL. Stejným způsobem se zdůvodní, že čtverec KCAH má stejný obsah jako obdélník PC EL. 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 aCP ■ CB = 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 M 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í 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 EH 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. BE-EF + EG2 = GF2 = GH2 = EG2 + EH2, tzn. BE ■ E F = EH2, tudíž EH je stranou hledaného čtverce. □ 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 ADEF 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 ADEF a ALMB mají stejný obsah, právě když průsečík R = B M n D E 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 19.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. 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-x)x+(^-xsj = Q) neboli x2~bx+(jž) =(j>~X Při stejném značení lze tvrzení II.6 psát jako (b + x)x+(^j =Q+x^ neboli x2 + bx + = Q + 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: AU = AU : 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. C F ■ F A = AB2, což znamená, že obdélník CFG K 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. H A/ A i i i t k '; > - -. H - r- » H r- a K 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 \AH\ =: 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 x = ^-bje 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ě y/b, 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. 19.6 na str. 137. (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 (j3 = 2a). 9Trojúhelm'ku s těmito vlastnostmi se říká zlatý trojúhelník. 10Viz 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) /3 = a + S. • Uhel 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 = S. • Celkem tedy dostáváme f3 = 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). ursai-g 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 a6 = \AB\, aw = \AJ\ a a5 = \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: aio = ^(^~ !)■ (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 = íV2 - 2 cos 72°. Úhel 72° je také vnitřním úhlem u vrcholu B ve zlatém trojúhelníku ABL, jehož všechny (Eě> strany známe. Pomocí kosinové věty v tomto trojúhelníku umíme vyjádřit cos 72° = —(a/5 — 1). 4 Dosazením do předchozího vyjádření a po drobné úpravě dostáváme a5 = ^\/lO-2V5. 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 19.1 na str. 136. 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í. (Eě> (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 III.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 m, n platí na = rab <í=> 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 (= f) a s (= ^) 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 Obrázek 4.24: [Ej] VI.l: obsah ACB : obsah ACD = CB : 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 DEE'. Trojúhelníky DED' a DEE' 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, že SD' : SD = SE' : SE ^ D'E'\\DE. □ 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 Obrázek 4.25: [A] (a) VI.2: SD' : SD = 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 a = a' a /3 = f3' a 7 = 7' <í=> a' : a = b' : b = c' : c. 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 13 Jinak ř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 E F : BG = BC : EF. Podle předpokladu je AB : DE = BC : E F (= 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: S = -a ■ v, 2 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. (Eě> (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 sestrojitelné. 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 = \fa. 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í +, —, ■, :, ^J~, 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í 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 19.1 na str. 134. 14Př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: x2 + bx + c = 0 x2 + bx b\2 (b^2 2 \2 b\2 (b^2 2J V2/ 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, V^0^2^ apod. (Q> (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 Aftľ. 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 ED = 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 DEFH = 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 = objemCDEF = ± oh jem ABCDEF. 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 au = 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 BD : obsah kruhu FH = BD2 : FH2. a tvrzení XII.18 jako Vi : V2 = r\ : r\ neboli Vi : 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čí tt, tudíž S = tt ■ r2 a o = 2ir ■ r. Z druhé části věty plyne, že tatáž konstanta tt figuruje také (možná překvapivě) ve vyjádření objemu koule v závislosti na jeho poloměru: V=^{S-2r) = ^r2-2r) = ^r\ 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. ŕ Hyřstén > r-8. />-%,$■ (ty krychle J osmistěn (s3) dvanáctistěn v-20.h-30, s~/2 02S) dvacetistěn r-f2,h=3ff,$**20 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ř. S B ■ S C = S P ■ SQ'. Tento součin je však právě mocnost bodu S ke kružnici k, což je totéž jako SK ■ SA, kde K je průsečík přímky SC s kružnicí k. Celkem tedy vidíme, že platí SK ■ SA = S P ■ SQ'. Stačí tedy sestrojit velikost úsečky SK, kterou naneseme na přímku SA — 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 Typické úlohy 53 t/ 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. 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 Z? je ve třetině úsečky AB). G A K C DL B Obrázek 6.51: [Ej] Strany pravidelných mnohostěnů vepsaných do sféry... 6.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) (Eě> objektů. Na následujícím obrázku je zadání jedné takové úlohy: 6 Typické úlohy 55 Obrázek 6.52: [G9] Obraz předmětu se nachází 14 cm od čočky a je vysoký 3,2 cm, čočka má ohniskovou vzdálenost 10 cm. Určete skutečnou výšku předmětu a jeho vzdálenost od čočky. V následujících úlohách se na podobnost útvarů odkazujeme ještě při řešení problémů na obr. 6.54 a 6.56. 6.4 O kružnicích Středové a obvodové úhly Když se kružnice kutálí po přímce nebo jiné kružnici, opisuje každý její bod křivku — v obecném případě cykloidu. Ve specifických případech se může stát, že tato křivka je podstatně jednodušší. Pokud např. uvažujeme kružnici, která se odvaluje uvnitř kružnice s dvojnásobným poloměrem, potom lze s odkazem na větu o středových a obvodových úhlech (viz odst. 4.12) jednoduše zdůvodnit, že každý její bod se pohybuje po úsečce, která je průměrem velké kružnice. Na ná- ším případě, kdy kružnice m,n mají různé průměry. (Viz též podobnou úlohu na obr. 6.56.) Dvě úlohy Archimédovy Následující úloha se vrací k obsahu plochy omezené kružnicemi: Úsečka AB je průměrem velké kružnice, bod N je libovolný bod na AB, bod P leží na půlkružnici tak, že PN _l AB, a úsečky AN, N B jsou průměry dvou menších kružnic. Dokažte, že — nezávisle na poloze bodu N — je obsah oblasti omezené třemi půlkružnicemi stejný jako (Eě> obsah kruhu s průměrem PN.19 19 Nápověda: věta o obsahu kruhu a Eukleidova věta o výšce. 6 Typické úlohy 57 Obrázek 6.55: [HTD] Obsah oblasti omezené půlkružnicemi AB, AN a NB je stejný jako obsah kruhu PN. Na následujícím obrázku jsou opět tři navzájem se dotýkající půlkružnice AB, AC, CB, kolmice z jejich společného bodu C a dvě další kružnice, z nichž každá se dotýká dvou půlkružnic a kolmice CD. Sestrojit tyto dvě kružnice nejspíš ještě neumíme, avšak pomocí základní teorie podobnosti lze dokázat, že obě tyto kružnice jsou shodné — a to nezávisle na poloze bodu C20 <@j) Obrázek 6.56: [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. 'Nápověda: HE\\AB, CH\\BD a dvakrát věta VI.2 => AC ■ C B = AB ■ HE. 58 II Klasická konstrukční geometrie KAPITOLA 11 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 eukleidovský prostor rozšířit o body v nekonečnu — to je tzv. projektivní rozšíření eukleidovského prostoru.2 Postřehy a závěry z podkapitoly 7 ještě shrneme a zorganizujeme v podkapitole 8. Zejména si dáváme záležet, abychom v každé skupině zobrazení rozuměli tzv. základním zobrazením. 7 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. 7.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. 7.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 1 Triviálním případem je také bod (dim = 0), který zpravidla z našich úvah vylučujeme. 2Kruhová inverze má jako definiční obor eukleidovskou rovinu bez jednoho bodu, u dilatace je všechno úplně jinak... 60 III Geometrická zobrazení takové. 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á.3 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 7.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. 7.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, (Eě> tak záporném smyslu... 3Pokud je X bodem dotyku dvou kružnic s opačnými orientacemi, potom se při dilataci tento dotyk nezachovává! 7 Panoptikum geometrických zobrazení 61 Obrázek 7.2: Dilatace spojité křivky orientované podle toho, jak byla nakreslena (pro p<0). 7.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.4 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. 7.3 — shodnost je určena obrazem A'B'C obecného trojúhelníku ABC: • Označme oi osu úsečky AA' a sestrojme osově souměrný obraz AiBiCi trojúhelníku ABC podle této osy; z volby oi plyne, že AiBiCi = A'B\C\. • Označme o2 osu úsečky B\B' a sestrojme osově souměrný obraz A2B2c2 trojúhelníku A'B\C\ podle této osy; ze shodností AB = A\B\ = A'B' plyne, že o2 prochází bodem A' = Ai, tudíž A2B2C2 = A'B'C2. • Označme o3 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: 4 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. 62 III Geometrická zobrazení C Obrázek 7.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 oi = o2, (b) posunutí = složení dvou osových souměrností takových, že ox ||o2, (c) otáčení = složení dvou osových souměrností takových, že oi a o2 jsou různoběžné, (c') středová souměrnost = složení dvou osových souměrností takových, že oi a o2 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. 7.3 tento rozklad nemusí být na první pohled patrný, na obr. 7.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 7.4: [Mar] Posunutá souměrnost. \A'B'\ = \AB\. (7.1) Shodná zobrazení mají samozřejmě další vlastnosti, které v definici neuvádíme — uvědomte si, (EE> že z definice vyplývá, že shodná zobrazení (mezi prostory dimenze aspoň dva) 7 Panoptikum geometrických zobrazení 63 • zobrazují přímky na přímky,5 • 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. 61... Shodností se s úspěchem užívá při řešení mnoha konstrukčních úloh, viz např. příklad na obr. 5.44. 7.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 7.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í (Eě> 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 k\, k2 je: (a) identita, právě když kik2 = 1 a Si = S2, (b) posunutí, právě když k\k2 = \ 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). 7 Panoptikum geometrických zobrazení 65 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. 7.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. 7.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 7.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 7.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: 66 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. 7.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 R 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 7.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 20.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\, (7.3) kde k je kladná reálná konstanta, tzv. koeficient podobnosti. Podobná zobrazení s koeficientem k = 1 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, 7 Panoptikum geometrických zobrazení 67 • zachovávají odchylky přímek, • obsahy, resp. objemy s mění k2-, resp. k3-kľát. Zdůvodnění je obsaženo v (nebo plyne z) odst. 4.16. Z dennice také přímo plyne, že každé <@j) podobné zobrazení je prosté. Každá podobná transformace, tedy podobné zobrazení eukleidovského prostoru do sebe, je proto nutně bijektivní. Bijektivní podobné zobrazení se stručně zove podobnost. Pokud obecnou podobnost s koeficientem k složíme s nějakou stejnolehlostí s koeficientem ^, pak výsledné zobrazení je shodnost. Odtud můžeme vydedukovat následující tvrzení: Věta. Každou podobnost lze realizovat jako složení shodnosti a stejnolehlosti (a to mnoha různými způsoby). Spolu s větou na str. 61 můžeme předchozí tvrzení formulovat také tak, že každou podobnost v rovině lze realizovat jako složení stejnolehlosti a nejvýše tří osových souměrností... 7.5 Cvičení (1) Doplňte podrobnosti ve větě o skládání stejnolehlostí; dokažte, že vektor posunutí v případě (b) je v = (1 — k2)SiS2 a střed stejnolehlosti v případě (c) je S = Si + ^1^2• (2) Pro dva dané podobné trojúhelníky rozhodněte, zda jsou stejnolehlé (zformulujte nějaké 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. 7.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 OA'. Ukážeme, že kružnice 7 je obrazem přímky l, a naopak. Pro libovolný bod B e l ozn. B' průsečík OS n 7. 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 : OA = OA' : OB neboli OB1 ■ OB = OA' ■ OA. Body A, A' si však odpovídají vzhledem ke kruhové inverzi T, tudíž OB' ■ OB = O A' ■ O A = r2. Odtud plyne, že libovolný bod na přímce l se zobrazuje do bodu na kružnici 7, a naopak. 7 Panoptikum geometrických zobrazení 69 Obrázek 7.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. 7.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 OA-OÄ = 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 7.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. 7.11 vpravo: Uvažme kružnici T, která je soustředná s T a protíná kružnici 7 kolmo. Ukážeme, že složení kruhových inverzí T 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 T 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 T a obraz Ä v kruhové inverzi T označíme Ä'. Z definice kruhové inverze plyne, že OA-OA = f2 a O A ■ O A' = r2 70 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 Ä' 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. 7.12: Odchylku jakýchkoli dvou křivek v jejich společném bodě P reprezentujeme pomocí jejich tečen m a Z. 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 Z se transformuje na odchylku kružnic v bodě P'.6 Nicméně tato odchylka je táž jako v bodě P, což jsme chtěli dokázat. □ Obrázek 7.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 20.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. 7.12 v bodě P' jsou nakresleny kvůli vyznačení odchylky, nikoli jako obrazy tečen m a l vzhledem ke T. 7 Panoptikum geometrických zobrazení 71 Na závěr uvádíme jeden další dobře známý příklad konformního zobrazení — stereografickou projekci, viz obr. 7.13. Kruhovou inverzi v rovině lze definovat pomocí stereografické projekce a naopak — zájemci mohou přemýšlet jak?7 @ Obrázek 7.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). 7.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 ^> (CAB) = (CBA) = -. 0 -i H-v -1 H-(— 'ä -1 Obrázek 7.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. 7.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 Ai,Bi, C bodů A, B, C platí, že mají stejné vzdálenosti, tudíž (A\B\C') = (ABC). Navíc podle (a) platí, že C) = (A'B' C), takže celkem dostáváme (ABC) = (A'B'C). □ 7 Panoptikum geometrických zobrazení 73 Obrázek 7.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 7.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' (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. 7.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. 7.17, jejich dělicí poměr konstantní. Definice obecné osové afinity je následující: 74 III Geometrická zobrazení Obrázek 7.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—> A', a to následujícím způsobem: body na ose o jsou samodružné a pro obraz X' libovolného bodu X jí o platí XX'\\AÄ a (X'XX0) = (A'AA0) = konst., (7.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 JĹ 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. 7.18. Z definice dále plyne, že osová afinita (Eě> zachovává dělicí poměr bodů na jakékoli přímce (tedy ne jen na ose nebo ve směru AA')\ 7 Panoptikum geometrických zobrazení 75 Obrázek 7.18: Obraz bodu X v osové afinite 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. 7.19: Zdůvodnění (b) ^=4> (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). 76 III Geometrická zobrazení A B 0 Obrázek 7.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í. 7 Panoptikum geometrických zobrazení 77 Toto tvrzení lze zdůvodnit velmi podobným způsobem jako větu 7.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. 76. K tomuto tématu se znovu vracíme v podkapitole 11 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. 7.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: (KL M) = (AB C). Uvažujte také jiné permutace bodů ve trojici. ) = = :=. (7.6) BC BD Vzhledem k tomu, že lim (ABD) = 1, platí lim (ABCD) = (ABC), což zapisujeme jako (ABCD^) = (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í 7.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 (Eě> u dělicího poměru však můžeme pozorovat jisté symetrie — obecně např. platí (ABCD) = (BADC) = (CDAB) = (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: 7 Panoptikum geometrických zobrazení 79 Obrázek 7.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).8 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 7.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 i; e 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 konverguje k přímce, která leží v rovině určené p a S a 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ů: 8Projektivní 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. 80 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. C E D E Obrázek 7.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.9 Pokud uvažujeme dva různé nevlastní body, pak jimi určená přímka musí být celá nevlastní, (Eě> 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. (Eě> 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: 9Tento axióm patří v Hilbertově systému do skupiny axiómů incidence, které jsou platné v obecném projektivním prostoru. 7 Panoptikum geometrických zobrazení 81 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. 7.23. Odkazujeme výhradně na základní tvrzení o podobných trojúhelnících: Obrázek 7.23: Dvojpoměr je při středovém promítání invariantní! (a) Trojúhelníky A'AC a ÄSD' jsou podobné aC = C, tudíž 4^ = Trojúhelníky B'BC a B'SD' jsou taky podobné, tudíž SJil? = MĚ?. Odtud dělením obou rovnic dostáváme J J ť ' B'D' SD' aô _ Wc' Wc' _ A^C' A^D' ~B^ A^D' ' B'D'' ~Wc' ' B'D''' Výraz nalevo je právě (ABC) = (ABCD^), napravo je (A'B'C'D'), 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 (AiBiC) = (ABCD) a současně (A2B2C') = (A'B' CD'). Navíc ale z podobnosti pomocných trojúhelníků plyne (AiBi 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 82 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:10 Osová kolineace je transformace v projektivní rovině určená osou o, středem S a dvojicí bodů A i ^ 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í XX' n AA' = S a (X'XX0S) = (A'AA0S) = konst., (7.7) 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'AA0Soo) = (A'AA0). V případě stejnolehlosti je bod A0 nevlastní a modul = (A'A A0oo S) = (A'A S) = 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. 7.8 nás může ještě napadnout uvažovat osové kolineace s modulem ±1: • projektivní elace, pokud S e 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. 7.24. Odtud dále plyne, že osová kolineace zachovává dvoj-(Eě> poměry bodů na jakékoli přímce (tedy ne jen na ose nebo přímce procházející středem)! 'V literatuře se často místo přívlastku osová užívá středová. 7 Panoptikum geometrických zobrazení 83 Obrázek 7.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 84 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í (Eě> 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é (Eě> 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 7.8 na str. 76; opět pozorujeme ohromné množství možností v možných (Eě> 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? 8 Panoptikum geometrických zobrazení 85 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. 84- K tomuto tématu se znovu vracíme v podkapitolách 11 a 15. 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)... 7.11 Cvičení (1) Sestrojte projektivní obraz čtvercového dláždění roviny. (2) Rozhodněte, která ze čtveřic bodů na obr. 7.25 je projektivním obrazem čtveřice stejně vzdálených bodů. Obrázek 7.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. <@j) (4) Dokažte, že např. čtveřice bodů (BC MR) v úplném čtyřrohu na obr. 7.8 na str. 66 je v harmonickém poměru. (5) Dokažte, že osová kolineace je involutivní právě tehdy, když modul = — 1. (6) Pro dva dané čtyřúhelníky rozhodněte, zda je jeden obrazem druhého vzhledem k nějaké osové kolineaci (zformulujte nějaké přirozené kritérium). 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. 8.1. Uvědomte si, že podmínky v jednotlivých sloupcích nejsou úplně nezávislé! Např. z definice modulu plyne, že pokud Seo, 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 Seo 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 8.1: Klasifikace základních transformací v projektivní rovině 8 Přehledy a poznámky 87 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í. 8.2 Desarguesova věta Ve cvičeních 7.3, 7.5, 7.9, resp. 7.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 8.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. 8.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 XYZ 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 pauna obr. 8.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. 88 III Geometrická zobrazení Nad obr. 8.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í 11.3. 8.3 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. 7.1). kolin. vzdál. děl. pom. dvoj pom. rovnob. obs. odch. projektivní + - - + - - - afinní + - + + + - - ekviafinní + - + + + + - podobná + - + + + - + shodná + + + + + + + konformní - - - - - - + Tabulka 8.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. Přímo z definicí a odvozených vlastností umíme zorganizovat všechny diskutované typy zobrazení jako na obr. 8.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é. 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. 7.13. 9 Typické úlohy 89 I,(í i 5 { 11 e \ 7* *v I p r c j í k t ľ V H í MÍi-jMůítk .0 'j't Obrázek 8.27: Hierarchie geometrických zobrazení (v závorce uveden typický představitel z každé třídy). Vzhledem k tomu, že shodná, podobná a také ekviaŕinní 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. 9 Typické úlohy 9.1 Opět úloha Apollóniova Na obr. 6.56 (str. 57) 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 9.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é 90 III Geometrická zobrazení se dotýkají v bodě S, se transformují na polopřímky ľ, 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 § dotýká dvou rovnoběžek V,m' a jedné kružnice k' je obzvlášť jednoduchá... 9.2 Obraz pravidelného mnohoúhelníku Na konci odst. 7.8 (resp. 7.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í (Eě> invariantní. Na obr. 9.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í. Obrázek 9.29: Pravidelný šestiúhelník a jeho afinní, resp. projektivní obraz. 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. 9.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. 9 Typické úlohy 91 Obrázek 9.30: Přenášení dělicího poměru, resp. dvojpoměru. 9.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. 9.31 je sestrojen projektivní obraz pravidelného šestibokého hranolu, který je určen obrazy vrcholů A,B,C,D spodní podstavy, obrazem vrcholu Ä horní podstavy a úběžníkem Z' hrany AÄ. i'' .i, .■ Obrázek 9.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í- 92 III Geometrická zobrazení 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. 9.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. 8.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. Obrázek 9.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. 13Pokud by byl náhodou úběžník Z' nevlastním bodem, potom by se jednalo o osovou afinitu. 9 Typické úlohy 93 K řezům obecně se ještě vracíme v odst. 17.2. 94 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. 10 Ú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. 13), 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. 12). 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. 11), v ostatních případech mluvíme o promítáních vázaných. 96 IV Zobrazovací metody 10.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. 10.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. •>ŽZZ2 4 Obrázek 10.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. 11 Volné promítání 97 10.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. 17.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. 11. Většinu dílčích problémů, které při reálných konstrukcích potřebujeme, představujeme v podkapitole 12. 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. 17. Ostatní části jsou veskrze informativní. 11 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. 11.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. 7.10 na str. 85 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. 7.8 na str. 77. 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: 98 IV Zobrazovací metody Ú K Y Obrázek 11.2: Nárys a půdorys tělesa. • Volné rovnoběžné promítání je určeno obrazy 0',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 11.3: Volný rovnoběžný průmět tělesa z obr. 11.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ů... Přenášení dělicího poměru, resp. dvojpoměrů bodů z jedné přímky na druhou je naznačeno na obr. 9.30. 11 Volné promítání 99 Obrázek 11.4: Volný středový průmět tělesa z obr. 11.2. 11.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. 11.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é. 100 IV Zobrazovací metody Obrázek 11.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 Pi 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 9.4 a 17.2. 11.3 Cvičení (1) V úloze na obrázku obr. 11.5: • sestrojte průniky přímek KL, LM 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ČDE jsou dány body K, L (Eě> a M tak, že K e AÄ, L e BCČ a m e DE. Sestrojte volný středový průmět tohoto hranolu a jeho řez rovinou p = KLM. 12 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. 11.3 a 12.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. 10.1. 12 Mongeovo promítání 101 Obrázek 12.6: [Ka] Ukázka z prvního vydání Mongeovy Deskriptívni geometrie (1798). 12.1 Zobrazení bodu, přímky a roviny Bod Na obr. 12.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 12.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ě. 102 IV Zobrazovací metody Obrázek 12.8: Mongeovy sdružené průměty tělesa z obr. 11.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. 12.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 12.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). 12 Mongeovo promítání 103 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 12.10: Rovina je (skoro vždy) určena svými stopami. 12.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. 11.5 v Mongeově promítání je na obr. 12.11. Motivace a zdůvodnění jsou v odst. 11.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 12.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ě (í'i = 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 Pi p. 104 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. 12.12. Obrázek 12.12: Vzájemné polohy přímky a roviny: různoběžnost (p<~) p = R), rovnoběž-nost (<7||c), incidentnost (íCt). Průnik a vzájemná poloha dvou rovin Speciálním případem průniku dvou rovin jsou stopy roviny, což jsou průsečnice s průmětnami. Konstrukce stop roviny dané třemi body je na obr. 12.13. Podobně by se postupovalo v případě, že rovina je dána dvěma přímkami nebo bodem a přímkou apod. Obrázek 12.13: Stopy roviny p = KLM jsou určeny stopníky několika přímek ležících v p. Jsou-li dvě roviny dány stopami, je konstrukce jejich průniku obzvlášť názorná, viz obr. 12.14. V jakémkoli jiném případě stačí sestrojit průnik nějaké přímky z jedné roviny s rovinou druhou a tuto konstrukci zopakovat aspoň dvakrát... Generickou polohou dvou rovin je různoběžnost. Pokud jsou roviny náhodou rovnoběžné, pak obě dvojice jejich stop musí být taky rovnoběžné. Pozor, opačné tvrzení obecně neplatí, viz obr. 12.15. Pro úplnost: roviny splývají, právě když obě dvojice jejich stop splývají. 12 Mongeovo promítání 105 Obrázek 12.14: Průsečnice rovin zadaných stopami. Obrázek 12.15: Vzájemné polohy dvou rovin: různoběžnost, rovnoběžnost a ještě jedna různoběžnost. Vzájemná poloha dvou přímek Všechny možné vzájemné polohy představujeme na obr. 12.16; v mimoběžném případě naznačujeme viditelnost křížení v každém průmětu. Pro úplnost: přímky splývají, právě když obě dvojice jejich sdružených průmětů splývají. Obrázek 12.16: Vzájemné polohy dvou přímek: různoběžnost, dvakrát mimoběžnost a rovnoběžnost. 106 IV Zobrazovací metody Další postřehy Předchozí diskuzi ještě doplníme poznámkou o vzájemné poloze bodu a přímky, resp. bodu a roviny. V obou případech rozlišujeme pouze dvě možnosti: bod na daném objektu buď leží nebo nikoli. Rozpoznat vzájemnou polohu bodu a přímky je samozřejmě triviální; v případě bodu a roviny si musíme pomoci právě nějakou (krycí) přímkou, viz obr. 12.17. Obrázek 12.17: Vzájemná poloha bodu B a roviny p: l je libovolná přímka v p taková, že l\ 9 Bi; sestrojíme nárys l2 a uděláme závěr: B e p <í=^> B2 G l2. Z uvedeného by mělo být zřejmé, jak by se řešila např. úloha sestrojit nárys bodu ležícího (Eě> v dané rovině, je-li dán jeho půdorys apod. Specifické přímky l na obr. 12.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. 12.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 f3 = K + b; (2) sestrojit průnik A = a n /3; (3) spojit body K a, A; (4) vyznačit průsečík s přímkou b. 12 Mongeovo promítání 107 Obrázek 12.18: [Mach] Krov hradní věže ve Štramberku: krokve jsou příčky k mimoběž-kám a a 6 z několika bodů na kruhové podezdívce k. 12.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. 12.6 nebo 12.9. (2) Pro zadání jako na obr. 12.11 sestrojte stopníky přímky p a stopy roviny p a znovu určete průsečík R = pC\ 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 = q n a ve všemožných speciálních případech jako např. q _L 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í 11.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í 12.3(5) sestrojte mnohoúhelník řezu ve skutečné velikosti. (5) Na obr. 12.28 jsou sdružené průměty nějakého tělesa, stopy roviny p a sdružené průměty (Eě> bodu S. Sestrojte středový průmět tohoto tělesa z bodu S do roviny p. (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 p. 13 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 14 Axonometrie a kosoúhlé promítání 113 Obrázek 12.28: Sestrojte středový průmět daného objektu z daného středu do dané roviny. 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 13.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. 13.29. Typická konstrukce, která vypadá stejně v kótovaném i Mongeově promítání, je na obr. 12.22. Dvojí řešení jedné polohové úlohy je na obr. 13.30. Obrázek 13.30: Průnik rovin r = a n p sestrojený pomocí (a) hlavních přímek, (b) pomocného průmětu. 14 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 11, 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 114 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. 14.1 a posléze zobecněna v odst. 14.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. 14.3. 14.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. 14.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 12: (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í 12.5(6). Obrázek 14.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. 14 Axonometrie a kosoúhlé promítání 115 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.2 Zářezová metoda Typicky je kolmá axonometrie zadána axonometrickým trojúhelníkem a nikoli stopami jako na obr. 14.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. 14.32. Obrázek 14.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 Alo 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. •EOl (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. 14.33, příp. v příloze na str. 175. 2Umíme zdůvodnit i přímo s odkazem na větu na str. 110: promítáme kolmo a osa z je kolmá k rovině x,y, tedy i k přímce p, ... 116 IV Zobrazovací metody Obrázek 14.33: Kolmý axonometrický průmět tělesa z obr. 11.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. 14.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 12, 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. 14.34 (až na značení a vzájemnou polohu zadávajících objektů se jedná právě o úlohu řešenou na obr. 12.11, resp. obr. 11.5). 14 Axonometrie a kosoúhlé promítání 117 Obrázek 14.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 k n p. 14.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. 14.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. 17.4. 14.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. 14.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 118 IV Zobrazovací metody Obrázek 14.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 14.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. 14.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 17. Jeden názorný příklad je na obr. 14.38. 15 Perspektiva 119 Obrázek 14.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 14.38: Kosoúhlý průmět tělesa z obr. 11.2. 14.4 Cvičení (1) Pro zadání jako na obrázku obr. 12.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í 12.5(6) určete axonometrický trojúhelník a sestrojte průmět daného <@j) tělesa pomocí zářezové metody. (3) Sestrojte kosoúhlý průmět tělesa z předchozího cvičení. 15 Perspektiva Perspektivou (bez přívlastků) myslíme obyčejné středové promítání na jednu průmětnu. Z předchozího víme, že při obecném středovém promítání se vlastní body mohou zobrazovat do nevlast- 120 IV Zobrazovací metody nich a naopak, což má za následek, že některé objekty se docela krutě deformují; např. středovým průmětem kružnice může být klidně hyperbola (což při rovnoběžném promítání samozřejmě není možné). Pokud chceme zobrazovat realitu co nejblíže našemu vnímání, uvažují se jistá omezení: předpokládá se dostatečná vzdálenost středu promítání od průmětny a zobrazují se jenom objekty uvnitř zorného kužele, jehož vrcholový úhel je zhruba 40-50°. V takovém případě se mluví o perspektivě lineární... Přívlastkem lineární se často jenom zdůrazňuje, že se promítá do roviny a ne třeba na válcovou plochu. Lineární perspektiva je tedy specifické projektivní zobrazení prostoru do roviny; něco málo si dořekneme v dalším odstavci. Nelineárním perspektivám věnujeme pár poznámek v odst. 15.3. 15.1 Lineární perspektiva Lineární perspektiva může být zadána volně, tj. průmětem dostatečně mnoha bodů/úběžníků. V odst. 11.1 jsme diskutovali, jak v takovém případě sestrojit obraz libovolného dalšího bodu v prostoru. Konstrukčně to znamenalo hlavně opakované (a nezajímavé) přenášení dvojpoměrů. Perspektiva může být taky dána vázaně, tj. explicitní polohou průmětny a středu promítání vzhledem k souřadným osám, resp. Mongeovým pomocným průmětnám. V takovém případě víme, jak postupovat ze cvičení 12.3(6) a 12.5(5). Konstrukčně to znamená opakované sestrojovaní průniků promítacích paprsků s rovinou průmětny a dodatečné otočení průmětny. Dva konrétní příklady, kdy je perspektivní průmětna zvolena kolmo k Mongeově půdorysně, jsou na obrázcích 15.39 a 15.40. Obrázek 15.39: Perspektivní průmět tělesa z obr. 11.2. Na obr. 15.40 je patrno několik technických detailů, které rychle okomentujeme: V levé horní části obrázku se nejdřív hledá vhodná poloha středu promítání tak, aby se celý objekt vlezl do zorného kužele. Průmětna je zvolena kolmo k půdorysně, vzdálenost od středu je celkem libovolná. Na obrázku je dále patrná konstrukce průmětu bodu A — horizontální vzdálenosti 15 Perspektiva 121 měříme v půdoryse od referenčního bodu H, vertikální měříme v náryse od horizontu h. Výsledný průmět je vzhledem k Mongeovým pomocným průmětům dvakrát zvětšen — úběžník pro směry kolmé k nárysně by se nevlezl do nákresny, proto je užito stejnolehlosti (se středem v bodě H a koeficientem 2). Obrázek 15.40: [Me] Perspektivní průmět budovy. Stejně jako pro jakoukoli jinou zobrazovací metodu je i v případě lineární perspektivy vyvinuto několik postupů, které mohou práci zjednodušit. Při těchto postupech se velice často užívá osové kolineace. To by nemělo nikoho překvapovat, protože speciálním případem osové kolineace je osová afinita, a tu jsme několikrát zaznamenali v předchozím povídání o axonometrii a kosoúhlém promítání. Zájemce o podrobnosti odkazujeme na [KKK, Me, U] a další klasickou literaturu. 15.2 Stereoskopie a anaglyfy Stereoskopie je zobrazovací metoda, kterou se snažíme vzbudit iluzi trojrozměrnosti nad dvojrozměrnou předlohou tím, že každému oku dodáváme jiný průmět téhož objektu. Toho lze dosáhnout tak, že se zobrazovaný objekt perspektivně promítne, a to ze dvou středů, které jsou od sebe vzdáleny stejně jako zorničky lidských očí... Jednou ze stereoskopických technik jsou tzv. anaglyfy: dva perspektivní průměty jsou zobrazeny v téže průmětně různými barvami, které jsou pak odstíněny dvojbarevnými brýlemi, viz obr. 15.41. 122 IV Zobrazovací metody Obrázek 15.41: [Pr] Dvanáctistěn (s vepsanou krychlí) jako anaglyf: červený průmět je určen levému oku, azurový pravému, tzn. brýle nasazujeme červeným sklem na pravé oko a azurovým na levé. 15.3 Nelineární perspektiva Typickým příkladem nelineární perspektivy je válcová neb cylindrická perspektiva, kdy se prostor promítá z daného středu na válcovou plochu (jejíž osa zpravidla prochází středem promítání). Takové zobrazení se užívá při panoramatickém fotografování, viz obr. na str. 177. Protože promítáme na jinou plochu než rovinu má za následek, že přímky se obecně nemusí zobrazovat na přímky. To znamená, že takové zobrazení rozhodně není projektivní. Obrázek 15.42: [DV] Určující prvky válcové perspektivy... Na obr. 15.42 jsou naznačeny určující prvky válcové perspektivy — průmět libovolného bodu v prostoru je pak určen středovým průmětem ze středu S na válcovou plochu ip a následným rozvinutím této plochy do roviny ir. Uvědomte si, že sestrojit obraz obecného bodu nelze realizovat eukleidovským pravítkem a kružítkem, viz problém rektifikace kružnice v odst. 19.1... Jiným příkladem nelineární perspektivy je geometrie objektivu zvaného rybí oko, již je možno interpretovat jako složení středového promítání na kulovou plochu a ještě jednoho promítání z této plochy do roviny (kulovou plochu není možné rozvinout, proto se musí promítat)... 16 Cyklografie 123 16 Cyklografie Cyklografie je trochu exotická zobrazovací metoda, která však má zajímavé aplikace. Cyklografie má nejblíž ke kótovanému promítání — bod A v prostoru je zastoupen svým kolmým průmětem Ai, akorát místo kóty (za) kreslíme cyklus se středem v Ai, s poloměrem \za\ a s orientací odpovídající znaménku za- Naopak, každý cyklus v průmětně určuje jednoznačně bod v prostoru. Obrázek 16.43: [Kut] Cyklografický průmět bodu a přímky. Z uvedeného se dá tušit, že zmiňované aplikace se budou týkat právě úloh s cykly/kružnicemi: Např. cyklografická interpretace konstrukce stopy roviny dané třemi body na obr. 16.44 nám musí připomínat Mongeovu větu (viz obr. 7.8 na str. 66). Obrázek 16.44: Cyklografická konstrukce stopy roviny ABC. Pomocí cyklografie se taky celkem hezky interpretují některá geometrická zobrazení, jako např. trochu problematická dilatace, viz obr. 16.45. 124 IV Zobrazovací metody Obrázek 16.45: [Br] Cyklografická interpretace dilatace dotýkajících se cyklů... Dalšími typickými aplikacemi mohou být výše diskutované Apollóniovy úlohy — jejich cyklografická interpretace vede sice k prostorovým, ale celkem jednoduchým konstrukcím jako např. určení průniku přímky s rovinou nebo kuželem! Podrobnosti a další zajímavosti je možné najít např. v [Sei] nebo [Br]. 17 Typické úlohy Chceme-li sestrojit názorný obrázek nějakého tělesa, můžeme sestrojovat volný nebo vázaný průmět, středový nebo rovnoběžný (v tomto případě navíc rozlišujeme šikmý nebo kolmý). Volné průměty jsme uměli sestrojovat hned na začátku této kapitoly, u vázaného zobrazování jsme se naučili několika technicky výhodným zkratkám. Některé typické konstrukce si tady chceme připomenout. Začneme typickou metrickou úlohou o otáčení roviny. 17.1 Otáčení roviny O otáčení roviny a zobrazení nějakého rovinného obrazce ve skutečné velikosti jsme mluvili v odst. 12.4 (viz též obr. 17.49). Uvedenou konstrukci lze však použít i v opačném směru: Na obr. 17.46 je dána rovina p svými stopami a dále půdorysy bodů S a, A. Máme za úkol sestrojit sdružené průměty čtverce, který leží v rovině p, má střed S a vrchol A. Možné řešení je následující: (1) sestrojíme nárys bodu S a otočíme S kolem půdorysné stopy do půdorysny (So); (2) pomocí osové afinity doplníme otočený bod A0; (3) sestrojíme skutečný čtverec (A0B0C0D0); (4) pomocí osové afinity otočíme zpátky (AiBiCiDi); (5) doplníme nárysný průmět. 17 Typické úlohy 125 Obrázek 17.46: [Ř] Konstrukce průmětů čtverce ABCD ležícího v rovině p, se středem v bodě S a vrcholem A. 17.2 Řezy hranatých těles O řezech jsme poprvé mluvili v odst. 9.4 (specifické zadání), podruhé ve cvičení 11.3 (obecné zadání ve volném promítání), potřetí ve cvičení 12.3 (obecné zadání v Mongeově promítání) a počtvrté ve cvičení 12.5 (velikost řezu ve skutečné velikosti). V řešení obecných úloh tohoto typu odkazujeme na základní konstrukce průniku přímky a roviny a otáčení roviny; v obou případech s výhodou používáme osovou kolineaci, příp. afinitu...... 126 IV Zobrazovací metody Obrázek 17.48: Mongeovy sdružené průměty pravidelného šestibokého hranolu a jeho řezu rovinou KLM. 17 Typické úlohy 127 Obrázek 17.49: Zobrazení řezu ve skutečné velikosti. 17.3 Zobrazení Platónských těles Volně Na obr. 17.50 je volný rovnoběžný průmět pravidelného čtyřstěnu a osmistěnu. V prvním případě není co řešit, protože rovnoběžný průmět je určen obrazy čtyř vrcholů a čtyřstěn jich ani víc nemá. Tyto průměty vrcholů mohou být zvoleny celkem libovolně (věta 11.1 na str. 97 nám akorát říká, že splývat mohou nejvýše dva z nich). Pravidelný osmistěn má šest vrcholů — jsou-li dány průměty čtyř vrcholů v obecné poloze, zbylé dva se snadno doplní pomocí rovnoběžníků. O průmětech pravidelného šestistěnu (krychle) jsme se bavili tolikrát, že jej tady klidně přeskočíme. Volný průmět dvacetistěnu, resp. dvanáctistěnu spolu s kompletním rozborem a odtud plynoucím možným návodem ke konstrukci jsme představili v odst. 4.21. 128 IV Zobrazovací metody Obrázek 17.50: [U] Volný rovnoběžný průmět pravidelného čtyř- a osmistěnu. Vázaně Při konstrukcích vázaných průmětů začínáme s Mongeovými sdruženými průměty tělesa, které je ve speciální poloze vůči průmětnám. To znamená, že konstrukce průmětů je jednodušší. Jediná dvě konstrukčně netriviální Platónská tělesa zobrazená ve velmi speciálních polohách vůči průmětnám jsou na obr. 17.51 (pokud se někomu nepozdáva podezřele mnoho pomocných čar, může je samozřejmě ignorovat a sestrojit si všechno po svém na základě rozboru z odst. 4.21.) Obrázek 17.51: [KV] Mongeovy sdružené průměty pravidelného dvanácti- a dvacetistěnu. 17 Typické úlohy 129 Odtud lze rychle sestrojit např. (a) axonometrický průmět pomocí zářezové metody, kterou jsme vysvětlovali v odst. 14.1, nebo (b) kosoúhlý průmět podle návodu z odst. 14.3. Můžeme také sestrojit (c) perspektivní průmět podle návodu v odst. 15.1 (který je odvozen ze cvičení 12.3(6)). Alternativně Komu předchozí možnosti pořád nestačí, může výše zmiňované metody různě kombinovat jako např. na obr. 17.52: Zde je zobrazen kolmý axonometrický průmět krychle, do níž je vepisován dvanáctistěn. Při této konstrukci se nejdřív zdůvodní, že když rozdělíme stranu opsané krychle zlatým řezem, tak delší díl odpovídá straně vepsané krychle (tj. úhlopříčce pětiúhelníku) a kratší díl odpovídá straně dvanáctistěnu (tj. straně pětiúhelníku). Takto se celkem volně (přenášením dělicích poměrů) sestrojí 12 vrcholů ve stěnách opsané krychle. Zbylých 8 vrcholů tvoří právě vrcholy vepsané krychle a tady se využije stejnolehlosti obou krychlí... Obrázek 17.52: [KKK] Kolmý axonometrický průmět pravidelného dvanáctistěnu. 17.4 Zobrazení oblých těles Oblými tělesy tady myslíme jenom kužele, válce a koule. Při sestrojování jejich průmětů potřebujeme umět z daných podmínek sestrojit vždy průmět nějaké obrysové kružnice, u kuželů a válců ještě obrysové přímky. Při každém rovnoběžném a vhodně zvoleném středovém promítání je průmětem kružnice elipsa a tato je pro nás dokonale určena svými hlavními průměry. Obrysové přímky kuželů a válců jsou pak tečnami k elipsám, které jsou průměty podstav. Obě tyto úlohy jsou řešitelné eukleidovským pravítkem a kružítkem, a to hned několikerým způsobem. V našich úlohách přichází elipsa vždycky jako obraz kružnice vzhledem k nějaké osové afinitě (kolineaci), kterou s oblibou rádi užíváme a preferujeme, viz odst. 21.5. 130 IV Zobrazovací metody Na obr. 17.53 je průmět kužele a koule v kosoúhlém promítání, avšak bez zmiňovaných pomocných konstrukcí. Naopak všechny pomocné čáry (plus dodatečné osvětlení) lze najít na obr. 17.54. Obrázek 17.53: [U] Kosoúhlý průmět rotačního kužele a koule... Uvědomte si, že sestrojit kolmý axonometrický průmět kužele, resp. válce s podstavou v půdorysně je mnohem jednodušší, protože nemusíme sestrojovat směry hlavních průměrů — hlavní osa je rovnoběžná s půdorysnou stopou axonometrického trojúhelníku a je zobrazena ve skutečné velikosti, stačí pouze určit zkrácení na vedlejší ose. S koulí je to samozřejmě ještě lepší. 17.5 Další Osvětlení Často se kvůli zdůraznění prostorové představy zobrazují tělesa spolu s jejich stíny vzhledem ke zvolenému zdroji osvětlení. Úlohy tohoto typu neskýtají z teoretického hlediska žádné nové myšlenky, tudíž se s nimi nemusíme moc zaobírat. Jediné, co potřebujeme dostatečně mnohokrát opakovat, je opět základní úloha o průniku přímky s rovinou. Na obr. 17.54 je dán rotační kužel s podstavou v půdorysně a směr osvětlení. Sestrojen je kosoúhlý průmět kužele spolu s vlastním stínem na kuželi a stíny vrženými do první i druhé průmětny... 17 Typické úlohy 131 Obrázek 17.54: [KV] Osvětlení kužele. Na obrázku je samozřejmě víc čar než by se jednomu mohlo zamlouvat, proto je vždy vhodné přemýšlet na nějakým vlastním řešením... kovanější, než zdůvodnit, že to je možné. Dva příklady na ukázku jsou na obr. 19.5. 217. února 2020 19 K eukleidovským konstrukcím 137 Obrázek 19.5: [Ha] Mascheroniovská a steinerovská konstrukce inverzního bodu A' k bodu A při kruhové inverzi se středem v O... 19.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. 19.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 19.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. 19.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]... 138 V Dodatky í> -0» n A A Obrázek 19.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 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í 7.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. 20.1 Řešení pomocí vhodných transformací tak, že DE = AM... Potom platí, že /3 20 K úlohám Apollóniovým 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. 20.8. 20 K úlohám Apollóniovým 139 Obrázek 20.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. 20.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. 20.9. Zdůvodnění konstrukce plyne z následujícího rozboru: (a) spojnice (li) 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. 140 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 20.9: Gergonnovo řešení obecné Apollóniovy úlohy: (1) chat, 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- 20.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 (Eř> daných cyklů tvoří vždy nějakou kuželosečku, kterou si označíme např. k: Věta. Pro cykly a, b se středy A, B a poloměry ra, r t platí: • je-li \ra — rb\ > \AB\, pak k je elipsa s ohnisky A, B a délkou hlavní osy \ra — rt\, • je-li \ra — rb\ < \AB\, pak k je hyperbola s ohnisky A, B a délkou hlavní osy \ra — r&|. V uvedeném popisu uvažujeme ra,r^ 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 Kuželosečky 141 Obrázek 20.10: Středy cyklů, které se dotýkají dvou daných cyklů, tvoří kuželosečku (která se nemění při dilatacích). 20.4 Řešení pomocí cyklografie (Prozradím zájemcům, kteří znají heslo.3) 21 Kuželosečky V této podkapitole uvedeme několik ekvivalentních definic elipsy a stručně zmíníme několik užitečných důsledků. Podobné definice a vlastnosti lze zformulovat také pro parabolu a hyperbolu. 21.1 Elipsa Elipsa je rovinná křivka, která může být definována mnoha různými způsoby. Některé nejznámější stručně připomeneme a hlavně naznačíme, proč jsou navzájem ekvivalentní. V odst. 21.4 ještě přidáme jeden možný pohled na elipsu. Elipsa je rovinná křivka definovaná některým z následujících ekvivalentních způsobů: (a) uzavřená kuželo-sečka, tj. řez kuželové plochy takovou rovinou, která protíná všechny její povrchové přímky; (b) množina bodů v rovině, jež mají konstantní součet vzdáleností od dvou bodů E a F: \EX\ + \XF\ =konst.; (c) množina bodů v rovině, jež mají konstantní poměr vzdáleností od bodu F a přímky d, přičemž \XF\ : \Xd\ = konst. < 1; (d) křivka určená kvadratickou rovnicí (vzhledem k vhodné souřadné soustavě) x y 2 P 2 -5-+ 75-= 1, resp. y = 2px--x. az oz a 3Heslo je EIFARGOLKYC. 142 V Dodatky Související pojmy a vztahy jsou následující: • body E a, F jsou ohniska, přímka d je řídící přímka (elipsa má dvě ohniska a dvě řídící přímky), • kvadratická rovnice v (d) je tzv. středová, resp. vrcholová rovnice elipsy (pojmenováno podle umístění počátku odpovídající souřadné soustavy), ,2 • a = délka hlavní poloosy, b = délka vedlejší poloosy, p = — = parametr elipsy, • konstanta v (b) je rovna 2a, • konstanta v (c) je rovna ^, kde e = \/a2 — b2 = výstřednost elipsy. Diskuzi začneme ukázkou z klasického a velmi zevrubného pojednání o kuželosečkách od Apollónia z Pergy. Zde je elipsa definována podle (a), ostatní charakterizace jsou odtud odvozené. Věta (Apollóniova). Uvažme kužel s kruhovou podstavou4 a jeho eliptický řez jako na obr. 21.11. Potom pro libovolný bod A na elipse platí KM2 = EM ■ ME, (21.1) kde M je pata kolmice z A na AE a S je bod na úhlopříčce pevného přiloženého obdélníku se stranami AE a EQ, kde EQ je určená vztahem AE : EQ = AK2 : (BK ■ KT). A Obrázek 21.11: [Š] Ke 13. větě z I. knihy Apollóniových Kuželoseček... Důkaz. Úsečka EQ je sestrojena poněkud uměle, za chvíli však bude jasné, že odpovídá právě parametru p elipsy. 4Kužel nemusí být nutně rotační. 21 Kuželosečky 143 Odvození (21.1) plyne právě z definující rovnosti pro úsečku PO a podobností několika trojúhelníků: AM AE AK AK EM AM MS ES BK KT Míl MP Když levou stranu rozšíříme ME, budou mít poměry na obou stranách stejný čitatel, odkud plyne rovnost jmenovatelů: MS • ME = Míl ■ MP. Navíc rovina AIIP je rovnoběžná s podstavou, tudíž řezem kuželové plochy touto rovinou je kružnice a IIP je její průměr. Podle Thaletovy věty je úhel IIAP pravý a podle Eukleidovy věty o výšce platí: MU ■ M P = MA2. Dosazením do předchozí rovnice tak dostáváme (21.1). □ Důsledek. Definice (a) a (d) jsou ekvivalentní. Důkaz. Označíme si |P9| =: 2p, dále \EA\ =: 2a, \EM\ := x a |MA| =: y. Z podobnosti trojúhelníků OPA a OOS umíme při tomto značení vyjádřit |SM| = 2p — ^x. Rovnici (21.1) pak můžeme přepsat jako y2 = (2p - ^x) x, což je právě vrcholová rovnice elipsy v (d). □ Zbylé ekvivalence plynou z následující pozoruhodné věty. Věta (Dandelinova-Queteletova). Předpokládejme, že rovinným řezem rotační kuželové plochy je elipsa. Pak ohniska této elipsy jsou právě body dotyku kulových ploch, které se dotýkají jak kužele, tak roviny řezu. Obrázek 21.12: [KU2] K Dandelinově-Queteletově větě. 144 V Dodatky Důkaz. Celé následující zdůvodňování je odvozeno z jednoduchého poznatku, že všechny tečny z daného bodu k dané kulové ploše jsou stejně dlouhé (myslíme samozřejmě úsečky od daného bodu k bodům dotyku). Na obr. 21.12 značí E, F dotykové body kulových ploch s řeznou rovinou, X je libovolný bod na elipse, body H, D jsou průsečíky přímky VX s dotykovými kružnicemi kužele a vepsaných koulí. Chceme ukázat, že platí \EX\ + \XF\ = konst., tj., že E a, F jsou právě ohniska elipsy: Podle výše uvedeného poznatku je \EX\ = \DX\ a \XF\ = \XH\, tudíž \EX\ + \XF\ = \DX\ + \XH\ = \DH\. Protože je kužel rotační, je vzdálenost \DH| stále stejná pro všechny povrchové přímky, což jsme právě měli dokázat. □ Důsledek. Definice (a), (b) a (c) jsou navzájem ekvivalentní, přičemž řídící přímky elipsy jsou právě průsečnice pnaapnfina obr. 21.12. Důkaz. Ekvivalnce (a) a (b) plyne přímo z předchozí věty. Ekvivalence s definicí (c) bude zřejmá, když dokážeme charakterizovat řídící přímky. Pro průsečnici p = pľ\a, ohnisko F a pro libovolný bod X na elipse chceme ukázat, že platí \XF\ : \Xp\ = konst. < 1, tj., že p je její řídící přímka. Vzdálenost \Xp\ měříme jako vzdálenost \XP\, kde P je pata kolmice zXnap;v pomocném bočním průmětu vidíme tuto vzdálenost nezkresleně. Před chvílí jsme si uvědomili, že \XF\ = \XH\; tuto vzdálenost vidíme v bočním průmětu jako velikost pootočené úsečky |X0iío| (pro jistotu dodáváme, že HH0\\XX0). Platí tedy: \XF\ : \Xp\ = \X0H0\ : \XP\. Protože trojúhelníky AH0P a AX0X (v bočním průmětu!) jsou stejnolehlé, platí: \X0H0\ : \XP\ = \AH0\ : \AP\, což je konstanta (určená výhradně vzájemnou polohou rovin p, a a kužele). Navíc je zřejmé, že tato konstanta je < 1, což jsme měli dokázat. □ 21.2 Další vlastnosti a pojmy Z ohniskových vlastností elipsy lze vyvodit několik dalších poznatků, které jsou užitečné např. při konstrukcích tečen, viz obr. 21.13. Obrázek 21.13: [KU2] Vlastnosti tečen elipsy. 21 Kuželosečky 145 Tyto vlastnosti lze použít k elementárním konstrukcím pólu přímky, resp. poláry bodu vzhledem k dané elipse... Elipsu jako takovou samozřejmě nelze narýsovat pravítkem a kružítkem. Můžeme však sestrojit libovolné množství na ní ležících bodů... Pro přibližné určení elipsy v okolí jejích vrcholů se užívá tzv. (hyper-)oskulačních kružnic... 21.3 Ostatní kuželosečky Většina výše uvedených poznatků, které jsme zformulovali o elipse, má analogie pro ostatní nedegenerované kuželosečky, tj. parabolu a hyperbolu. Až bude někdy čas, tak jich tady pár vyjmenujeme... r: T_^ i 0? \f\ / / 1 / IV. / ři V [ r d v Obrázek 21.14: [Ku2] Vlastnosti tečen paraboly... 21.4 Projektivní obraz kružnice Pozorování v předchozích odstavcích nám silně připomínají jinou podobnou situaci — „kružnice" a elipsa na obr. 21.11 jsou v úplně stejném vztahu jako dva trojúhelníky na obr. 8.26. Planime-trická 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á5 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. 6Pokud by byla degenerovaná, nebyla by kolineace kolineaci, tj. nebyla by bijektivním zobrazením. 146 V Dodatky 21.5 Úlohy s kuželosečkami Tady zmiňujeme několik úloh, na které odkazujeme při zobrazování oblých těles (odst. 17.4). Pro některé z následujících úloh samozřejmě existují elementární konstrukce odvozené z ohniskových vlastností kuželoseček (odst. 21.2). My budeme ve všech případech zaměstnávat osovou koli-neaci (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... 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. 21.15 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... 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. 21.16 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. Obrázek 21.15: [KV] Hlavní průměry elipsy pomocí osové afinity. 21 Kuželosečky 147 Obrázek 21.16: [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. .251 Obrázek 21.17: [Ku] Tečna k elipse pomocí 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... nb or ma = nb or ma < nb if and only if mc > rid or mc = nd ot mc < rtd 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 rectangle on the extremes is equal to the rectangle on the means. 30. To cut a line in extreme and mean ratio. 31, Any 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 poljmedron made of eight equal equilateral triangles, 27. An icosahedron 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 Tatio as the squares of their diameters. 3. A pyramid is divided into two pyramids and two prisms. 48 ß Appendix: Brief Euclid 5. Pyramids of the same height on triangular bases 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 inscribed 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) I-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 that C is between A and B. II-3. If A, B, C are three distinct points on the same tine, 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 AT 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 AS 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-1. 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'ff 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 s AB; ifAB-A'S'.then A'B' = AB; and if AB = CD and CD = EF, then ABsEF.) m-3. If point C is between A and B, and C is between A' and B1', and if the segment AC ~ A'C and the segment CB = CB", then segment AS 5segment 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 Z.B'A'C = ABAC. 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 AS and CD are arbitrary segments, then there exists a number n such that if segment CD is laid off n times on the ray AS starting from A, then a point £ 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 l-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. BOOK I. PROP. XXIX. THEOR. STRAIGHT line | ( ■■" ) f&ttwg c>n \ tivo parallel freight lines ( ii.!—. and ), makes the alternate angles equal to one another • and aljo the external equal to the internal and oppofite angle on the fame fide ; and the tw internal angles on the fame fide together equal to tiso right angles. A draw For if the alternate angles and J | be not equal, king W=A «^^^^» (pr. 27.) and there- Therefore fore two ft night lines which interfcčt are parallel to the fame ftraight line, which is impoiTible (ax. 3 a). Hence the alternate angles ant arc not unequal, that 15, they are equal: — J £ {pr* lS)i f the external angle equal to the inter- ■ « * nal and oppofite on the fame fide: if be added to both, then A + 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 (We) 8^a,83a r~?2t fi-24,s-/4 8,b S* C 84C y-2t,h~38,s-M r-32, h-$8, s=>28 h-72,s-2S fi2z,äs,$3) I25at203a 20ab 12* b y-30,h-5Q,s-32 (203J25) r«60,ir°80,s-32 O25,2fy) v-60,h-Ws-32 (203J2W) S/,d Í25c y-24,h-88,s~38 (323J<) y-6D,h-ms-ß2 (Z09,WtJ2s) y}20,/}"/80,s"62 {30fy,2Ô6J2w) 20* d y-12,h-!8,.$-8 [$4,2S) y-88,/?-/Sff,s-S2 (003,!2S) y-12t/)=2b,$-tt • P23,2ß)