Batlamyus teoremi, bir kirişler dörtgeninin (köşeleri ortak bir daire üzerinde yer alan dörtgen) dört kenarı ile iki köşegeni arasındaki ilişkiyi gösterir. Teoremin formülü şu şekildedir: AC ⋅ BD = AB ⋅ CD + BC ⋅ AD. Bu teoremin bazı özellikleri: Tersi de doğrudur: Bir dörtgende, karşıt iki kenar çiftinin uzunluklarının çarpımlarının toplamı, köşegenlerinin uzunluklarının çarpımına eşitse, bu dörtgen bir daire içerisine çizilebilir, yani bir kirişler dörtgenidir. Pisagor teoremine indirgenebilir: Merkezi karenin merkezi olan bir daireye herhangi bir kare çizildiğinde, Batlamyus teoremi Pisagor teoremine dönüşür. Trigonometrik hesaplamalarda kullanılır: Batlamyus teoremi, trigonometrik hesaplamaların yapılmasında kullanılır.