Két kör egymást merőlegesen metszi. A két körnek a centrálisukon fekvő pontjai legyenek $A$, $B$, $C$, $D$ és a két kör egyik metszéspontja $P$. Mutassuk meg, hogy a középpontok távolságának négyzete a $PA$, $PB$, $PC$, $PD$ távolságok négyzeteinek számtani középarányosa.