在非歐幾何里完全可以成立。
具體到圖中,射影幾何規(guī)定平行線交于無窮遠(yuǎn)點(diǎn),因?yàn)闊o窮遠(yuǎn)點(diǎn)經(jīng)過射影變換投射到視平面上確實(shí)表現(xiàn)為具體的一個(gè)點(diǎn),引入無窮遠(yuǎn)點(diǎn)可以為定義和計(jì)算帶來方便。