§ 8. Конические сечения и квадрики

1. Элементарная метрическая геометрия конических сечений.

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

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

в окружность.) Гипербола определяется как геометрическое место таких точек Р на плоскости, что абсолютное значение разности равно одной и той же постоянной величине. Парабола определяется как геометрическое место точек Р, расстояние которых от данной точки равно расстоянию от данной прямой

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

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

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

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

Мы уже отметили, что если плоскость пересекает только одну «полость» прямого кругового конуса, то пересечение Е представляет собой эллипс. Нетрудно установить, что кривая Е удовлетворяет обыкновенному фокальному определению эллипса, которое было сформулировано

Рис. 94. Конические сечения

Рис. 95. Сферы Данделена

выше. Приведем очень простое и элегантное доказательство, данное в 1822 г. бельгийским математиком Данделеном. Представим себе две сферы (рис. 95), которые касаются плоскости сечения соответственно в точках и, кроме того, касаются конуса вдоль параллельных кругов Взяв произвольную точку Р кривой Е, проведем отрезки Затем рассмотрим отрезок соединяющий точку Р с вершиной конуса этот отрезок целиком лежит на поверхности конуса; обозначим через точки его пересечения с кругами Так как две касательные, проведенные из точки Р к одной и той же сфере то

Точно так же

Складывая эти равенства, мы получаем:

Но есть расстояние между параллельными кругами на поверхности конуса: оно не зависит от выбора точки Р

на кривой Е. Отсюда следует, что, какова бы ни была точка Р на Е, имеет место равенство

а это и есть фокальное определение эллипса. Итак, Е есть эллипс, его фокусы.

Упражнение. Если плоскость пересекает обе «полости» конуса, то кривая пересечения — гипербола. Доказать это утверждение, помещая по одной сфере в каждой из «полостей» конуса.