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

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

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

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

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

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

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

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

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

${\displaystyle (k_{1}+k_{2}+k_{3}+k_{4})^{2}=2\,(k_{1}^{2}+k_{2}^{2}+k_{3}^{2}+k_{4}^{2}).}$ (1)

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

${\displaystyle k_{4}=k_{1}+k_{2}+k_{3}\pm 2{\sqrt {k_{1}k_{2}+k_{2}k_{3}+k_{3}k_{1}}}.}$ (2)

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

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

Здесь все три окружности касаются друг друга в одной точке и теорема Декарта неприменима.

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

${\displaystyle k_{4}=k_{1}+k_{2}\pm 2{\sqrt {k_{1}k_{2}}}.}$ (3)

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

${\displaystyle \displaystyle k_{4}=k_{1}.}$

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

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

${\displaystyle (v^{2}+x^{2}+y^{2}+z^{2})^{2}=2\,(v^{4}+x^{4}+y^{4}+z^{4})}$

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

${\displaystyle (2vx)^{2}+(2yz)^{2}=\,(v^{2}+x^{2}-y^{2}-z^{2})^{2}}$

${\displaystyle (2vy)^{2}+(2xz)^{2}=\,(v^{2}-x^{2}+y^{2}-z^{2})^{2}}$

${\displaystyle (2vz)^{2}+(2xy)^{2}=\,(v^{2}-x^{2}-y^{2}+z^{2})^{2}}$

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

${\displaystyle (-v^{2}+x^{2}+y^{2}+z^{2})^{2}=2\,(v^{4}+x^{4}+y^{4}+z^{4})}$

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

${\displaystyle [v,x,y,z]=\,[2(ab-cd)(ab+cd),(a^{2}+b^{2}+c^{2}+d^{2})(a^{2}-b^{2}+c^{2}-d^{2}),2(ac-bd)(a^{2}+c^{2}),2(ac-bd)(b^{2}+d^{2})]}$,

где

${\displaystyle a^{4}+b^{4}=\,c^{4}+d^{4}}$.

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

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

${\displaystyle (k_{1}z_{1}+k_{2}z_{2}+k_{3}z_{3}+k_{4}z_{4})^{2}=2\,(k_{1}^{2}z_{1}^{2}+k_{2}^{2}z_{2}^{2}+k_{3}^{2}z_{3}^{2}+k_{4}^{2}z_{4}^{2}).}$ (4)

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

${\displaystyle z_{4}={\frac {z_{1}k_{1}+z_{2}k_{2}+z_{3}k_{3}\pm 2{\sqrt {k_{1}k_{2}z_{1}z_{2}+k_{2}k_{3}z_{2}z_{3}+k_{1}k_{3}z_{1}z_{3}}}}{k_{4}}}.}$

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

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

${\displaystyle \left(\sum _{i=1}^{n+2}k_{i}\right)^{2}=n\,\sum _{i=1}^{n+2}k_{i}^{2}}$

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

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

• Окружность Форда
• Сетка Аполлония
• Шестёрка сфер Содди
• Касательные прямые к окружности
• Изопериметрическая точка

• Interactive applet demonstrating four mutually tangent circles at cut-the-knot
• The Kiss Precise
• XScreenSaver: Screenshots :: An XScreenSaver display hack visualizes Descartes’ theorem, in hack «Apollonian».
• Jeffrey C. Lagarias, Colin L. Mallows, Allan R. Wilks: Beyond The Descartes Circle Theorem
• Шарыгин И. Ф., Шторгин М. И. Кто открыл формулу Содди? Математика в школе № 02-03. 1992. С.31-33