Legyen $ABC$ egy hegyesszögű háromszög, $\Gamma$ a háromszög körülírt köre és $\ell$ $\Gamma$ egy érintőegyenese. Jelölje ${\ell }_a$, ${\ell }_b$, ${\ell }_c$ azokat az egyeneseket, amelyeket úgy kapunk, hogy $\ell$-et a $BC$, $CA$, ill. $AB$ egyenesekre tükrözzük.
Bizonyítsuk be, hogy az ${\ell }_a$, ${\ell }_b$, ${\ell }_c$ egyenesek által meghatározott háromszög körülírt köre érinti a $\Gamma$ kört.