Теорема Декарта (геометрия)

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

ИсторияПравить

Геометрические задачи на касающиеся окружности обсуждались в течение тысячелетий. В древней Греции в III веке до нашей эры Аполлоний Пергский посвятил целую книгу этой теме. К сожалению, книга, носившая название О касаниях, не сохранилась, погибнув при пожаре Александрийской библиотеки.

Рене Декарт обсуждал задачу кратко в 1643 году в письме принцессе Елизавете Богемской. Он пришёл совершенно к тому же решению, что приведено ниже в уравнении (1), и тем самым вписал своё имя в теорему.

Фредерик Содди повторно открыл уравнение в 1936 году. Касающиеся окружности в этой задаче иногда упоминаются как Окружности Содди, возможно потому, что Содди выбрал публикацию своей версии теоремы в виде поэмы, озаглавленной The Kiss Precise (Аккуратный поцелуй), который напечатан в журнале Nature (20 июня 1936). Содди обобщил теорему на сферы. Торольд Госсет обобщил теорему на произвольные размерности.

Более древняя историяПравить

Взгляд Игоря Шарыгина[1]: В течение большей части периода Эдо (1603—1867) Япония находилась почти в полной изоляции от западного мира и развивалась своими путями, без влияния западных цивилизаций. Однако это не помешало развитию японской науки, в частности математики. Особенно процветала геометрия. Японцы полагали, что искусство геометрии угодно Богу. Ею увлекались представители всех сословий, от крестьян до самураев. Свои открытия, теоремы они изображали яркими цветными красками на досках — сангаку — и вывешивали при храмах — большей частью синтоистских, реже буддистских — и усыпальницах. Эти доски являлись одновременно и приношением почитаемому божеству, и «публикацией» автора о сделанном им красивом открытии. Словесные пояснения почти отсутствовали. Автор как бы говорил: «Смотри и, если сможешь, докажи!»… Прекрасные задачи и теоремы, собранные в книге «Японская храмовая геометрия» — это своеобразное «исчисление окружностей», «гимн окружности». Среди них находим не только формулу Содди, но и её обобщение на трёхмерный случай. Первое упоминание о соотношении между радиусами окружностей появилось на доске (сангаку) в 1796 году в Токийской префектуре, полное доказательство было опубликовано в 1830-м. Интересно, что пример, показывающий связь между радиусами пяти соприкасающихся сфер, был описан на доске, найденной там же, а позднее утерянной, уже в 1785 году. В середине XIX столетия в Японии было опубликовано полное доказательство «обобщённой формулы для пяти соприкасающихся шаров»…

Определение кривизныПравить

 
Касающиеся окружности. Если даны три взаимно касающиеся окружности (чёрные), какой радиус может иметь четвёртая касающаяся окружность? В общем случае имеется два возможных ответа (красные).

Теорему Декарта проще всего сформулировать в терминах кривизны окружностей. Кривизна окружности определяется как k = ±1/r, где r — её радиус. Чем больше окружность, тем меньше величина её кривизны, и наоборот.

Знак плюс в k = ±1/r ставится, если окружность имеет внешнее касание к другой окружности, как три чёрных окружности на рисунке. Для касающихся окружностей внутренне, как большая красная окружность на рисунке, которая описывает остальные окружности, ставится знак минус.

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

Если четыре окружности касаются друг друга в шести различных точках и окружности имеют кривизны ki (для i = 1, …, 4), теорема Декарта утверждает[2]:

  (1)

Если пытаться отыскать радиус четвёртой окружности, касающейся трёх касающихся друг друга окружностей, уравнение лучше записать в виде:

  (2)

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

Специальные случаиПравить

 
Одна из окружностей заменена прямой (с нулевой кривизной). Теорема Декарта остаётся верной.
 
Здесь все три окружности касаются друг друга в одной точке и теорема Декарта неприменима.

Если одну из окружностей заменить на прямую линию, то одно из чисел ki, скажем, k3, будет нулевым и выпадает из уравнения (1). Уравнение (2) становится много проще:

  (3)

Если две окружности заменить прямыми, касание между двумя окружностями заменяется параллельностью двух прямых. Две другие оставшиеся окружности должны быть равны. В этом случае, с k2 = k3 = 0, уравнение (2) становится тривиальным

 

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

Ещё один специальный случай — когда ki являются квадратами,

 

Эйлер показал, что эквивалентно тройке пифагоровых троек,

 
 
 

и может быть задано параметрическое представление. Если выбрать отрицательный знак кривизны,

 

уравнение можно представить в виде хорошо известного параметрического решения[3],

 ,

где

 .

Комплексная теорема ДекартаПравить

Для определения окружности полностью нужно знать не только её радиус (или кривизну), но нужно ещё знать и её центр. Соответствующее уравнение лучше всего написать, когда координаты (xy) представлены в виде комплексного числа z = x + iy. Уравнение тогда выглядит подобно уравнению в теореме Декарта и поэтому называется комплексной теоремой Декарта.

Если даны четыре окружности с кривизнами ki и центрами zi (i = 1…4), вдобавок к равенству (1) выполняется следующее равенство:

  (4)

После того, как k4 будет найдено при помощи равенства (2), можно начать вычисление z4 путём изменения уравнения (4) к виду, похожему на (2):

 

Снова, в общем случае, имеется два решения для z4, соответствующие двум решениям для k4.

ОбобщенияПравить

Обобщение для n-мерного пространства иногда упоминается как теорема Содди-Госсе, хотя это сделано уже в 1886 Лахланом (R. Lachlan). В n-мерном евклидовом пространстве максимальное число взаимно касающихся (n — 1)-мерных сфер равно n + 2. Например, в 3-мерном пространстве могут взаимно касаться пять сфер. Кривизны гиперсфер удовлетворяют уравнению

 

и случай ki = 0 соответствует гиперплоскости, точно как в двумерном случае.

Хотя нет 3-мерных аналогов комплексным числам, связь между местоположениями центров можно представить в виде матричных уравнений[4].

См. такжеПравить

ПримечанияПравить

  1. Василенко А. А. СЕРЕНАДА МАТЕМАТИКЕ (недоступная ссылка) / МАТЕМАТИКА. ВСЁ ДЛЯ УЧИТЕЛЯ! № 9 (21)|сентябрь 2012 °C. 45-46.
  2. Формулу (1) иногда называют теоремой Содди. Он ей посвятил небольшую поэму.
  3. A Collection of Algebraic Identities: Sums of Three or More 4th Powers
  4. Jeffrey C. Lagarias, Colin L. Mallows, Allan R. Wilks. Beyond the Descartes Circle Theorem // The American Mathematical Monthly. — April 2002. — Т. 109, вып. 4. — С. 338–361.

СсылкиПравить