Egy kör $AB$ húrjának végpontjaiból bocsássunk merőlegeseket a kör egy $A$-tól és $B$-től különböző $P$ pontjában húzott érintőjére, illetve bocsássunk merőlegest $P$-ből az $AB$ húrra. Bizonyítsuk be, hogy a húrra bocsátott merőleges az érintőre bocsátott merőlegesek mértani közepe.