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. Jelöljük a , , pontokat , , -vel. Ez az ,,összeadás'' nem kommutatív, például az pont nem azonos -fel, hanem annak az szakasz felezőpontjára vonatkozó tükörképe: az , szakaszok rendre az szakasz -os elforgatásával keletkeznek, de az első esetben körül, a másodikban körül forgatunk (1. ábra).
1. ábra
Elforgathatjuk az szakaszt körül is -kal, ekkor külön el kell forgatnunk az csúcsot körül, így éppen -t kapjuk, és külön forgatni kell körül -t, amikoris -t kapjuk. Mivel a különböző centrumú forgatások párhuzamos és egyállású eredményre vezetnek, -t -ból a -t -be vivő eltolással is megkaphatjuk. Ez viszont -ból az -et -be vivő eltolással kapható meg, így végül is azt kaptuk, hogy az -et -be vivő eltolás -t -be viszi. Ámde ekkor és az szakasz felezőpontjára nézve szimmetrikusan helyezkedik el, és ez épp az, amit bizonyítanunk kellett.
II. megoldás. A sík tetszőleges pontjába mutató helyvektorokat jelöljük rendre a megfelelő kisbetűvel. (A helyvektor olyan vektor, melynek kezdőpontja a sík egy rögzített pontja.) A művelet eredménye a szakasz felezőpontja, s így a vektorok összeadási szabályai szerint ennek a pontnak az vektor felel meg (2. ábra).
2. ábra
Jelentse azt a vektort, amelyet úgy kapunk meg, hogy az vektort pozitív (az óramutató járásával ellentétes) irányba elfordítjuk -kal. Így a pontba mutató helyvektor alakba írható (3. ábra). Ezek felhasználásával írjuk fel az (1) alatti műveletek eredményeihez tartozó helyvektorokat.
3. ábra
A bal oldal helyvektorának a kétszerese a jobb oldal helyvektorának a kétszerese Azt kell igazolnunk, hogy ez a két vektor egyenlő. Ehhez elég azt belátnunk, hogy ahol , és egy háromszög három oldalának vektorai, mégpedig úgy, hogy az első kettő összege éppen a harmadik. De ebből következik, hogy igaz az egyenlőség, mert két oldal -os elforgatottjának összege egyenlő az összeg -os elforgatottjával. Ezzel igazoltuk az (1) egyenlet helyességét.
Megjegyzések 1. Az I. megoldás szerint dolgozók úgy fejezték be megoldásaikat, hogy az , , , pontok paralelogrammát határoznak meg, tehát a szemközti csúcsokat összekötő szakaszok felezőpontjai egybeesnek. Ez igaz, és megoldásaikat ponttal értékeltük. De megjegyezzük, hogy a megoldásuk hiányos, hiszen nem foglalkoztak azokkal az esetekkel, mikor e négy pont egy egyenesbe esik, pl. ha , , egy szabályos háromszög csúcsai (4. ábra).
4. ábra
2. A megoldók egy része a forgásirányt rosszul értelmezte, és olyan szabályos háromszöget szerkesztett, melynek körüljárási iránya megegyezett az óramutató járásával, azaz negatív. A feladat állítása így is igaz, s a bizonyítás hasonlóan megy, ezért az ő megoldásaikat is elfogadtuk. |