Batlamyus eşitsizliği
Öklid geometrisinde, Batlamyus eşitsizliği, düzlemde veya daha yüksek boyutlu bir uzayda dört nokta tarafından oluşturulan altı uzunluğu ilişkilendirir. Herhangi bir , , ve noktası için aşağıdaki eşitsizliğin geçerli olduğunu belirtir: \overline{AB}\cdot \overline{CD}+\overline{BC}\cdot \overline{DA} \ge \overline{AC}\cdot \overline{BD}. Adını Yunan astronom ve matematikçi Batlamyus'tan almıştır.