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 síknak egy önmagára való leképezése olyan függvény, amely a sík minden pontjához hozzárendeli a sík valamely pontját. Bizonyítandó, hogy ha az leképezésnek megvan az a tulajdonsága, hogy minden egységnyi hosszúságú szakasz végpontjaihoz olyan , pontokat rendel, amelyek egymástól egységnyi távolságra vannak, akkor tetszőleges pontpár , képeinek távolsága egyenlő a szakasz hosszával. |