Adott a $K$ kör, valamint az $e$ egyenes, amely $K$-t az egymástól különböző $P$ és $Q$ pontokban metszi. Legyen az egyik $PQ$ ív felezőpontja $F$, és tekintsük azokat a $k$ köröket, amelyek az $e$ egyenesnek $F$-et tartalmazó partján kívülről érintik $K$-t, másrészt érintik az $e$ egyenest.
Bizonyítsuk be, hogy az $F$-ből bármelyik $k$ körhöz húzott érintőszakasz ugyanakkora!