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. Adott a síkon egy kör, a körön kívül fekvő egyenes, továbbá a körön egy pont. Definiáljuk a kör pontjain a kétváltozós műveletet a következőképpen. A kör bármely , pontpárjára jelöljük -nal és az egyenes metszéspontját. (Ha , akkor az egyenes az érintő. Ha a két egyenes párhuzamos, akkor az ideális pontja.) Szerkesszük meg az egyenes és a kör másik metszéspontját. (Ha érinti a kört, akkor a másik metszéspont is .) Ez a pont legyen .
Mutassuk meg, hogy a művelet kiterjeszthető a kör és az egyenes összes, valamint ideális pontjára úgy, hogy a pontok a művelettel kommutatív csoportot alkossanak, amelynek egységeleme az pont, azaz teljesüljenek a következő feltételek: Tetszőleges , , -re ; Tetszőleges , esetén ; Tetszőleges -re ; Tetszőleges -hez létezik olyan , amelyre . |