Valaki megtudja nekem mutatni azt, hogy a Moulton-féle sík miért teljesíti a projektív axiómákat?

Most csak néhány gondolat:

A nehéz rész az összekötő egyenesek és a metszéspontok meghatározása azokban az esetekben, amikor az egyik vagy mindkét egyenes megtörik az y tengelyen.

Ha két pontot összekötsz a két oldalon úgy, hogy a bal van magasabban, akkor az összekötő egyenes megtörik. Készíts ábrát úgy, hogy az euklideszi metszéspont és a Moulton-egyenes által kialakított háromszög jól látható legyen! Tudjuk, hogy a töréspont az y tengelyen van, így tudjuk, hogy milyen arányban osztja az euklideszi távolságot. Fölötte van a Moulton-tengelymetszet, na de mennyire?

Bizonyítás angolul:

[link]