Comprovació de la identitat de Ptolomeu. Per a tot quadrilàter inscrit en una circumferència, el producte de les seves diagonals és igual a la suma dels productes dels costats oposats. Quan el quadrilàter esdevé un rectangle, la identitat es converteix en teorema de Pitàgores.