那些笑到肚子痛的沙雕图（￣▽￣）1054期

在非欧几何里完全可以成立。

具体到图中，射影几何规定平行线交于无穷远点，因为无穷远点经过射影变换投射到视平面上确实表现为具体的一个点，引入无穷远点可以为定义和计算带来方便。