Legyen az $ABC$ háromszögbe írt kör középpontja $K$, a körülírt kör középpontja $O$. Tekintsük az $A$-n átmenő és $OK$-t $K$-ban érintő körnek $OA$-val való $M$ metszéspontját. Bizonyítsuk be, hogy $AM$ egyenlő a beírt kör átmérőjével.