Az $ABCD$ négyszög mind a négy csúcsa egy körön helyezkedik el. Tudjuk, hogy $DAB\sphericalangle = 135^\circ$ , továbbá az $AC$ és $BD$ átlók merőlegesek egymásra. Igazoljuk, hogy az átlók metszéspontja két olyan szakaszra osztja az $AC$ átlót, amelyek hosszának a különbsége megegyezik a másik átló hosszával.

Megoldás: -