円に内接する四角形限定ですが、

次の定理が存在しています。

発見したのは、古代ギリシャの天文学者である

クラウディオス・プトレマイオス

別名、トレミー。

それゆえ、この定理は

トレミーの定理

と呼ばれる以外にも

プトレマイオスの定理

とも呼ばれることもある。

この定理を使うことによって、

対角線の長さを求めることが出来る。

ただし、使用条件としては４辺の長さが確定していないと使えません。