Tüm köşeleri bir çemberin üzerinde olan, bir diğer ifadeyle tüm kenarları bir çemberin kirişleri olan dörtgene kirişler dörtgeni denir.
Bir çember üzerinden seçilecek dört farklı noktanın birleştirilmesi ile bir kirişler dörtgeni elde edilebilir.
Önceki bölümde gördüğümüz gibi her üçgenin bir çevrel çemberi vardır, ancak her dörtgen bir kirişler dörtgeni değildir. Her kare, dikdörtgen ve ikizkenar yamuk aynı zamanda birer kirişler dörtgenidir.
Birer kenarı \( [AD] \) doğru parçası olan iki üçgenin tepe açıları eşitse bu noktaların oluşturduğu dörtgen bir kirişler dörtgenidir. Bunun sebebi \( [AD] \) doğru parçasının \( \overparen{AD} \) çember yayını oluşturması ve ölçüleri eşit tepe açılarının bir çember üzerinde aynı yayı gören iki çevre açıya karşılık gelmesidir.
Kirişler dörtgeninde karşılıklı açıların ölçüleri toplamı \( 180° \)'dir ve gördükleri yayların uzunlukları toplamı \( 360° \)'dir. Bunun karşıtı da doğrudur, yani karşılıklı açılarının ölçüleri toplamı \( 180° \) olan bir dörtgen kirişler dörtgenidir.
\( m(\hat{A}) + m(\hat{C}) = m(\hat{B}) + m(\hat{D}) = 180° \)
\( x + y + z + t = 360° \)
Bu kurallardan aşağıdaki sonuçlar çıkarılabilir.
Kirişler dörtgeninin kenarlarının orta dikmeleri tek bir noktada ve çemberin merkezinde kesişir. Bunun karşıtı da doğrudur, yani kenarlarının orta dikmeleri tek bir noktada kesişen bir dörtgen kirişler dörtgenidir.
Batlamyus (Ptolemy) Teoremi: Bu teoreme göre kirişler dörtgeninde karşılıklı kenar uzunluklarının çarpımlarının toplamı, köşegen uzunluklarının çarpımına eşittir. Bunun karşıtı da doğrudur, yani bu eşitliği sağlayan bir dörtgen kirişler dörtgenidir.
\( \abs{AB} \cdot \abs{DC} + \abs{CB} \cdot \abs{DA} \) \( = \abs{AC} \cdot \abs{DB} \)
Brahmagupta Formülü: Kirişler dörtgeninin alanı kenar uzunlukları kullanılarak aşağıdaki formülle hesaplanabilir.
\( u \) kirişler dörtgeninin çevre uzunluğunun yarısı olmak üzere,
\( u = \dfrac{a + b + c + d}{2} \)
\( A(ABCD) = \sqrt{(u - a)(u - b)(u - c)(u - d)} \)
Kirişler dörtgeni, uzunlukları belirli dört kenar ile çizilebilecek dörtgenler içinde alanı en büyük olan dörtgendir.