10.4: Спосіб інверсії
Ось додаток інверсії, яке ми включаємо як ілюстрацію; ми не будемо використовувати його далі в книзі.
ABCDДозволяти вписаний чотирикутник. Припустимо, що точкиA,B,C, іD з'являються на окружній лінії в тому ж порядку. Тоді
AB⋅CD+BC⋅DA=AC⋅BD.
- Доказ
-
Припустимо, що точкиA,B,C,D лежать на одній лінії в такому порядку.
Набірx=AB,y=BC,z=CD. Зверніть увагу, що
x⋅z+y⋅(x+y+z)=(x+y)⋅(y+z).
ОскількиAC=x+y, іBD=y+zDA=x+y+z, це підтверджує особистість.
Залишається розглянути випадок, коли чотирикутникABCD вписаний в коло, скажімоΓ.
Особистість може бути переписана як
AB⋅DCBD⋅CA+BC⋅ADCA⋅DB=1.
На лівій стороні у нас є два перехресних співвідношення. Згідно з теоремою 10.3.1a, ліва сторона не змінюється, якщо застосувати інверсію до кожної точки.
Розглянемо інверсію в колі по центру в точціO, яка лежитьΓ міжA іD. За теоремою 10.3.2 ця інверсіяΓ відображає лінію. Це зводить проблему до того випадкуA,B,C, коли іD лежать на одній лінії, яка вже розглядалася.
У наведеному вище доказі ми переписуємо особистість Птолемея у формі, яка є інваріантною щодо інверсії, а потім застосовуємо інверсію, яка робить твердження очевидним. Рішення наступної вправи засноване на тій же ідеї; потрібно зробити правильний вибір інверсії.
Припустимо, що чотири кола взаємно дотичні один до одного. Покажіть, що чотири (серед шести) їх точок дотику лежать на одній лінії кола.
- Підказка
-
Позначте точки дотику поX,Y,A,B,P, іQ як на схемі. Нанесіть інверсію з центром вP. Зверніть увагу, що два кола, які дотичні в,P стають паралельними лініями, а інші два кола дотичні один до одного і ці дві паралельні лінії.
Зверніть увагу, що точки дотикуA′,B′X′, іY′ з паралельними лініями є вершинами квадрата; зокрема вони лежать на одному колі. Ці точки є зображеннямиA,B,X, іY під інверсією. За теоремою 10.3.1 точкиA,B,X, аY також лежать на одній лінії кола.
Припустимо, що три кола дотичні один до одного і до двох паралельних ліній, як показано на малюнку.
Показати, що лінія, що проходить черезA і такожB є дотичною до двох кіл вA.
- Підказка
-
Нанесіть інверсію по колу з центромA. ТочкаA піде до нескінченності, два кола дотичні вA стануть паралельними лініями, а дві паралельні лінії стануть колами дотичними вA; див. Діаграму.
Залишилося показати, що пунктирна лінія (AB′) паралельна іншим двом лініям.