مبرهنة بطليموس تنص على أنه في رباعي دائري رؤوسه A,B,C,D يكون حاصل ضرب قطريِّيه AC وBD مساوياً لمجموع حاصل ضرب كل زوج من الأضلاع المتقابلة، أي AC·BD = AB·CD + BC·AD، حيث الأشرطة العلوية تدل طول القطعة بين النقطتين.
مبرهنة بطليموس تنص على أنه في رباعي دائري رؤوسه A,B,C,D يكون حاصل ضرب قطريِّيه AC وBD مساوياً لمجموع حاصل ضرب كل زوج من الأضلاع المتقابلة، أي AC·BD = AB·CD + BC·AD، حيث الأشرطة العلوية تدل طول القطعة بين النقطتين.