Dane są dwa przecinające się okręgi
i
i prosta styczna do nich odpowiednio w punktach
i
. Punkt
jest punktem wspólnym tych okręgów bliższym prostej
,
jest długością promienia okręgu opisanego na trójkącie
,
Udowodnić, że
wtedy i tylko wtedy, gdy
.
Z trójkąta równoramiennego
wyznaczamy
![]() |
Ponieważ
, więc
. Stosując twierdzenie sinusów do trójkąta
otrzymujemy
![]() |
więc
![]() |
Podobnie
![]() |
Z ostatnich dwóch równości wynika, że
![]() |

Obliczając sumę kątów o wierzchołku
otrzymamy
. Stąd
.
Wobec tego równość
jest spełniona wtedy i tylko wtedy, gdy
, a więc wtedy i tylko wtedy, gdy
oraz
. Z twierdzenia cosinusów otrzymujemy
![]() |
Równość
jest więc równoważna równości
![]() |