Главная
Теорема Кейси или Кэзи — теорема в евклидовой геометрии, обобщающая неравенство Птолемея. Названа по имени ирландского математика Джона Кейси.
Формулировка
Пусть O {displaystyle O} — окружность радиуса R {displaystyle R} . Пусть O 1 , O 2 , O 3 , O 4 {displaystyle O_{1},O_{2},O_{3},O_{4}} — (в указанном порядке) четыре непересекающихся окружности, лежащие внутри O {displaystyle O} и касающиеся её. Обозначим через t i j {displaystyle t_{ij}} длину отрезка между точками касания внешней общей касательной окружностей O i , O j {displaystyle O_{i},O_{j}} . Тогда:
t 12 ⋅ t 34 + t 14 ⋅ t 23 = t 13 ⋅ t 24 . {displaystyle t_{12}cdot t_{34}+t_{14}cdot t_{23}=t_{13}cdot t_{24}.}В вырожденном случае, когда все четыре окружности сводятся к точкам (окружности радиуса 0), получается в точности теорема Птолемея.
Замечания
Теорема Кейси справедлива для шести попарных касательных четырёх окружностей, касающихся одной общей окружности не только внутренним образом, как разобрано выше, но и внешним образом, как показано на рис. ниже.
При этом выполняется обычная формула теоремы Кэйси:
t α β t γ δ + t β γ t δ α = t α γ t β δ {displaystyle t_{alpha eta }t_{gamma delta }+t_{eta gamma }t_{delta alpha }=t_{alpha gamma }t_{eta delta }} .- В вырожденном случае, когда три из четырёх окружностей сводятся к точкам (окружности радиуса 0), и одна сторона четырёхугольника вырождается в точку, а три оставшиеся стороны четырёхугольника образуют равносторонний треугольник, получается в точности обобщённая теорема Помпею.
- В вырожденном случае, когда все четыре окружности сводятся к точкам (окружности радиуса 0), в последнем случае также получается теорема Птолемея.
Доказательство
Следующее доказательство принадлежит (согласно Боттема) Цахариасу. Обозначим радиус окружности O i {displaystyle O_{i}} через R i {displaystyle R_{i}} , а точку касания с окружностью O {displaystyle O} через K i {displaystyle K_{i}} . Будем использовать обозначения O , O i {displaystyle O,O_{i}} для центров окружностей. Заметим, что из теоремы Пифагора следует
t i j 2 = O i O j ¯ 2 − ( R i − R j ) 2 . {displaystyle t_{ij}^{2}={overline {O_{i}O_{j}}}^{2}-(R_{i}-R_{j})^{2}.}Попробуем выразить длины через точки K i , K j {displaystyle K_{i},K_{j}} . По теореме косинусов в треугольнике O i O O j {displaystyle O_{i}OO_{j}} ,
O i O j ¯ 2 = O O i ¯ 2 + O O j ¯ 2 − 2 O O i ¯ ⋅ O O j ¯ ⋅ cos ∠ O i O O j {displaystyle {overline {O_{i}O_{j}}}^{2}={overline {OO_{i}}}^{2}+{overline {OO_{j}}}^{2}-2{overline {OO_{i}}}cdot {overline {OO_{j}}}cdot cos angle O_{i}OO_{j}}Поскольку окружности O , O i {displaystyle O,O_{i}} касаются,
O O i ¯ = R − R i , ∠ O i O O j = ∠ K i O K j {displaystyle {overline {OO_{i}}}=R-R_{i},,angle O_{i}OO_{j}=angle K_{i}OK_{j}}Пусть C {displaystyle C} — точка на окружности O {displaystyle O} . Согласно теореме синусов в треугольнике K i C K j {displaystyle K_{i}CK_{j}}
K i K j ¯ = 2 R ⋅ sin ∠ K i C K j = 2 R ⋅ sin ∠ K i O K j 2 {displaystyle {overline {K_{i}K_{j}}}=2Rcdot sin angle K_{i}CK_{j}=2Rcdot sin {frac {angle K_{i}OK_{j}}{2}}}Так что,
cos ∠ K i O K j = 1 − 2 sin 2 ∠ K i O K j 2 = 1 − 2 ⋅ ( K i K j ¯ 2 R ) 2 = 1 − K i K j ¯ 2 2 R 2 {displaystyle cos angle K_{i}OK_{j}=1-2sin ^{2}{frac {angle K_{i}OK_{j}}{2}}=1-2cdot left({frac {overline {K_{i}K_{j}}}{2R}} ight)^{2}=1-{frac {{overline {K_{i}K_{j}}}^{2}}{2R^{2}}}}и после подстановки полученного выражения в формулу выше,
O i O j ¯ 2 = ( R − R i ) 2 + ( R − R j ) 2 − 2 ( R − R i ) ( R − R j ) ( 1 − K i K j ¯ 2 2 R 2 ) {displaystyle {overline {O_{i}O_{j}}}^{2}=(R-R_{i})^{2}+(R-R_{j})^{2}-2(R-R_{i})(R-R_{j})left(1-{frac {{overline {K_{i}K_{j}}}^{2}}{2R^{2}}} ight)} O i O j ¯ 2 = ( R − R i ) 2 + ( R − R j ) 2 − 2 ( R − R i ) ( R − R j ) + ( R − R i ) ( R − R j ) ⋅ K i K j ¯ 2 R 2 {displaystyle {overline {O_{i}O_{j}}}^{2}=(R-R_{i})^{2}+(R-R_{j})^{2}-2(R-R_{i})(R-R_{j})+(R-R_{i})(R-R_{j})cdot {frac {{overline {K_{i}K_{j}}}^{2}}{R^{2}}}} O i O j ¯ 2 = ( ( R − R i ) − ( R − R j ) ) 2 + ( R − R i ) ( R − R j ) ⋅ K i K j ¯ 2 R 2 {displaystyle {overline {O_{i}O_{j}}}^{2}=((R-R_{i})-(R-R_{j}))^{2}+(R-R_{i})(R-R_{j})cdot {frac {{overline {K_{i}K_{j}}}^{2}}{R^{2}}}}Наконец, искомая длина
t i j = O i O j ¯ 2 − ( R i − R j ) 2 = R − R i ⋅ R − R j ⋅ K i K j ¯ R {displaystyle t_{ij}={sqrt {{overline {O_{i}O_{j}}}^{2}-(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 {displaystyle K_{1}K_{2}K_{3}K_{4}} :
t 12 t 34 + t 14 t 23 = 1 R 2 ⋅ R − R 1 R − R 2 R − R 3 R − R 4 ( K 1 K 2 ¯ ⋅ K 3 K 4 ¯ + K 1 K 4 ¯ ⋅ K 2 K 3 ¯ ) {displaystyle 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}}}left({overline {K_{1}K_{2}}}cdot {overline {K_{3}K_{4}}}+{overline {K_{1}K_{4}}}cdot {overline {K_{2}K_{3}}} ight)} = 1 R 2 ⋅ R − R 1 R − R 2 R − R 3 R − R 4 ( K 1 K 3 ¯ ⋅ K 2 K 4 ¯ ) = t 13 t 24 {displaystyle ={frac {1}{R^{2}}}cdot {sqrt {R-R_{1}}}{sqrt {R-R_{2}}}{sqrt {R-R_{3}}}{sqrt {R-R_{4}}}left({overline {K_{1}K_{3}}}cdot {overline {K_{2}K_{4}}} ight)=t_{13}t_{24}}Вариации и обобщения
Можно показать, что четыре окружности не обязательно должны лежать внутри большой окружности. Фактически, они могут также касаться её и снаружи. В этом случае следует сделать следующие изменения:
Если O i , O j {displaystyle O_{i},O_{j}} касаются O {displaystyle O} с одной стороны (обе изнутри или обе снаружи), t i j {displaystyle t_{ij}} — длина отрезка внешних касательных. Если O i , O j {displaystyle O_{i},O_{j}} касаются O {displaystyle O} с разных сторон (одна изнутри, другая снаружи), t i j {displaystyle t_{ij}} — длина отрезка внутренних касательных. Обратное утверждение теореме Кейси также верно. Таким образом, если равенство выполняется, окружности касаются. Например, для рис. ниже имеем: t α β t γ δ + t β γ t δ α = t α γ t β δ {displaystyle t_{alpha eta }t_{gamma delta }+t_{eta gamma }t_{delta alpha }=t_{alpha gamma }t_{eta delta }} . Понятия "длина отрезка внешних касательных" и "длина отрезка внутренних касательных" могут ввести в заблуждение, ибо эти касательные могут быть проведены как внутри, так и снаружи общей связующей окружности, поскольку сходственные пары касательных двух окружностей всегда равны. Тут важнее оперировать не понятиями "внешних касательных" и "внутренних касательных", а понятиями наибольшей и наименьшей касательной для двух окружностей, ибо к двум окружностям можно провести две пары сходственных касательных, всегда равные для каждой пары, но не равные между разными парами касательных. Это прекрасно видно при сравнении двух рисунков. Как располагается пара окружностей относительно одного из двух возможных типов проведенных к ним общих касательных можно узнать по значению их инверсного расстояния I, которое может принимать 3 значения: 0, +1 и -1.Приложения
Теорему Кейси и ей обратную можно использовать для доказательства различных утверждений евклидовой геометрии. Например, самое короткое известное доказательство теоремы Фейербаха использует обратную теорему Кейси.