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. Nem létezik ilyen sokszög. Tegyük fel, hogy az sokszög szimmetriaközéppontja , egyetlen szimmetriatengelye pedig Megmutatjuk, hogy rajta van a egyenesen. Ha nem így volna, akkor a tengely -ra vonatkozó tükörképe különbözne -től, ami lehetetlen, mivel is szimmetriatengelye -nek. Ezt az utóbbi (nyilvánvalónak tetsző) tényt a következőképpen igazolhatjuk: Legyen a sík tetszőleges pontja. Jelölje -nek -ra vonatkozó tükörképét , ezt -re tükrözve kapjuk a pontot, amelynek -ra vonatkozó tükörképe A szakasz -ra vonatkozó tükörképe nyilván a szakasz. Így, mivel felező merőlegese , ezért felező merőlegese . Ez azt jelenti, hogy a tengelyre való tükrözés éppen az -ra, -re majd ismét -ra történő tükrözések egymásutánja, és így -et önmagában viszi. Jelölje azt az egyenest, amely -re merőleges és átmegy az ponton. Az -re és -re való tükrözések egymásutánja a pontra való tükrözés, amely önmagába viszi -et. Az sokszög tehát önmagába megy át annál a transzformációsorozatnál is, ahol egymás után tükrözünk az egyenesekre. Az így kapott leképezés viszont pontosan az -re való tükrözés, hiszen a tengelyre történt két, egymás utáni tükrözés eredménye helyben hagyás. Az egyenes tehát szintén szimmetriatengelye -nek, ez pedig ellentmondás.
Megjegyzés. Nem kaptak teljes pontszámot azok a megoldók, akik eleve feltették, hogy az pont illeszkedik -re. Ez korlátos alakzatok esetén igaz, más esetekben azonban nem feltétlenül van így. Például, két párhuzamos egyenes által határolt síkrésznek 1-nél több (sőt, végtelen sok) szimmetriatengelye és szimmetriaközéppontja van, így ezek nem lehetnek valamennyien illeszkedők.
|