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. Ha a négyzet vagy oldalegyenesén van, akkor a feltétel nyilván nem teljesül. Ha tehát , akkor létezik az , , pontokon átmenő és a , , pontokon átmenő kör. Ezekben a körökben és egyenlő vagy kiegészítő kerületi szögekkel szemközti húrok. Mivel a négyzet oldalai, ezért egyenlők, így a és körök egybevágók. Megfordítva, ha két egybevágó kör közös pontja, amelyek egyike -n és -n, a másik pedig -n és -n megy át, akkor az és egyenlők, vagy pedig -ra egészítik ki egymást, tehát . A szóban forgó mértani hely tehát az -n illetve a -n átmenő egybevágó körpárok közös pontjaiként adódik. Tekintsünk tehát egy tetszőleges kört, amelyik átmegy az és pontokon. A és pontokon ekkor két olyan kör megy át, amelyik egybevágó a -gyel: a tükörképe az és felező merőlegesére, illetve az a kör, amelyet úgy kapunk, ha -et eltoljuk az vektorral. (Az szakaszt mindkét transzformáció a -be viszi.) Jelöljük a tükrözéssel kapott kört -gyel, az eltoltat pedig -vel. (Ha éppen az átmérőjű kör, akkor .)
1. eset: és közös pontjai. Ha a két kör, és nem esik egybe, akkor legfeljebb két közös pontjuk van. Ezek ‐ ha létrejönnek ‐rajta vannak a tükrözés tengelyén. Így az egyenes pontjait kapjuk, és ennek nyilván minden pontja előáll az -re tükrös illetve pontokon átmenő egybevágó körök metszéspontjaként. (Ilyen pontokra egyébként az és a szögtartományok is tükrösek az -re, így a szinuszuk egyenlő.) (1.a., 1.b. ábrák.)
1.a. ábra 1.b. ábra Ha és azonosak, akkor a négyzet körülírt köre. A fentiek szerint ennek a körnek a négyzet csúcsaitól különböző valamennyi pontja a mértani helyhez tartozik (2.a., 2.b. ábrák). A megfordítás most is közvetlenül leolvasható: a bármely helyzetében negyed- vagy háromnegyed körívnyi kerületi szögek adódnak. Ha az vagy a íven van, akkor az egyik szög , a másik pedig , míg a vagy a íven mindkét szög -os.
2.a. ábra 2.b. ábra
2. eset: és közös pontjai.
3.a. ábra 3.b. ábra A két kör és a négyzet közös szimmetriatengelye az felező merőlegese, így a létrejövő két metszéspont közül azt vizsgáljuk, amelyik a , pontokkal azonos félsíkban van (3.a., 3.b. ábrák). A kört a eltoltjaként kaptuk, így ha a -n keresztül párhuzamost húzunk -vel, akkor ez a kört abban a pontban metszi, amelyre , az eltolás során éppen a pont képe a . Az eltolás így a kör ívét a kör ívébe viszi. Mivel pedig egybevágó körökben egyenlő ívekhez egyenlő kerületi szögek tartoznak, a -beli és a -beli egyenlő. A paralelogrammában pedig . A két eredményt egybevetve a pont rajta van a négyzet átlóján. (A körök másik metszéspontja az átló centrálisra vonatkozó tükörképén, a átlón van.)
4.a. ábra 4.b. ábra Megfordítva, az átlók minden pontjára fennáll a szóban forgó egyenlőség. Ha az átló pontja (4.a., 4.b. ábrák), akkor . Mivel , és egy egyenesen vannak, külső pontra (4.a. ábra), belső pontra pedig .
5. ábra Ezzel minden esetet megvizsgáltunk, a mértani hely a négyzet szimmetriatengelye, valamint a körülírt kör, továbbá a két átló egyenese a négyzet csúcsainak a kivételével (5. ábra).
Megjegyzés. Az egybevágó és illetve és körök metszéspontjainak a vizsgálata koordinátageometriai eszközökkel is történhet. Így okoskodott Ta Vinh Tong, a budapesti Fazekas Mihály Gimnázium 11. osztályos tanulója. A most következő megoldás teljes egészében koordinátageometriai eszközökkel oldja meg a feladatot.
II. megoldás. Válasszuk a négyzet oldalát 2 egységnyinek és helyezzük el egy derékszögű koordinátarendszerben úgy, hogy a csúcsok koordinátái legyenek , , , . Ha tetszőleges pont, akkor a távolsága az egyenestől , a egyenestől pedig . Ha különbözik az és pontoktól, akkor az esetleg elfajuló háromszög területét kétféleképpen fölírva a távolságformula felhasználásával kifejezhető: | | és ugyanígy | | Ha különbözik a négyzet csúcsaitól ‐ ellenkező esetben a szögek valamelyike nem értelmezhető ‐ akkor a fenti kifejezésekben a nevezők értéke nem nulla. A mértani hely egyenlete így | |
Emeljük négyzetre (1) két oldalát. Ilyen lépéssel a megoldáshalmaz általában bővül, most azonban nem ez a helyzet. A négyzetre emeléssel kapott egyenlet ugyanis most olyan pontok megjelenését eredményezi, amelyekre Ez azt jelenti, hogy a feladat természetes értelmezése szerint konvex és szögtartományok mellett az őket -ra kiegészítő konkáv szögtartományok is megjelennek. Ezek körében a feltétel ekvivalens a megfelelő konvex szögekre vonatkozó feltétellel. Az , , , mennyiségek bevezetésével (1) a négyzetre emelés után így alakul: | | Innen Az egyenlőség két oldala a változók cseréjére fölcserélődik, ami azt jelenti, hogy a két oldal különbségéből kiemelhető. Valóban beszorzás és rendezés után | | Visszahelyettesítve: | | a négyzet csúcsaival bővített ponthalmaz egyenlete: az tengely egyenlete, ez a négyzet -t és -t felező szimmetriatengelye. metsző egyenespár, a négyzet két átlójának az egyenlete, végül a négyzet körülírt körének az egyenlete. A bizonyításból következik, hogy a négyzet csúcsaitól eltekintve valamennyi pontra teljesül a feltétel. Ez egyébként közvetlenül is könnyen igazolható a talált pontokra. A keresett mértani hely így a négyzet -re merőleges szimmetriatengelye, a négyzet átlóegyenesei és a négyzet körülírt köre a négy csúcs, , , , kivételével (5. ábra). Lovrics Klára (Budapest, Eötvös József Gimnázium, 12. o.t.) |