Давно обещанная последняя часть этой истории.
Есть классический вопрос в геометрии: сколько прямых пересекают четыре заданных попарно скрещивающихся прямых в пространстве?
И есть два совершенно разных подхода к нему.

Первый — геометрический.
Оставим из четырёх прямых только три, и спросим себя — как устроены те прямые, которые их все пересекают? И что заметает их объединение?

Ответ — нужно взять однополостный гиперболоид, на котором эти три прямые лежат. На однополостном гиперболоиде любая прямая одного семейства пересекает почти все прямые другого семейства — кроме одной, которой она параллельна (и которая получается симметрией относительно центра гиперболоида).

А если ещё к пространству — и к гиперболоиду — добавить "бесконечно удалённые точки" (договорившись, что добавляется по одной точке для каждого направления, и что через эту точку проходят все параллельные прямые этого направления), то и вообще любая прямая одного семейства пересекает все прямые другого (просто одну — на бесконечности).

А нет ли других прямых, которые данные три пересекают?
Нет: ведь три прямые l_1, l_2, l_3 не имеют общих точек (даже на бесконечности — они ведь скрещивающиеся!), значит, любая прямая l, которая их всех пересекает, имеет хотя бы три общих точки с гиперболоидом.

А сам гиперболоид задаётся уравнением второго порядка. Ограничение которого на прямую — уравнение второго порядка с тремя различными корнями. То есть тождественный ноль.

Значит, любая прямая, которая пересекает l_1,l_2,l_3, обязана лежать на проходящем через них гиперболоиде. (И значит, это прямая из второго семейства.)
Остаётся вернуться к вопросу про четыре прямых.

Пусть прямая l пересекает l_1,l_2,l_3,l_4; посмотрим, где может лежать точка пересечения P прямой l с l_4.
С одной стороны, P должна быть на гиперболоиде, проходящем через l_1,l_2,l_3 (потому что l лежит там целиком). С другой — P лежит на l_4 по определению.

Значит, P это точка пересечения l_4 с этим гиперболоидом.
И каждый вариант точки пересечения даёт свою прямую l. Вот и геометрический ответ — что есть столько прямых, в скольки точках l_4 пересекает соответствующий гиперболоид. Типичным образом их две, как корней у квадратного уравнения (ограничения уравнения гиперболоида на эту прямую) — но они могут комплексными.

Второй подход — линейно-алгебраический; но для него мне сначала нужно будет сказать слова «проективная плоскость» и «проективное пространство». Заранее прошу прощения у тех, кто с ними уже хорошо знаком — несколько следующих сообщений можно пролистать, не читая.

Решая геометрическую задачу и разбирая случаи, «а что, если эти две прямые не пересекаются, а параллельны», часто бывает удобно сказать, что две параллельные прямые «пересекаются на бесконечности». То есть формально добавить к плоскости «точки на бесконечности», в которых они пересекутся. Таких точек будет по одной на каждое направление; а все вместе они образуют бесконечно удалённую прямую. И когда такое добавление сделано — то, например, любые две различные прямые пересекаются ровно в одной точке. А пополненная плоскость называется проективной.

Это хорошо, но неприятно, что точки теперь разделились на «конечные» и «на бесконечности»: в геометрии ведь хорошо то, что все точки равноправны. Так вот, оказывается, есть эквивалентное, но гораздо более «инвариантное» определение.

А именно: точка проективной плоскости это, по определению, прямая в трёхмерном пространстве, проходящая через начало координат.

Я помню, как когда-то на первом курсе меня это поразило — а сейчас, наоборот, кажется очень естественным. Ведь совершенно неважно, какие именно объекты выступают в качестве точек нашей геометрии, лишь бы аксиомы выполнялись. Пусть хоть слоны с крокодилами в зоопарке — лишь бы через любых двух крокодилов проходил ровно один слон.

Давайте теперь свяжем эти два подхода. А именно: если мы теперь возьмём плоскость z=1. С одной стороны, это обычная плоскость с обычной геометрией в ней. С другой, большинство прямых через начало координат в R^3 её пересекут в единственной точке — и вот и соответствие между прямыми и точками на плоскости. А те прямые, что плоскости параллельны — и будут бесконечно удалёнными точками.

(Иллюстрация отсюда —
https://www.mccme.ru/free-books/dubna/lvovski-developables.pdf )

И дальше всё продолжается очень естественно. Что такое прямая в проективной геометрии? Это плоскость, проходящая через начало координат. И действительно, почти любая плоскость на плоскости z=1 высечет прямую — а единственная, что ей параллельна, это z=0, и это как раз бесконечно удалённая прямая.

Две параллельные прямые (в плоскости z=1) действительно теперь (с точки зрения проективной геометрии) пересекаются в бесконечно удалённой точке — ибо соответствующие плоскости в R^3 пересекаются по прямой, параллельной им и проходящей через начало координат. А это и есть одна из бесконечно удалённых точек.

Равноправие точек обеспечивается тем, что можно взять не плоскость z=1, а, к примеру, плоскость x=1 или y=1 (или вообще любую, не проходящую через ноль). И бесконечно удалёнными станут уже другие точки; правда, расстояния и углы такой переход не сохранит.

Наконец, проективные преобразования плоскости получаются, если взять линейные преобразования пространства, и посмотреть, как они действуют на множестве прямых в R^3, проходящих через начало координат.