AB is een koorde en P een willekeurig punt van een gegeven cirkel. Q is de loodrechte projectie van P op AB en R en S zijn de loodrechte projecties van P op de raaklijnen aan de cirkel in A en B. Bewijs dat PQ het meetkundig gemiddelde is van PR en PS.