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. Nyilván fel kell tennünk, hogy különbözik az , , pontoktól, különben , , nincs meghatározva. Párhuzamos egyenesek metszéspontját szokásos módon ideális, végtelen távoli pontként értelmezve, kiterjeszthető a feladat állítása, ezt az általános alakot bizonyítjuk. Jelöljük -nek a , , egyenesekkel alkotott metszéspontját rendre -gal, -gal, -gal. Irányítsuk tetszőlegesen a , , és egyeneseket, és jelöljük -nek, -nak, -nek -re vonatkozó tükörképét -gal, -gal, -gal. Menelaosz tétele szerint abból, hogy , , egy egyenesen vannak, következik, hogy és ha belátjuk, hogy ebből következik, hogy , , is egy egyenesen vannak. Elég tehát belátni, hogy | | (1) | ahol például , és . (A felhasznált tételek és fogalmak megtalálhatók Hajós Gy.: Bevezetés geometriába c. könyvében.) Papposz tétele szerint (1) helyett elegendő belátnunk, hogy | | (2) | Jelöljük a irányított egyenest , , -be vivő forgatások nagyságát rendre , , -val, akkor a kettős viszony definíciója szerint
Ebből pedig közvetlenül következik a bizonyítandó (2) összefüggés. |