Meghúztuk egy kör két érintőjét. A kör egy tetszőleges $C$ pontjának az érintőktől mért távolságai $a$ és $b$, az érintési pontokat összekötő egyenestől mért távolsága pedig $c$. Bizonyítsuk be, hogy $c$ az $a$ és $b$ távolságok mértani közepe.