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. Jelöljük a szakaszok végpontjait , , , -vel az ábra szerint. A -t az -ba vivő forgatás fixpontja az szakasz felezőmerőlegesén van. Hasonlóképpen -t a -be vivő forgatás fixpontja a szakasz felezőmerőlegesén van. Mivel e két felezőmerőleges nem lehet párhuzamos egymással, van egy közös pontjak, . Azt állítjuk, hogy a körüli -os forgatás a szakaszt átviszi -be. Az háromszög egybevágó a háromszöggel, hiszen 3 oldaluk hossza megegyezik (, , ), s így valóban körül elforgatva fedésbe hozhatók, s mivel , a forgatás szöge . Van tehát a síkon olyan pont, amely körül a két egyenlő hosszúságú szakasz egymásba forgatható.
|