Batlamyus teoremi
Öklid geometrisinde, Batlamyus teoremi, bir kirişler dörtgeninin (köşeleri ortak bir daire üzerinde yer alan bir dörtgen) dört kenarı ile iki köşegeni arasındaki bir ilişkiyi gösteridir. Teorem, Yunan astronom ve matematikçi Batlamyus'un (Claudius Ptolemaeus) adını almıştır. Batlamyus, teoremi astronomiye uyguladığı trigonometrik bir tablo olan kirişler tablosunu oluşturmaya yardımcı olarak kullandı.
Kirişler dörtgenin köşeleri sırayla 
  
    
      
        A
      
    
    {\displaystyle A}
  
, 
  
    
      
        B
      
    
    {\displaystyle B}
  
, 
  
    
      
        C
      
    
    {\displaystyle C}
  
 ve 
  
    
      
        D
      
    
    {\displaystyle D}
  
 ise, teorem şunu belirtir:

  
    
      
        
          |
        
        
          
            
              A
              C
            
            ¯
          
        
        
          |
        
        ⋅
        
          |
        
        
          
            
              B
              D
            
            ¯
          
        
        
          |
        
        =
        
          |
        
        
          
            
              A
              B
            
            ¯
          
        
        
          |
        
        ⋅
        
          |
        
        
          
            
              C
              D
            
            ¯
          
        
        
          |
        
        +
        
          |
        
        
          
            
              B
              C
            
            ¯
          
        
        
          |
        
        ⋅
        
          |
        
        
          
            
              A
              D
            
            ¯
          
        
        
          |
        
      
    
    {\displaystyle |{\overline {AC}}|\cdot |{\overline {BD}}|=|{\overline {AB}}|\cdot |{\overline {CD}}|+|{\overline {BC}}|\cdot |{\overline {AD}}|}
  

Burada dikey çizgiler (| |) ile gösterim, adlandırılmış köşeler arasındaki çizgi parçalarının uzunluklarını belirtmektedir. Geometri bağlamında, yukarıdaki eşitlik genellikle basitçe şöyle yazılır:

  
    
      
        A
        C
        ⋅
        B
        D
        =
        A
        B
        ⋅
        C
        D
        +
        B
        C
        ⋅
        A
        D
      
    
    {\displaystyle AC\cdot BD=AB\cdot CD+BC\cdot AD}
  

Bu ilişki sözlü olarak şu şekilde ifade edilebilir:

Eğer bir dörtgen bir dairenin içine çizilebiliyorsa, köşegenlerinin uzunluklarının çarpımı, karşıt kenarların çiftlerinin uzunluklarının çarpımlarının toplamına eşittir.
Dahası, Batlamyus teoreminin 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.