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