Теорема про рівні вписані кола

Якщо сині кола рівні, то зелені кола також рівні.

Теорема про рівні вписані кола бере початок у японських сангаку і стосується такої побудови: серія променів проводиться з якоїсь точки до перетину з заданою прямою так, що кола, вписані в трикутники, утворені суміжними променями і прямою, однакові. На ілюстрації однакові сині кола визначають кути між променями, як описано вище.

Формулювання теореми

Теорема стверджує, що за описаної вище побудови кола, вписані в трикутники, утворені променями через один (тобто отримані об'єднанням двох сусідніх трикутників), через два і т. д., також рівні. Випадок сусідніх трикутників показано на малюнку зеленими колами: всі вони однакові.

З факту, що твердження теореми не залежить від кута між початковим променем і заданою прямою, можна зробити висновок, що теорема скоріше належить до математичного аналізу, а не геометрії, і повинна мати стосунок до неперервної маштабної функції, яка визначає відстань між променями. Фактично цією функцією є гіперболічний синус.

Лема

Теорема є прямим наслідком такої леми.

Припустимо, що n-й промінь утворює з нормаллю до базової прямої кут ${\gamma }_n$. Якщо ${\gamma }_n$ параметризовано відповідно до рівності $\mathrm{t}\mathrm{g}{\gamma }_n=\mathrm{s}\mathrm{h}{\theta }_n$, то значення ${\theta }_n=a+nb$, де $a$ і $b$ — дійсні сталі, визначають послідовність променів, які задовольняють умовам вписаних кіл (див. вище), і щобільше, будь-яку послідовність променів, що задовольняють цим умовам, можна отримати належним вибором параметрів $a$ і $b$.

Доведення леми

На малюнку суміжні промені PS і PT утворюютьють з прямою PR, перпендикулярною до базової прямої RT, кути ${\gamma }_n$ і ${\gamma }_{n+1}$.

Проведемо через центр O вписаного в трикутник $\mathrm{△}$ PST кола пряму QY, паралельну до базової прямої. Це коло дотикається до променів у точках W і Z. відрізок PQ має довжину $h-r$, а відрізок QR має довжину $r$, що дорівнює радіусу вписаного кола.

Тоді $\mathrm{△}$ OWX подібний $\mathrm{△}$ PQX, $\mathrm{△}$ OZY подібний $\mathrm{△}$ PQY, а з XY = XO + OY ми отримуємо

$(h-r)(\mathrm{t}\mathrm{g}{\gamma }_{n+1}-\mathrm{t}\mathrm{g}{\gamma }_n)=r(\sec {\gamma }_n+\sec {\gamma }_{n+1}).$

Це відношення на множині кутів $\{{\gamma }_m\}$ виражає умову рівності вписаних кіл.

Для доведення леми покладемо $\mathrm{t}\mathrm{g}{\gamma }_n=\mathrm{s}\mathrm{h}(a+nb)$. Цей вираз можна перетворити на $\sec {\gamma }_n=\mathrm{c}\mathrm{h}(a+nb)$.

Використовуючи рівність $a+(n+1)b=(a+nb)+b$, застосовуємо додаткові правила для $\mathrm{s}\mathrm{h}$ і $\mathrm{c}\mathrm{h}$ і перевіряємо, що відношення рівності кіл задовольняється виразом

$\frac{r}{h-r}=\mathrm{t}\mathrm{h}\frac{b}{2}.$

Ми отримали вираз для параметра $b$ в термінах геометричних величин $h$ і $r$. Далі, визначаючи $b$, отримуємо вираз для радіусів $r_N$ вписаних кіл, утворених вибором кожного N-го променя стороною трикутника:

$\frac{r_N}{h-r_N}=\mathrm{t}\mathrm{h}\frac{Nb}{2}.$

Див. також

• Японська теорема про вписані в коло многокутники
• Японська теорема про вписаний чотирикутник

Література

• Tabov J. A note on the five-circle theorem Шаблон:Webarchive // Mathematics Magazine. — 1989. — Т. 63. — № 2. — С. 92-94.