Adott egy $O$ középpontú $k$ kör és a belsejében egy $A$ pont. Az $OA$ egyenesre $A$-ban állított merőleges legyen $e$. A kör tetszőleges $B$ pontjának $e$-re való tükörképe $B\text{'}$ és az $AB\text{'}$ félegyenesnek $k$-n levő pontja a $C$. Bizonyítsuk be, hogy az $ABC$ háromszög köré írt kör átmegy az $O$ ponton.