Введение
Если круговой конус (или цилиндр) рассечь плоскостью и вписать сферы, касательные к конусу и плоскости сечения, то точки касания сфер с секущей плоскостью являются точками фокусов сечения. Это известное положение теоремы Ж. Данделена (1794–1847) является основой доказательства возникновения коник (эллипса, гиперболы, параболы) как плоских сечений кругового конуса [1].
Определение конических сечений по сфере Данделена введено в курс начертательной геометрии Н.Ф. Четверухиным [2]. На этом положении основан раздел конических сечений (коник) в базовом курсе начертательной геометрии [2; 5; 7]. Однако доказательство возникновения коник и их примеры приводят только для конуса вращения (рис. 1). Центры сфер s1, s2 располагаются на оси конуса как на биссектрисе угла при вершине. Доказательство, полученное Данделеном, что точки касания F1, F2 являются точками фокусов сечения, образованного секущей плоскостью Σ, в данном примере эллипса e′, основано на существовании прямолинейных образующих конуса. Из конструкции Данделена также следует, что линии пересечения плоскостей Σ1, Σ2 касания сфер с конусом и плоскости Σ являются директрисами коники сечения, в данном примере директрисами d1, d2 .
Для других поверхностей вращения второго порядка (далее — произвольных квадрик вращения, ПКВ) качественные свойства сечений подразумеваются по аналогии с конусом на основе общности квадрик.
О сферах Данделена для ПКВ найдено упоминание лишь в работе М. Шаля [10], где сказано, что Данделен развил свою теорему и на случай однополостного гиперболоида, а сам Шаль рассмотрел общий случай для ПКВ. Но эти положения приведены со ссылкой на недоступные работы ориентировочно 1820 г., содержание которых неизвестно.
Единственное доказательное рассуждение существования сфер Данделена для ПКВ найдено в работе [6]. Однако вывести из него алгоритм построения сфер для ПКВ не удается.
В экспериментальном плане задача о нахождении сфер Данделена для ПКВ является частным случаем задачи о нахождения коники (окружности), касательной к двум заданным коникам (очеркам ПКВ), алгоритм которой приведен в работе [8].
