3. Конические сечения как «линейчатые кривые».

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

Рис. 100. Окружность как совокупность касательных

Доказательство этой теоремы весьма просто. Так как любое коническое сечение есть проекция окружности и так как в теореме идет речь только о таких свойствах, которые инвариантны относительно проектирования, то, чтобы доказать теорему в общем случае, достаточно доказать ее для частного случая окружности.

Для этого же частного случая теорема доказывается средствами элементарной геометрии. Пусть четыре точки на окружности касательные в этих точках; Т — еще какая-нибудь точка на окружности, о — касательная в ней; пусть, далее, точки пересечения касательной о с касательными Если М —

центр окружности, то, очевидно, и последнее выражение представляет угол, вписанный в К, опирающийся на дугу Таким же образом представляет угол, вписанный в К и опирающийся на дугу Следовательно,

где обозначает угол, вписанный в К и опирающийся на дугу Отсюда видно, что А, В, С, D проектируются из М четырьмя прямыми, углы между которыми имеют величины, зависящие только от положения точек Но тогда двойное отношение зависит только от четырех касательных а, b, с, d, но не от касательной о. Как раз это и нужно было установить.

Рис. 101. Свойство касательной к окружности

Рис. 102. Проективные ряды точек на двух касательных к эллипсу

В предыдущем пункте мы имели случай убедиться, что коническое сечение может быть построено «по точкам», если станем отмечать точки пересечения взаимно соответствующих прямых двух пучков, между которыми установлено проективное соответствие. Только что доказанная теорема дает нам возможность сформулировать двойственную теорему. Возьмем две касательные а и а к коническому сечению К. Третья касательная пусть пересекает а и а соответственно в точках !. Если будет перемещаться вдоль кривой, то установится соответствие

между точками а и точками а. Это соответствие будет проективным, так как по доказанной теореме произвольная четверка точек на а будет непременно иметь тоже двойное отношение, что и соответствующая четверка точек на а. Отсюда следует, что коническое сечение К, рассматриваемое как «совокупность своих касательных», «состоит» из прямых, соединяющих взаимно соответствующие точки двух точечных рядов на а и на а, находящихся в проективном соответствии. Указанное обстоятельство позволяет ввести новое определение конических сечений, рассматриваемых на этот раз как «линейчатые кривые». Сравним это определение с прежним проективным определением конического сечения, данным в предыдущем пункте:

(см. скан)

Если мы станем считать касательную к коническому сечению в некоторой его точке двойственным элементом по отношению к самой точке и условимся, кроме того, «линейчатую кривую» (образованную совокупностью касательных) на основе двойственности сопоставлять «точечной кривой» (образованной совокупностью точек), то предыдущие формулировки будут безупречны с точки зрения принципа двойственности. При «переводе» одной формулировки в другую с заменой всех Понятий соответствующими двойственными понятиями, «коническое

сечение» остается неизменным: но в одном случае оно мыслится как «точечная кривая», определяемая своими точками, в другом — как «линейчатая кривая», определяемая своими касательными.

Рис. 103. Парабола, определенная конгруэнтными точечными рядами

Рис. 104. Парабола, определенная подобными точечными рядами

Из предыдущего вытекает важное следствие: принцип двойственности, первоначально установленный в проективной геометрии плоскости только для точек и прямых, оказывается, может быть распространен и на конические сечения. Если в формулировке любой теоремы, касающейся точек, прямых и конических сечений, заменить каждый элемент ему двойственным (не упуская из виду, что точке конического сечения должна быть сопоставляема касательная к этому коническому

сечению), то в результате также получится справедливая теорема. Пример действия этого принципа мы встретим в пункте 4 настоящего параграфа.

Построение конических сечений, понимаемых как «линейчатые кривые», показано на рис. 103-104. В частности, если в двух проективных точечных рядах бесконечно удаленные точки соответствуют взаимно одна другой (так будет непременно, если точечные ряды конгруэнтны или подобны), то коническое сечение будет параболой; справедливо и обратное утверждение.

Упражнение. Доказать обратную теорему: на двух неподвижных касательных к параболе движущаяся касательная к параболе определяет два подобных точечных ряда.

Рис. 105. Общая конфигурация Паскаля. Показаны два случая: один для шестиугольника 1, 2, 3, 4, 5, 6, другой для шестиугольника 1, 3, 5, 2, 6, 4