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. A feladat olyan pont létezésének bizonyítását kívánja, amelyre egyrészt | | (1) | másrészt egyenlők azok az elfordulások is ‐ az irányt is figyelembe véve, amelyek az félegyenest az félegyenesbe és hasonlóan -t -ba és -t -be viszik át. Ekkor ‐ a , , irányított forgásszöget -val jelölve ‐ az körüli, szögű elfordítás úgy viszi át a "vesszős'' háromszöget a "vesszőtlen'' háromszögbe, hogy a -be, a -ba és az -be jut. ‐ Mivel így -ként csak a és (nyilvánvalóan nem párhuzamos) szakaszok felező merőlegeseinek metszéspontja jön szóba, azért legföljebb egy ilyen pont létezhet.
Megmutatjuk, hogy az állítás szerinti pont az háromszög beírt körének középpontja. A fent megkívánt egyenlőségeket abból bizonyítjuk, hogy az , , háromszögek egyenlő szárúak és egybevágók, tehát egymásba fordíthatók körül, mégpedig úgy, hogy vesszős pont vesszősbe jut át, vesszőtlen pedig vesszőtlenbe. Pontjaink előállítása szerint a , , szakaszok mindegyikének hossza , a háromszög kerülete. Legyen felezőpontja , ekkor a szokásos jelölésekre áttérve , ezért a beírt körnek a oldalon való érintési pontja, tehát az középpont rajta van felező merőlegesén, . Ugyanezek érvényesek a és oldalon, valóban a beírt kör középpontja, így az , , egyenlő szárú háromszögek magasságának közös hossza , a beírt kör sugara, tehát e három háromszög valóban egybevágó. Válasszuk az eredeti háromszög betűzését úgy, hogy az , , körüljárás pozitív (az órajárással ellentétes irányú) legyen, és forgassuk az félegyenest körül pozitív irányban. Ez pontjainkat bármely háromszög esetében a következő ciklikus sorrendben súrolja: , , , , , , , , , hiszen az háromszög belső pontja. Ehhez már csak azt kell hozzátennünk, hogy a , , forgásszögek mindegyike kisebb -nál, pl. -t és -t a forgó félegyenes azon két helyzete között lépi át, amelyekben párhuzamos -vel. ‐ Ezzel a bizonyítást befejeztük. Megjegyzések. 1. Többen a következő lépésekben bizonyították az állítást: 1. a és háromszögek egybevágók úgy, hogy csúcsaik a felsorolás rendjében felelnek meg egymásnak; 2. e két háromszög körüljárása egyező (mert egyezik az , , körüljárással). Ennyi valóban elegendő ahhoz, hogy a sík bármely két háromszöge átfordítható legyen egymásba. Esetünkben viszont sok is, mert jelentősen könnyít az, hogy a pont ugyanazon a körön van rajta. 2. Nem látszik ki a fönti megoldásból, honnan sejtettük meg, hogy a beírt kör középpontja lesz a keresett forgási középpont. Ezt pótoljuk. A szerkesztés szerint az és félegyeneseken , ezért és egymás tükörképei a szög felezőjére, és ugyanez következik -re és -re -ből. Ezek következtében , , és egy szimmetrikus, vagyis körbe írt trapéz pontjai, csak ennek a körnek (az -en levő) középpontja lehet a megoldás. Hasonlóan adódik és figyelembevételével, hogy a forgási centrum az háromszög még egy szögfelezőjén is rajta van. |
|