Математические байки – Telegram
Математические байки
4.3K subscribers
1.44K photos
15 videos
27 files
914 links
Рассказы про разную математику.

Архив: http://dev.mccme.ru/~merzon/mirror/mathtabletalks/
Download Telegram
Ответ — нужно взять однополостный гиперболоид, на котором эти три прямые лежат. На однополостном гиперболоиде любая прямая одного семейства пересекает почти все прямые другого семейства — кроме одной, которой она параллельна (и которая получается симметрией относительно центра гиперболоида).
А если ещё к пространству — и к гиперболоиду — добавить "бесконечно удалённые точки" (договорившись, что добавляется по одной точке для каждого направления, и что через эту точку проходят все параллельные прямые этого направления), то и вообще любая прямая одного семейства пересекает все прямые другого (просто одну — на бесконечности).
А нет ли других прямых, которые данные три пересекают?
Нет: ведь три прямые 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, проходящих через начало координат.
Понятно, что это « проективная геометрия в двух словах » — а нормально её можно почитать, например, в Куранте-Робинсоне, см. главу 4: http://ilib.mccme.ru/pdf/kurant.pdf
Так вот: давайте рассмотрим уже не проективную плоскость, а проективное пространство; точно так же, это множество прямых, проходящих через начало координат в R^4.
Прямая в проективном пространстве это плоскость в R^4. Две прямые скрещиваются, если соответствующие им плоскости пересекаются только по началу координат. И, наоборот, пересекаются, если у плоскостей есть нетривиальное пересечение.