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. 1. A feladatot a koordináta-geometria eljárásaival oldjuk meg. Vegyük origónak -t, az tengelyt -vel párhuzamosnak, irányítsuk az tengelyt úgy, hogy -n, a pozitív fele menjen át és válasszuk hosszúságegységnek a szakasz felét. Így a csúcsok: . Legyen másrészt az metsző egyenes egyenlete , ahol a föltevések szerint egyrészt véges és , másrészt ‐ mivel , , mindegyike létrejött, nem párhuzamos, egyik oldallal sem ‐, ezért és (ugyanis ezek háromszögünk oldalegyeneseinek iránytangensei, 1. ábra).
1. ábra A , , oldalegyenes egyenlete rendre , , és -vel való metszéspontjaik koordinátái: | | A pont körüli, -n átmenő kör egyenlete: | | (a jobb oldalt abból kapjuk, hogy a bal oldal értéke mindig annyi, mint amennyi akkor adódik, ha , helyére koordinátáit írjuk), rendezve | | (1) | Hasonlóan a körüli, -n átmenő , kör, végül az körüli, -n átmenő kör egyenlete:
2. Azt kell bebizonyítanunk, hogy a , , körök , metszéspontjain a kör is átmegy. és koordinátái kielégítik a és . egyenleteket, ezért bármely két, , állandó számot véve, a
egyenletet is. Mármost az állítást annak megmutatásával bizonyítjuk, hogy, ez az egyenlet , és alkalmas megválasztásával azonossá tehető egyenletével. (4) azonos a (3)-mal, ha van olyan és , hogy bennük és együtthatói rendre egyenlők:
Az utóbbiból az első fölhasználásával és kellő alakításával | | tehát a kívánt értékek: | | [Pl. csak és mellett lehetne 0, ekkor és , ami kizárt eset.] Ezzel a feladat állítását bebizonyítottuk ‐ anélkül, hogy , koordinátáit meghatároztuk és -ba helyettesítettük volna. 3. Most kiszámítjuk , koordinátáit. Vonjuk ki (1)-ből (2)-t: | | amiből (mivel ) Innen -et (1)-be helyettesítve rövid számítással és abszcisszája, ordinátája rendre: | | (6) | Eszerint és mindig egymás tükörképei -ra nézve. Ezért a koordinátákat -vel, -vel jelölve, kiküszöbölésével tehát a három kör közös pontja ‐ ha létrejön ‐ mindig rajta van az háromszög középpontja körüli, sugarú körön. 4. Fordítva, meg kell vizsgálnunk, kiadódik-e minden pontja -ként. Eleve tudjuk azonban, hogy az iránytényező kizárt , , értékei mellett (6) eredményeink nem érvényesek. Így pedig nincs olyan megengedett , amely -ra vezet, tehát -nek az ordinátatengelyen ‐ a egyenesen ‐ levő pontjai nem tartoznak hozzá a mértani helyhez. Másrészt olyan sincs (6) szerint, amely -ra vezetne, tehát -nek a -n át -ra merőlegesen (-vel párhuzamosan) húzott egyenesen levő pontjai sem tartoznak -hoz. Az így kizárt 4 pontból újabb 4 ‐ 4 kizárandó adódik körüli, -kal, illetve -kal való elfordításukkal, hiszen ezek az elfordítások háromszögünket önmagába viszik át. Az újabb 8 pontra az ordináta és az abszcissza hányadosának abszolút értéke , illetve . -nek minden más pontjára az hányados véges és a , , értékektől különböző szám és (5) mutatja, hogy ekkor éppen az az érték, mely a fentiek szerint -t adja a 3 kör közös pontjaiként (és -nek az origóra vonatkozó tükörképét, amelyre a hányados értéke ugyancsak ). Mindezek szerint a közös pontok mértani helye a kör, a mondott 12 pont kihagyásával. (E pontok egy szabályos 12-szög csúcsai.) Bacsó Gábor, Pallagi Dezső Megjegyzések. 1. A fenti (5) ‐ mint elsőfokú egyenlet ‐ a , , körök közös húregyenesének, hatványvonalának egyenlete. Ugyanez adódik (1) és (3) különbségéből is, tehát a , körpárnak is hatványvonala. A bizonyítást ezek alapján így is befejezhetjük: csak 2 pontban metszi -t és azokon áthalad is, is. 2. Eleve a pont körre vonatkozó hatványának fogalmát használja fel a következő, a koordinátageometriainál jóval egyszerűbb megoldás. II. megoldás. Nyilvánvaló, hogy a keresett mértani hely örökli az háromszög tengelyes és forgási szimmetriáit. Példaként véve két egymásba így át nem vihető egyenest, azt sejtjük, hogy a keresett mértani hely egy körüli kör (ill. a kizárt helyzetek miatt ennek része); ezt bizonyítjuk. Legyen a háromszög magasságának hossza , és messe a -t -ben. -nak -ra vonatkozó hatványa a és derékszögű háromszögek alapján | | állandó, független helyzetétől, tehát ugyanennyi -nak -re, ,-re vonatkozó hatványa is. Eszerint a -ban -re állított merőlegest mindhárom kör ugyanabban a két pontban metszi (a hatvány negatív értéke miatt mindhárom körben benne van). És ha a körül forgatva minden megengedett helyzetén átfut, a metszéspont-pár a körül kört ír le, sugarának négyzete egyenlő a hatvány abszolút értékével: III. megoldás. A feladatot térgeometriai értelmezéssel oldjuk meg. Az szabályos háromszöget egy szabályos tetraéder alaplapjának vesszük ‐ ekkor a csúcs merőleges vetülete az alapon ‐, az alakzatunkat származtató egyenest pedig egy a magasságvonalon átmenő sík és az alapsík metszésvonalának tekintjük. Ekkor a tetraéder , , lapsíkját rendre a , , egyenesben metszi, és ha , az alapháromszög kerületén vannak, akkor a háromszög a tetraéder és metszésidoma (2. ábra).
2. ábra Azt fogjuk belátni ‐ a fenti jelöléseket tovább használva ‐, hogy a , , körök , metszéspontjai azonosak a csúcsnak azokkal az új helyzeteivel, ahová jut, ha a metszésidomot a egyenes mint tengely körül az egyik vagy a másik irányban belefordítjuk az alapsíkba. Valóban, a lapot körül az alaplapra ráfordítva a -be jut. S mivel eközben a helyén marad, a sugár egyenlő a metszetidom oldalával, és szerkesztésünk szerint . A meggondolást megismételve a lappal, kapjuk, hogy , ezek alapján a , a és a háromszögek egybevágók, ennélfogva mint e háromszögek megfelelő szakaszaira: , állandó. Azt kaptuk, hogy a , körök metszéspontjai a metsző egyenes (és az sík) minden megengedett helyzetében azon a körön adódnak, amelynek középpontja és sugara a tetraéder magassága. Mivel pedig és vele együtt , is merőleges -re, azt is kaptuk, hogy , köreink közös húregyenese mindig átmegy -n. A kör amiatt halad át -en és -n, mert -t körül az alapsíkba fordítva, -ba jut, ezért , másrészt is a egyenes pontja, tehát a metszetidom lefordításával hossza az , szakaszokban valódi nagyságában látszik. Ezzel a feladat állítását bebizonyítottuk. Már csak annak a vizsgálata van hátra, hogy a kör mely pontjai tartoznak hozzá a mértani helyhez. Láttuk, hogy a szakasz -nek -re, egyszersmind -re merőleges átmérője: -nek minden olyan helyzete figyelembe veendő, mely különböző a , , egyenestől is a rájuk -ban állított merőlegestől, tehát a kizárt helyzetek száma 6. Így ki van zárva -ból -nek az a pontja, melyek e 6 kizárt egyenesre merőleges átmérő végpontjai. Fordítva, -nek minden más pontjához úgy kapjuk -nek a -et előállító helyzetét, hogy merőlegest állítunk -ban -re. Más kizárt pont tehát nincs.
Lásd pl. Tolnai Jenő: Érdekes matematikai gyakorló feladatok, II. rész. Tankönyvkiadó, Budapest, 1971. 22. old. |