A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. I. megoldás. Vázlatot készítve azt találjuk, hogy a kérdéses metszéspont a körön van. Könnyebb lesz ezt a többet mondó állítást bebizonyítani.
1. ábra Mivel átmérőre tükröztünk, , és is a körön van. Azt fogjuk megmutatni, hogy az -en át -vel és a -en át -vel párhuzamosan húzott , illetőleg egyenes a körön metszi egymást. A harmadik egyenesre már könnyen átvihető lesz eredményünk. Messe az egyenes a kört másodszor -ben, az egyenes -ben, így azt akarjuk belátni, hogy azonos -vel. Egyelőre feltesszük, hogy és különböző pontok, úgyszintén és is (1. ábra). A és szakaszok a kör párhuzamos húrjai, ezért végpontjaik egy szimmetrikus trapéz (húrtrapéz) csúcsai, páronként egymás tükörképei a mindkét húrra merőlegesen álló átmérőre mint tengelyre nézve. Így a és húrok egyenlők, mert egymás -ra vonatkozó tükörképei. Hasonlóan egy húrtrapéz csúcsai az , , és pontok ‐ az először végzett tükrözések miatt, mert és merőlegesek a felhasznált átmérőre ‐, valamint , , és is, a másodszorra szerkesztett párhuzamos miatt, itt a szimmetriatengely az -re merőleges átmérő. Ezért | | (1) |
Eszerint és a körnek -től egyenlő távolságra levő pontjai, tehát vagy egymás tükörképei a -ből kiinduló átmérőre nézve, vagy egybeesnek. Csak azt kell már belátnunk, hogy az utóbbi eset áll fenn. Mozgassunk egy pontot a körön -ből -be a köztük levő két körív valamelyikén, és tekintsük azt a mozgást, amit -nek -ra való tükörképe végez, továbbá -nak -ra való tükörképe, végül amit -nak -re való tükörképe végez. Az (1) alatti egyenlő húrok mindegyikének végpontjai a kört úgy osztják két-két ívre, hogy a részívek páronként egyenlők, és az , , , pontok az egyenlő hosszú íveket írják le. A pontok mozgása mindig a kör középpontja körüli forgás, amelynek iránya az egymás utáni párokban a tükrözés miatt ellentétes. Igy és forgási iránya megegyező, mert mindegyik ellentétes irányú forgásával, és hasonlóan iránya is ellentétes -ével. Ezért az és által befutott és ívek ellentétes irányúak, az utóbbinak a végpontja viszont azonos az előbbinek a kezdőpontjával, ezért a kezdőpont is azonos az végponttal. Ezt akartuk belátni. Akkor is érvényes (1), valamint meggondolásunk záró része is, ha érinti a kört. Ekkor ugyanis helyén csak maga vehető, másrészt az -ből kiinduló átmérő merőleges -re, az háromszög egyenlő szárú, és így . Hasonlóan okoskodunk, ha érinti a kört. Ezzel az első két párhuzamosra vonatkozó állításunkat bebizonyítottuk. Meggondolásunkban az , , ; , ; , pontok szerepét rendre a , , , , , , pontoknak adva át, úgyszintén , , , , , szerepét rendre , , , , , -nek ‐ ahol -t, -at, -t és -t a fentiekhez hasonlóan értelmezzük ‐, azt kapjuk, hogy és a körön metszik egymást, egybeesik -vel, tehát az eredeti meggondolás szerint -vel is. Ezzel állításunkat bebizonyítottuk.
Megjegyzés. és tükörképei mozgásának elképzelése tulajdonképpen mellőzhetővé tette az (1)-re vezető meggondolást, hiszen megismételte azt, de többet mondott nála. Az ábra azonban csak nyugalmi helyzetet mutat, szemlélete előkészítette a később mondottakat.
II. megoldás. Ismét azt bizonyítjuk, hogy a feladatban szereplő egyenesek a körön metszik egymást. Elég megmutatni, hogy az -en át -vel és -en át -vel húzott párhuzamosok a körön metszik egymást. A feltételeket leírhatjuk csupán a kör középpontján átmenő tengelyekre való tükrözésekkel.
2. ábra Jelöljük a körnek a feladat szövegében említett átmérőjét -vel, a -re és a -ra merőleges átmérőt -gyel, ill. -vel (2. ábra). Ekkor -ból a kérdéses körpontba úgy juthatunk, hogy -t tükrözzük -re, majd a tükörkép-pontot (-et) -re; hasonlóan -ből a megfelelő metszéspontba a -re, majd -re való tükrözéssel juthatunk. Megfordítva, a kétszeri tükrözéssel kapott pontból -be a -re, majd -re való tükrözéssel jutunk ‐ és csak ebből a pontból, hiszen az egyetlen pont, amelyet -re tükrözve -t kapjuk, és olyan pont is egyetlenegy van, amelynek -re vonatkozó tükörképe , ugyanis -nek a -re vonatkozó tükörképe. Így, ha állításunk igaz, akkor -t sorra tükrözve -re, -re, -re, majd újra -re, -be jutunk, de fordítva is, ha utolsó állításunk igaz, akkor -t -re, majd -re tükrözve ugyanazt a pontot kapjuk, mint ha -t tükrözzük -re, majd -re. Elég tehát azt megmutatni, hogy a fent említett négy tükrözéssel -be megy át. Ehhez megmutatjuk, hogy két egymást metsző tengelyre történő, egymás utáni tükrözés eredménye ugyanaz, mint ha metszéspontjuk körül egy kétszer akkora forgatást végzünk, mint ami az első tükrözés tengelyét a másodikéba viszi át. Ebből átfogalmazott állításunk helyessége következik, hiszen -t a t, majd. a tengelyre tükrözve az eredmény a kör középpontja körül a -t -be vivő forgás kétszeresével való elforgatással helyettesíthető. Az ez utáni tükrözés -re, majd -re annak a forgatásnak a kétszeresével helyettesíthető, amely -t -be viszi át. A két forgatást egymás után elvégezve a forgatások szögei összeadódnak, és ez a forgásszög-összeg független a forgatások sorrendjétől. Így a négy tükrözés együtt annak a forgatásnak a kétszeresét adja, amellyel , a -be, majd innen -be forgatható. Az utoljára említett forgatás a -t -be vivő forgatás, vagy ennél egy többszörösével nagyobb. Így kétszerese a -t -be vivő forgatás kétszeresétől csak egy többszörösével különbözhet, azonban egy többszörösével való forgatás minden pontot önmagába visz át. A négy egymás utáni tükrözés eredménye tehát az körül a -t -be vivő forgatás kétszerese, ez pedig -t éppen -be viszi át; ezt akartuk bizonyítani. A két tükrözés összetételére vonatkozó állítást kell tehát még belátnunk. Legyen a két egymást metsző tükörtengely és , metszéspontjuk .
3. ábra Egy pont -ra vonatkozó tükörképét megkaphatjuk úgy is, hogy az szakaszt körül pl. az óramutató járásával ellentétes irányban ‐ ezt szokás pozitív forgásiránynak tekinteni ‐ -ig forgatjuk, majd innen ugyanekkora szöggel tovább. az helyzetbe. Ekkor a tükörképe -ra (3. ábra). A -t -be vivő forgás szöge függ helyzetétől. -t a -re vonatkozó tükörképébe ismét átvihetjük úgy, hogy -t pozitív irányban -ig forgatjuk, majd innen még ugyanekkora szöggel továbbforgatva jutunk az szakaszhoz. Így végül -t annak a forgásnak a kétszeresével forgattuk el (a 3. ábra vastagabban jelölt ívei), amely -t -n áthaladva -be viszi át. Ez vagy az -t pozitív irányban -be vivő legkisebb forgás, vagy az annál -kal nagyobb forgás kétszerese; eredménye tehát minden esetben ugyanaz, mint az -t -be vivő forgatás kétszereséé, mért a -kal való továbbforgatás nem okoz változást. Ezzel segédtételünket, s így a feladat állítását is bebizonyítottuk.
Megjegyzések. 1. Itt nem kellett különválasztanunk azt az esetet, ha pl. az -en át -vel párhuzamosan húzott egyenes érinti a kört. Ekkor átmegy -en, s így a rá való tükrözés -et helyben hagyja. 2. Meggondolásunkban felhasználtuk, hogy egy középpont körüli egymás utáni forgatások felcserélhetők, így segédtételünk értelmében egy ponton átmenő tengelyekre vonatkozó tükrözéspárok is felcserélhetők. (Tükrözések nem cserélhetők fel, hiszen a -re, majd -ra való tükrözés azt a forgást adja, ami az -ra, majd -re való tükrözéssel egyenértékű forgatást teljes körülforgássá egészíti ki.) Így a -re, -re, -re, majd -re vonatkozó tükrözés ugyanazt eredményezi, mint ha -re, -re, újra -re, majd -re tükrözünk. Azonban a -re való kétszeri tükrözés minden pontot helyben hagy, tehát az eredmény ugyanaz, mint ha -re, majd -re tükrözünk. Lényegében ezt láttuk be a megoldás során geometriailag. 3. A bizonyítandó állítást tovább alakíthatjuk, megfigyelve, hogy -t ismét -re, majd -re tükrözve -be, majd -ba jut, és az egyetlen pont, aminek megvan ez a tulajdonsága. Elég tehát azt megmutatni, hogy -t sorra a , , , , , tengelyekre tükrözve eredeti helyzetébe jut vissza. Ez azonnal látható, ha ‐ előző megjegyzésünk értelmében ‐ az első és második tükrözéspárt megcseréljük. Eszerint a hat tükrözés eredménye ugyanaz, mintha, -t sorra a , , , , , tengelyekre tükrözzük. De a -re és újra -re való tükrözés helyben hagyást eredményez, úgyszintén a -re és ismét -re való tükrözés, tehát a hat tükrözés egymásutánja ugyanazt eredményezi, mint a -re, majd -re való tükrözés, vagyis a helyben hagyást. 4. Az előző átfogalmazás azt jelenti, hogy a , , tengelyekre való tükrözések egymásutánja olyan transzformációt eredményez, amelyet kétszer egymásután alkalmazva minden pont eredeti helyzetébe kerül vissza. Valóban, a három tükrözés eredménye egyetlen tükrözéssel helyettesíthető. A -re és -re való tükrözés ugyanis annak a forgatásnak a kétszeresével helyettesíthető, amelyik -t pozitív irányban -be viszi át. Ugyanerre a forgatásra vezet azonban minden olyan -n átmenő tengelypárra vonatkozó tükrözés is, amelyek elsőjét a másodikba ugyanakkora forgás viszi át, mint -t -be. Legyen az a tengely, amelyet -be ugyanaz a forgatás viszi át, mint -t -be. Ekkor a -re, -re, majd -re való tükrözés eredménye ugyanaz, mint a -ra, -re, majd -re való tükrözésé, ezé pedig ugyanaz, mint a -ra való tükrözésé. Ezzel állításunkat igazoltuk. |