トレミーの定理（トレミーのていり）とは、円に内接する四角形 "ABCD" において、辺の長さに関する等式が成り立つという幾何学の定理。トレミーとは古代ギリシアの天文学者クラウディオス・プトレマイオスのことであり、それゆえ本定理はプトレマイオスの定理とも呼ばれる。計算の便宜をはかり、"a" = "AD

出典:wikipedia