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. Az első két megoldás a körre vonatkozó inverzió fogalmára támaszkodik, ezért röviden összefoglaljuk ennek a transzformációnak legfontosabb tulajdonságait. Ha adott a síkon egy középpontú, sugarú kör, akkor a körre vonatkozó inverzió a sík -tól különböző pontjainak az a leképezése, amely tetszőleges ponthoz az félegyenes azon pontját rendeli hozzá, amelyre . Ha az pont (vagy alakzat) képe , akkor a ponté (alakzaté) éppen . A leképezés tehát egy-egyértelmű, a pontjait helyben hagyja, -n belüli pontokat pedig -n kívüli pontokba visz, és fordítva. Ha egy kör az pontot elkerüli, akkor a körvonal képe egy, az -t szintén elkerülő körvonal, egy -n áthaladó körvonal képe pedig egy -ra nem illeszkedő egyenes: a és körök hatványvonala. Fontos tulajdonsága az inverziónak a szögtartás: ha és egy-egy körvonal (elfajuló esetben -ra nem illeszkedő egyenes), akkor a és körök ugyanolyan szög alatt metszik egymást, mint a és körök. (Két egymást metsző kör által bezárt szög alatt közös pontjukban húzott érintőik hajlásszögét értjük.) Speciálisan, ha a kör -t merőlegesen metszi, akkor miatt is merőlegesen metszi -t, méghozzá ugyanabban a két pontban, ezért . Ezek után lássuk először a legkevesebb diszkussziót igénylő megoldást.
I. Megoldás. Ha az háromszög köré írható körön van, akkor , és így az háromszögről nem beszélhetünk. Az egyazon húrhoz tartozó kerületi szögek egyenlőségéről szóló tételre hivatkozva az 1. ábráról leolvasható, hogy az háromszög hasonló a háromszöghöz, függetlenül attól, hogy a körön belül, vagy azon kívül helyezkedik-e el. Ezért , és hasonló módon .
1. ábra Az feltétel tehát ekvivalens az feltétellel, vagyis azzal, hogy az és pontokhoz, valamint az arányhoz tartozó Apollóniusz-körnek -ra nem illeszkedő pontja. (Abban a speciális esetben, amikor , ez az Apollóniusz-kör elfajuló, és az szakasz felező merőlegesével egyezik meg.) Ugyanígy kapjuk azt is, hogy az feltétel ekvivalens azzal, hogy a és pontokhoz, valamint az arányhoz tartozó Apollóniusz-körnek -ra nem illeszkedő pontja. Az háromszög tehát pontosan akkor szabályos, ha az említett két Apollóniusz-kör (-ra nem illeszkedő) közös pontja. Az egyenes elválasztja az első Apollóniusz-kör -val való, -től különböző metszéspontját a ponttól. Ugyanígy, a egyenes elválasztja a második Apollóniusz-kör -val való, -től különböző metszéspontját az ponttól. Következésképpen az , , , pontok a körön ilyen sorrendben helyezkednek el (2. ábra), és ezért a két Apollóniusz-kör mind a körön belül, mind azon kívül egy-egy pontban metszi egymást. Pontosabban, a -n kívüli metszéspont nem létezik abban az esetben, ha mind a két Apollóniusz-kör elfajuló, ez azonban pontosan akkor következik be, ha az háromszög szabályos. Ezzel a feladat első állítását beláttuk.
2. ábra A második állítás bizonyítása azon az észrevételen alapul, hogy az említett Apollóniusz-körök a kört merőlegesen metszik. Ekkor ugyanis a szögtartás miatt a -ra vonatkozó inverzió mind a két Apollóniusz-kört saját magába viszi, és ezért a körök metszéspontjainak képe az inverzió során ugyanez a két pont. Mivel a körön belüli pontok a -n kívüli pontokba transzformálódnak, ez csak úgy lehetséges, ha az inverzió -t és -t felcseréli. A és pontok tehát egymásnak a körre vonatkozó inverz képei, ennek megfelelően a egyenes valóban áthalad a kör középpontján.
Szimmetria okokból elegendő azt megmutatni, hogy az első Apollóniusz-kör (jelöljük ezt -gyel) merőlegesen metszi -t. Ez nyilvánvaló, ha , egyébként pedig feltehetjük, hogy . Legyen a -ből induló belső szögfelező talppontja , a külsőé . A szögfelező-tétel értelmében éppen a körnek az egyenesre eső átmérője, amely tartalmazza az pontot is (3. ábra).
3. ábra Ezért . Továbbá | | ahol a kör középpontja. Ezért | | és éppen ezt akartuk bizonyítani.
II. Megoldás. Rögzítsük a pozitív forgásirányt úgy hogy az , , csúcsok ilyen sorrendben helyezkedjenek el a háromszög köré írt körön. Hogy kevesebb esetet kelljen megkülönböztetni, irányított szögekkel fogunk dolgozni. Két irányított szöget azonosnak tekintünk akkor, ha különbségük egész számú többszöröse. Ha , a kör pontjai, akkor az irányított ívhez tartozó (irányított) kerületi szöget jelölje . Például , és a háromszög szögei, ugyanakkor . Azt mondjuk, hogy az (irányított) szakasz a pontból szög alatt látszik, ha , ekkor az szakasz -ből szög alatt látszik. Az ilyen pontok összessége alkotja az szakaszra támaszkodó szögű látókörívet, ami esetén a végpontjait nem tartalmazó szakasszal, esetén pedig az egyenes szakaszon kívül eső részével egyezik meg. Ennyi előkészület után most már rátérhetünk a megoldás lényegi részére. A körön nyilván nem helyezkedhet el megfelelő pont. Legyen tehát először a kör egy tetszőleges belső pontja, ekkor az és háromszögek azonos körüljárásúak. Az utóbbi háromszög tehát pontosan akkor szabályos, ha a , , szögek közül legalább kettő (és persze akkor a harmadik is) . Mármost | | Az , , és ívek ugyanis együtt éppen lefedik a kört, így a hozzájuk tartozó kerületi szögek összege pontosan . Hasonlóképpen, és . Az háromszög tehát pontosan akkor szabályos, ha a pontból az , , szakaszok rendre , , szögben látszanak. E három feltétel közül persze elég csak kettőt megkövetelni. Most már nem nehéz megmutatni, hogy a körön belül pontosan egy ilyen pont van. Az általánosság megszorítása nélkül feltehetjük, hogy , . Tekintsük most az szakaszra támaszkodó szögű látókörívet és a szakaszra támaszkodó szögű látókörívet, ezek tehát a megfelelő szakaszoknak a háromszöget tartalmazó oldalán helyezkednek el. A harmadik hasonló látókörívre is (amely már nem biztos, hogy az AC szakasznak a háromszöget tartalmazó oldalán helyezkedik el) szükségünk lesz később, ezt jelöljük -vel. Hogy ez a két ív pontosan egy pontban metszi egymást, méghozzá a kör belsejében, a következőképpen igazolhatjuk. Először is vegyük észre, hogy mindkét látókörív a kör belsejében halad. Másodszor, közös végpontja mindkét ívnek. Ezért a két ívnek legfeljebb egy közös belső pontja lehet, és a metszéspont létrejöttének szükséges és elégséges feltétele az, hogy az ív a oldallal, illetve az ív a oldallal olyan szögeket zárjon be, amelyek összege -t meghaladja (most kivételesen nem irányított szögektől beszélünk). Egyszerű számolással ellenőrizhető, hogy ez valóban így van. Azt is megállapíthatjuk, hogy lévén ekkor , ez a pont akkor esik az háromszög belsejébe, ha , a háromszögön kívül helyezkedik el a esetben, ha pedig , akkor az oldalra illeszkedik. Összefoglalva tehát megállapíthatjuk, hogy a körön belül mindig pontosan egy ilyen pont van, méghozzá az háromszög belsejében, ha a háromszög minden szöge -nál kisebb, annak határán, ha a háromszögnek van egy -os szöge, illetve azon kívül, ha valamelyik szöge -nál nagyobb. Ebből a pontból az , , szakaszok rendre , , alatt látszanak. Legyen most a pont a kör egy külső pontja. Az meghatározásához különböztessünk meg négy esetet annak megfelelően, hogy a és félegyeneseken a , , , illetve , , pontok milyen sorrendben helyezkednek el (1. ábra). Megjegyezzük, hogy az irányított szögekkel való számolásnak az is előnye, hogy nem kell azzal foglalkoznunk, hogy ez a két félegyenes egymáshoz képest milyen helyzetű. Mind a négy esetben könnyen ellenőrizhető, hogy | | | | Ugyanígy és . Mivel most az háromszög körüljárása ellentétes az háromszögével, ez a háromszög pontosan akkor szabályos, ha a , , szögek közül legalább kettő (és persze akkor a harmadik is) . Ezzel ekvivalens az, hogy a pontból az , , szakaszok rendre , és alatt látszanak. Jelölje az ennek megfelelő látóköríveket rendre , és . Állítás. A körre vonatkozó inverziónál az , , ívek képe rendre , és . Ebből azonnal következik, hogy a körön kívül is pontosan egy olyan pont van, amelyre az háromszög szabályos, mégpedig ez a pont a pont inverz képe. Probléma csak akkor lenne, ha egybeesne a kör középpontjával, ez azonban nem lehetséges, hiszen az háromszög nem szabályos. Egyúttal azt is megkaptuk, hogy a kör középpontja, valamint a és pontok egy egyenesen vannak. Most már csak a fenti állítást kell igazolni. Ha a háromszög szögeire semmiféle megkötést nem teszünk, akkor szimmetria okok miatt nyilván elég annyit megmutatni, hogy inverz képe éppen . A bizonyítás azon az egyszerű észrevételen múlik, hogy az a két ív, amelynek pontjaiból az (irányított) szakasz , illetve szög alatt látszik, szöget zár be egymással. Ennek alapján a kerületi szögek tételéből következik, hogy mind az ív, mind az ív -os szöget zár be a körrel. Nem nehéz megmutatni, hogy az ív a körön belül, az ív pedig azon kívül halad. A két ívnek ugyanazok a végpontjai, de nem egészítik ki egymást egyetlen körvonallá. Mivel az a két körvonal, amely a -t a és pontokban egyaránt -os szög alatt metszi, egymás inverz képe a körre nézve, a szóban forgó két ív is egymás inverze, és ezt akartuk bizonyítani.
III. Megoldás. (Béky Bence megoldása.) Az előző megoldások valamelyikét követve először is megállapítjuk, hogy valóban két ilyen pont létezik, méghozzá egy a háromszög köré írható körön belül (jelöljük ezt -vel), a másik pedig a körön kívül (legyen ez ). Vegyük most észre, hogy az háromszög körüljárása megegyezik az háromszögével, míg az háromszögé azzal ellentétes. Található tehát egy, a kör középpontjára illeszkedő egyenes, amelyre az háromszöget tükrözve az háromszöget kapjuk. Vizsgáljuk először azt az általános esetet, amikor különbözik a , pontoktól, különbözik az , pontoktól és is különbözik az , pontoktól. Nem lehet, hogy például az egyenes egybeesik az egyenessel, mert ekkor lenne. Az egyenes tehát csak akkor lehet párhuzamos az egyenessel, ha egyben -vel is párhuzamos. Ugyanez elmondható a másik két értelemszerűen felírt egyenespárról. Jelölje , és rendre a és egyeneseknek, az és egyeneseknek, illetve az és egyeneseknek a metszéspontját. Az elmondottak szerint ezen egyenespárok közül legfeljebb egy lehet párhuzamos helyzetben, az egyenesre eső , , pontok közül tehát kettő biztosan létrejön. Feltehetjük, hogy az és pontok ilyenek. Világos, hogy és különböző pontok (4. ábra). 4. ábra Tekintsük most a körbe írt önmagát átmetsző hatszöget. Ennek és szemközti oldalai -ban, és szemközti oldalai -ban, és szemközti oldalai pedig -ben metszik egymást. Pascal tétele szerint tehát az pont illeszkedik a egyenesre (5. ábra). 5. ábra Hasonlóképpen belátható, ezúttal az hatszögből kiindulva, hogy a pont is illeszkedik a egyenesre. A egyenes tehát egybeesik az egyenessel, vagyis az ponton áthaladó egyenessel, ami bizonyítja az általános esetben a feladat második állítását. Tegyük fel végül, hogy mondjuk , ekkor az -re való szimmetria miatt , végül pedig a körnek az a pontja, amelyre az háromszög szabályos. Világos, hogy illeszkedik az egyenesre, pedig merőleges arra. Ekkor az és egyenesek helyett tekintsük a körhöz annak , illetve pontjában húzott érintőjét, ez a két egyenes a pontnak az -ra vonatkozó tükörképében metszi egymást. Jelöljük most ezt a pontot -gal. A , pontok ugyanúgy definiálhatók, mint az általános esetben, és ezúttal egybeesnek -vel. Az és pontok tehát most is az egyenest határozzák meg. Most már szinte szó szerint megismételhetjük az előző bekezdést azzal az apró módosítással, hogy most a hatszög elfajuló abban az értelemben, hogy két-két szomszédos csúcsa egybeesik. Ezért a Pascal tétel alkalmazásánál a és egyenesek helyett éppen az előbb említett érintőket kell tekinteni.
Megjegyzések. 1. A feladat komplex számok segítségével viszonylag egyszerű számolás útján is megoldható. Ezt az utat választotta Gyenes Zoltán a második állítás bizonyításához. 2. Egy mélyebb matematikai eszközöket használó megoldást tartalmaz, és a feladat hátterére mutat rá Hraskó András cikke, amely a következő számunkban jelenik meg. 3. A harmadik megoldásból azonnal leolvasható, hogy az és háromszögek a egyenesre szimmetrikusan helyezkednek el. Erre az eredményre az első megoldás ügyes folytatásával is eljuthatunk. Hogyan? Ennek az önmagában is szép feladatnak a megoldását már az olvasóra bízzuk.
|