Теорема Кейси

$t_{12}\cdot t_{34}+t_{14}\cdot t_{23}=t_{13}\cdot t_{24}.$

Теорема Кейси или Кэзи — теорема в евклидовой геометрии, обобщающая неравенство Птолемея. Названа по имени ирландского математика Джона Кейси.

Формулировка

Пусть $O$ — окружность радиуса $R$. Пусть $O_1,O_2,O_3,O_4$ — (в указанном порядке) четыре непересекающихся окружности, лежащие внутри $O$ и касающиеся её. Обозначим через $t_{ij}$ длину отрезка между точками касания внешней общей касательной окружностей $O_i,O_j$. ТогдаШаблон:Sfn:

$t_{12}\cdot t_{34}+t_{14}\cdot t_{23}=t_{13}\cdot t_{24}.$

В вырожденном случае, когда все четыре окружности сводятся к точкам (окружности радиуса 0), получается в точности теорема Птолемея.

Замечания

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

Теорема Кэйси

При этом выполняется обычная формула теоремы Кэйси:

$t_{\alpha \beta }{t}_{\gamma \delta }+t_{\beta \gamma }{t}_{\delta \alpha }=t_{\alpha \gamma }{t}_{\beta \delta }$.

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

Доказательство

Следующее доказательство принадлежит (согласно БоттемаШаблон:Sfn) ЦахариасуШаблон:Sfn. Обозначим радиус окружности $O_i$ через $R_i$, а точку касания с окружностью $O$ через $K_i$. Будем использовать обозначения $O,O_i$ для центров окружностей. Заметим, что из теоремы Пифагора следует

$t_{ij}^2=\stackrel{2}{\stackrel{‾}{O_i{O}_j}}-(R_i-R_j{)}^2.$

Попробуем выразить длины через точки $K_i,K_j$. По теореме косинусов в треугольнике $O_{i}O{O}_j$,

$\stackrel{2}{\stackrel{‾}{O_i{O}_j}}=\stackrel{2}{\stackrel{‾}{O{O}_i}}+\stackrel{2}{\stackrel{‾}{O{O}_j}}-2\overline{O{O}_i}\cdot \overline{O{O}_j}\cdot \cos \mathrm{\angle }{O}_{i}O{O}_j$

Поскольку окружности $O,O_i$ касаются,

$\overline{O{O}_i}=R-R_i,\mathrm{\angle }{O}_{i}O{O}_j=\mathrm{\angle }{K}_{i}O{K}_j$

Пусть $C$ — точка на окружности $O$. Согласно теореме синусов в треугольнике $K_{i}C{K}_j$

$\overline{K_i{K}_j}=2R\cdot \sin \mathrm{\angle }{K}_{i}C{K}_j=2R\cdot \sin \frac{\mathrm{\angle }{K}_{i}O{K}_j}{2}$

Так что,

$\cos \mathrm{\angle }{K}_{i}O{K}_j=1-2{\sin }^2\frac{\mathrm{\angle }{K}_{i}O{K}_j}{2}=1-2\cdot {\left(\frac{\overline{K_i{K}_j}}{2R}\right)}^2=1-\frac{\stackrel{2}{\stackrel{‾}{K_i{K}_j}}}{2R^2}$

и после подстановки полученного выражения в формулу выше,

$\stackrel{2}{\stackrel{‾}{O_i{O}_j}}=(R-R_i{)}^2+(R-R_j{)}^2-2(R-R_i)(R-R_j)(1-\frac{\stackrel{2}{\stackrel{‾}{K_i{K}_j}}}{2R^2})$

$\stackrel{2}{\stackrel{‾}{O_i{O}_j}}=(R-R_i{)}^2+(R-R_j{)}^2-2(R-R_i)(R-R_j)+(R-R_i)(R-R_j)\cdot \frac{\stackrel{2}{\stackrel{‾}{K_i{K}_j}}}{R^2}$

$\stackrel{2}{\stackrel{‾}{O_i{O}_j}}=((R-R_i)-(R-R_j){)}^2+(R-R_i)(R-R_j)\cdot \frac{\stackrel{2}{\stackrel{‾}{K_i{K}_j}}}{R^2}$

Наконец, искомая длина

$t_{ij}=\sqrt{\stackrel{2}{\stackrel{‾}{O_i{O}_j}}-(R_i-R_j{)}^2}=\frac{\sqrt{R-R_i}\cdot \sqrt{R-R_j}\cdot \overline{K_i{K}_j}}{R}$

Теперь можно преобразовать левую часть с помощью теоремы Птолемея применительно к вписанному четырёхугольнику $K_1{K}_2{K}_3{K}_4$:

$t_{12}{t}_{34}+t_{14}{t}_{23}=\frac{1}{R^2}\cdot \sqrt{R-R_1}\sqrt{R-R_2}\sqrt{R-R_3}\sqrt{R-R_4}(\overline{K_1{K}_2}\cdot \overline{K_3{K}_4}+\overline{K_1{K}_4}\cdot \overline{K_2{K}_3})$

$=\frac{1}{R^2}\cdot \sqrt{R-R_1}\sqrt{R-R_2}\sqrt{R-R_3}\sqrt{R-R_4}(\overline{K_1{K}_3}\cdot \overline{K_2{K}_4})=t_{13}{t}_{24}$

Вариации и обобщения

Можно показать, что четыре окружности не обязательно должны лежать внутри большой окружности. Фактически, они могут также касаться её и снаружи. В этом случае следует сделать следующие измененияШаблон:Sfn:

Если $O_i,O_j$ касаются $O$ с одной стороны (обе изнутри или обе снаружи), $t_{ij}$ — длина отрезка внешних касательных.

Если $O_i,O_j$ касаются $O$ с разных сторон (одна изнутри, другая снаружи), $t_{ij}$ — длина отрезка внутренних касательных.

Обратное утверждение теореме Кейси также верноШаблон:Sfn. Таким образом, если равенство выполняется, окружности касаются.

Например, для рис. ниже имеем: $t_{\alpha \beta }{t}_{\gamma \delta }+t_{\beta \gamma }{t}_{\delta \alpha }=t_{\alpha \gamma }{t}_{\beta \delta }$.

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

Как располагается пара окружностей относительно одного из двух возможных типов проведенных к ним общих касательных можно узнать по значению их инверсного расстояния I, которое может принимать 3 значения: 0, +1 и -1.

Приложения

Теорему Кейси и ей обратную можно использовать для доказательства различных утверждений евклидовой геометрии. Например, самое короткое известное доказательствоШаблон:Sfn теоремы Фейербаха использует обратную теорему Кейси.

Литература

• Шаблон:Статья
• Шаблон:Статья
• Шаблон:Книга
• Шаблон:Книга

Ссылки

• Шаблон:MathWorld
• Shailesh Shirali: On a generalized Ptolemy TheoremШаблон:Недоступная ссылка