Çift merkezli dörtgen

Öklid geometrisinde, bir çift merkezli dörtgen, hem bir iç teğet çembere hem de çevrel çembere sahip olan bir dışbükey (konveks) dörtgendir. Bu çemberlerin çevreleri, yarıçapları ve merkezlerine sırasıyla iç çap (inradius) ve çevrel çap (circumradius), iç merkez (incenter) ve çevrel merkez (circumcenter) denir. Tanımdan, çift merkezli dörtgenlerin hem teğetler dörtgeninin hem de kirişler dörtgeninin tüm özelliklerine sahip olduğu anlaşılmaktadır. Bu dörtgenler için diğer isimler kiriş-teğet dörtgeni^[1] ve iç teğet ve dış teğet dörtgenidir. Ayrıca nadiren çift çemberli dörtgen^[2] ve çift işaretlenmiş dörtgen olarak adlandırılmıştır.^[3]

İç içe iki çember, çift merkezli bir dörtgenin iç teğet çemberi ve çevrel çemberiyse, çevrel çemberdeki her nokta, aynı iç teğet çembere ve çevrel çembere sahip çift merkezli bir dörtgenin tepe noktasıdır.^[4] Bu, Fransız matematikçi Jean-Victor Poncelet (1788–1867) tarafından kanıtlanan Poncelet doğal sonucunun (porizminin) bir sonucudur.

Çift merkezli dörtgenlerin örnekleri, kareler, dik deltoidler ve ikizkenar teğet yamuklardır.

Kenarları ${\displaystyle a}$, ${\displaystyle b}$, ${\displaystyle c}$, ${\displaystyle d}$ olan bir dışbükey dörtgen ${\displaystyle ABCD}$, ancak ve ancak karşı kenarlar teğetler dörtgeni için Pitot teoremini ve zıt açıların bütünler olduğu kirişler dörtgeni özelliğini sağlıyorsa çift merkezlidir; yani,

${\displaystyle {\begin{cases}a+c=b+d\\A+C=B+D=\pi .\end{cases}}}$

Diğer üç nitelendirme, teğetler dörtgenindeki iç teğet çemberin kenarlara teğet olduğu noktalarla ilgilidir. Çember, sırasıyla ${\displaystyle W}$, ${\displaystyle X}$, ${\displaystyle Y}$, ${\displaystyle Z}$'de ${\displaystyle AB}$, ${\displaystyle BC}$, ${\displaystyle CD}$, ${\displaystyle DA}$ kenarlarına teğet ise, teğetler dörtgeni ${\displaystyle ABCD}$ ancak ve ancak aşağıdaki üç koşuldan herhangi biri geçerliyse aynı zamanda kirişler dörtgenidir:^[5]

• ${\displaystyle WY}$, ${\displaystyle XZ}$'ye diktir.
• ${\displaystyle {\frac {AW}{WB}}={\frac {DY}{YC}}}$
• ${\displaystyle {\frac {AC}{BD}}={\frac {AW+CY}{BX+DZ}}}$

Bu üçünden ilki, temas dörtgeni WXYZ'nin bir ortodiyagonal dörtgen olduğu anlamına gelir.

${\displaystyle E}$, ${\displaystyle F}$, ${\displaystyle G}$, ${\displaystyle H}$ sırasıyla ${\displaystyle WX}$, ${\displaystyle XY}$, ${\displaystyle YZ}$, ${\displaystyle ZW}$'nin orta noktaları ise, teğetler dörtgeni ${\displaystyle ABCD}$, ancak ve ancak ${\displaystyle EFGH}$ dörtgeni bir dikdörtgense aynı zamanda kirişler dörtgenidir.^[5]

Başka bir nitelendirmeye göre, eğer ${\displaystyle I}$, karşıt kenarların uzantılarının ${\displaystyle J}$ ve ${\displaystyle K}$'de kesiştiği bir teğetler dörtgenindeki iç teğet çemberin merkezi ise, o zaman dörtgen de, ancak ve ancak ${\displaystyle \angle JIK}$ bir dik açı ise kirişler dörtgenidir.^[5]

Yine bir başka gerekli ve yeterli koşul, teğetler dörtgen ${\displaystyle ABCD}$'nin, ancak ve ancak Newton doğrusu, temas dörtgeni ${\displaystyle WXYZ}$'nin Newton doğrusuna dik olması durumunda kirişler dörtgeni olmasıdır. (Bir dörtgenin Newton doğrusu, köşegenlerinin orta noktaları tarafından tanımlanan doğrudur.)^[5]

Çift merkezli bir dörtgen oluşturmak için basit bir yöntem vardır:

Merkez ${\displaystyle I}$ etrafında ${\displaystyle r}$ yarıçaplı ${\displaystyle C_{r}}$ iç teğet çemberi ile başlar ve daha sonra ${\displaystyle C_{r}}$ iç teğet çemberi içinde birbirine dik iki ${\displaystyle WY}$ ve ${\displaystyle XZ}$ kirişleri çizilir. Kirişlerin uç noktalarında, iç teğet çembere ${\displaystyle a}$, ${\displaystyle b}$, ${\displaystyle c}$ ve ${\displaystyle d}$ teğetleri çizilir. Bunlar, çift merkezli bir dörtgenin köşeleri olan dört ${\displaystyle A}$, ${\displaystyle B}$, ${\displaystyle C}$ ve ${\displaystyle D}$ noktasında kesişir.^[6] Çevrel çemberi çizmek için, çift merkezli dörtgen sırasıyla ${\displaystyle a}$ ve ${\displaystyle b}$ kenarlarına iki dik açıortay ${\displaystyle p_{1}}$ ve ${\displaystyle p_{2}}$ çizilir. Dikey açıortaylar ${\displaystyle p_{1}}$ ve ${\displaystyle p_{2}}$, çevrel çember ${\displaystyle C_{R}}$'nin merkezi ${\displaystyle O}$'da iç teğet çember ${\displaystyle C_{r}}$'nin merkezi ${\displaystyle I}$ arasındaki ${\displaystyle x}$ mesafede kesişir. Çevrel çember, merkez ${\displaystyle O}$ etrafında çizilebilir.

Bu yapının geçerliliği, bir teğetler dörtgeni ${\displaystyle ABCD}$'de, temas dörtgeni ${\displaystyle WXYZ}$'nin, ancak ve ancak teğetler dörtgeninin aynı zamanda kirişler dörtgeni olması durumunda dikey köşegenlere sahip olduğu nitelendirmesinden kaynaklanmaktadır.

Çift merkezli bir ${\displaystyle K}$ dörtgeninin alanı, dörtgenin dört niceliğiyle (kenar uzunlukları) birkaç farklı şekilde ifade edilebilir. Kenarlar ${\displaystyle a}$, ${\displaystyle b}$, ${\displaystyle c}$, ${\displaystyle d}$ ise, alan:^{[7][8][9][10][11]} ${\displaystyle \displaystyle K={\sqrt {abcd}}.}$

Bu, Brahmagupta formülünün özel bir halidir. Ayrıca bir teğetler dörtgeninin alanı için trigonometrik formülden doğrudan türetilebilir. Tersinin geçerli olmadığına dikkat edin: Çift merkezli olmayan bazı dörtgenler de ${\displaystyle \displaystyle K={\sqrt {abcd}}}$ alanına sahiptir.^[12] Böyle bir dörtgene bir örnek, kare olmayan bir dikdörtgendir.

Alan ayrıca teğet uzunlukları ${\displaystyle e}$, ${\displaystyle f}$, ${\displaystyle g}$, ${\displaystyle h}$^[8] cinsinden de aşağıdaki şekilde ifade edilebilir: ^:p.128

${\displaystyle K={\sqrt[{4}]{efgh}}(e+f+g+h).}$

İç teğet çemberin merkezi ${\displaystyle I}$ olan çift merkezli dörtgen ${\displaystyle ABCD}$'nin alanı için bir formül aşağıdaki gibidir:^[9] ${\displaystyle K=AI\cdot CI+BI\cdot DI.}$

Çift merkezli bir dörtgenin teğet kirişleri ${\displaystyle k}$, ${\displaystyle l}$ ve köşegenleri ${\displaystyle p}$, ${\displaystyle q}$ varsa, alanı aşağıdaki şekilde ifade edilebilir:^{[8] :p.129}

${\displaystyle K={\frac {klpq}{k^{2}+l^{2}}}.}$

Eğer ${\displaystyle k}$, ${\displaystyle l}$ teğet kirişleri ve ${\displaystyle m}$, ${\displaystyle n}$ dörtgenin bimedyanlarıysa, alan aşağıdaki formül^[9] kullanılarak hesaplanabilir.

${\displaystyle K=\left|{\frac {m^{2}-n^{2}}{k^{2}-l^{2}}}\right|kl}$

Dörtgen bir dik deltoid ise bu formül kullanılamaz, çünkü bu durumda payda sıfırdır.

${\displaystyle M}$ ve ${\displaystyle N}$ köşegenlerin orta noktaları ve ${\displaystyle E}$ ve karşıt kenarların uzantılarının kesişme noktaları ise, çift merkezli bir dörtgenin alanı şu şekilde verilir:

${\displaystyle K={\frac {2MN\cdot EI\cdot FI}{EF}}}$

burada ${\displaystyle I}$ iç teğet çemberin merkezidir.^[9]

Çift merkezli bir dörtgenin alanı, iki karşıt kenar ve köşegenler arasındaki ${\displaystyle \theta }$ açısı cinsinden ifade edilebilir.^[9] ${\displaystyle K=ac\tan {\frac {\theta }{2}}=bd\cot {\frac {\theta }{2}}.}$

İki komşu açı ve iç teğet çemberin yarıçapı ${\displaystyle r}$ cinsinden, alan^[9] aşağıdaki formül ile verilmiştir.

${\displaystyle K=2r^{2}\left({\frac {1}{\sin {A}}}+{\frac {1}{\sin {B}}}\right).}$

Alan, çevrel çemberin yarıçapı ${\displaystyle R}$ ve iç teğet çemberin yarıçapı ${\displaystyle r}$ cinsinden aşağıdaki şekilde verilebilir.

${\displaystyle K=r(r+{\sqrt {4R^{2}+r^{2}}})\sin \theta }$

burada ${\displaystyle \theta }$, köşegenler arasındaki açıdır.^[13]

${\displaystyle M}$ ve ${\displaystyle N}$ köşegenlerin orta noktaları ve ${\displaystyle E}$ ve ${\displaystyle F}$ karşıt kenarların uzantılarının kesişme noktaları ise, alan da şu şekilde ifade edilebilir:

${\displaystyle K=2MN{\sqrt {EQ\cdot FQ}}}$

burada ${\displaystyle Q}$, iç teğet çemberin merkezinden geçen ${\displaystyle EF}$ doğrusuna dik olan ayağıdır.^[9]

Eğer ${\displaystyle r}$ ve ${\displaystyle R}$ sırasıyla iç teğet çemberin yarıçapı ve çevresel çemberin yarıçapı ise, ${\displaystyle K}$ alanı aşağıdaki eşitsizlikleri sağlar:^[14] ${\displaystyle \displaystyle 4r^{2}\leq K\leq 2R^{2}.}$

Sadece dörtgen bir kare ise her iki taraf için de eşitlik söz konusudur.

Alan için bir başka eşitsizlik ise^{[15] :p.39,#1203}

${\displaystyle K\leq {\tfrac {4}{3}}r{\sqrt {4R^{2}+r^{2}}}}$'dir.

burada ${\displaystyle r}$ ve ${\displaystyle R}$ sırasıyla iç teğet çemberin yarıçapı ve çevrel çemberin yarıçapıdır.

Alan için bir öncekinden daha keskin bir üst sınır veren benzer bir eşitsizlik ise:^[13] ${\displaystyle K\leq r(r+{\sqrt {4R^{2}+r^{2}}})}$'dir.

eşitlik ancak ve ancak dörtgen bir dik deltoid ise geçerlidir.

Ek olarak, ${\displaystyle a}$, ${\displaystyle b}$, ${\displaystyle c}$, ${\displaystyle d}$ ve yarı çevre ${\displaystyle s}$ kenarları ile:

${\displaystyle 2{\sqrt {K}}\leq s\leq r+{\sqrt {r^{2}+4R^{2}}};}$^{[15] :p.39,#1203}

${\displaystyle 6K\leq ab+ac+ad+bc+bd+cd\leq 4r^{2}+4R^{2}+4r{\sqrt {r^{2}+4R^{2}}};}$^{[15] :p.39,#1203}

${\displaystyle 4Kr^{2}\leq abcd\leq {\frac {16}{9}}r^{2}(r^{2}+4R^{2}).}$^{[15] :p.39,#1203}

${\displaystyle a}$, ${\displaystyle b}$, ${\displaystyle c}$, ${\displaystyle d}$ sırasıyla ${\displaystyle AB}$, ${\displaystyle BC}$, ${\displaystyle CD}$, ${\displaystyle DA}$ çift merkezli dörtgenin kenarlarına karşılık gelen uzunluklar ise, ${\displaystyle ABCD}$tepe açıları tanjant fonksiyonu ile hesaplanabilir:^[9] ${\displaystyle \tan {\frac {A}{2}}={\sqrt {\frac {bc}{ad}}}=\cot {\frac {C}{2}},}$

${\displaystyle \tan {\frac {B}{2}}={\sqrt {\frac {cd}{ab}}}=\cot {\frac {D}{2}}.}$

Aynı gösterimleri kullanarak, sinüs ve kosinüs fonksiyonları için aşağıdaki formüller geçerlidir:^[16] ${\displaystyle \sin {\frac {A}{2}}={\sqrt {\frac {bc}{ad+bc}}}=\cos {\frac {C}{2}},}$

${\displaystyle \cos {\frac {A}{2}}={\sqrt {\frac {ad}{ad+bc}}}=\sin {\frac {C}{2}},}$

${\displaystyle \sin {\frac {B}{2}}={\sqrt {\frac {cd}{ab+cd}}}=\cos {\frac {D}{2}},}$

${\displaystyle \cos {\frac {B}{2}}={\sqrt {\frac {ab}{ab+cd}}}=\sin {\frac {D}{2}}.}$

Köşegenler arasındaki ${\displaystyle \theta }$ açısı aşağıdaki şekilde hesaplanabilir:^[10]

${\displaystyle \displaystyle \tan {\frac {\theta }{2}}={\sqrt {\frac {bd}{ac}}}.}$

Çift merkezli bir dörtgenin iç teğet çemberinin yarıçapı ${\displaystyle r}$, aşağıdaki ifadeye^[7] göre ${\displaystyle a}$, ${\displaystyle b}$, ${\displaystyle c}$, ${\displaystyle d}$ kenarlarıyla belirlenir.

${\displaystyle \displaystyle r={\frac {\sqrt {abcd}}{a+c}}={\frac {\sqrt {abcd}}{b+d}}.}$

Çevrel çemberin yarıçapı ${\displaystyle R}$, Parameshvara formülünün özel bir durumu olarak aşağıda verilmiştir.^[7] ${\displaystyle \displaystyle R={\frac {1}{4}}{\sqrt {\frac {(ab+cd)(ac+bd)(ad+bc)}{abcd}}}.}$

İç teğet çemberin yarıçapı, aşağıdaki formüle göre ardışık teğet uzunlukları ${\displaystyle e}$, ${\displaystyle f}$, ${\displaystyle g}$, ${\displaystyle h}$ cinsinden de ifade edilebilir:^{[17]:p. 41}

${\displaystyle \displaystyle r={\sqrt {eg}}={\sqrt {fh}}.}$

Bu iki formül gerçekte, iç teğet çemberinin yarıçapı ${\displaystyle r}$ olan bir teğetler dörtgeninin kirişler dörtgeni olması için gerekli ve yeterli koşullardır.

Çift merkezli bir dörtgenin dört kenarı ${\displaystyle a}$, ${\displaystyle b}$, ${\displaystyle c}$, ${\displaystyle d}$, dördüncü dereceden denklemin dört çözümüdür.

${\displaystyle y^{4}-2sy^{3}+(s^{2}+2r^{2}+2r{\sqrt {4R^{2}+r^{2}}})y^{2}-2rs({\sqrt {4R^{2}+r^{2}}}+r)y+r^{2}s^{2}=0}$

burada ${\displaystyle s}$ yarı çevre, ${\displaystyle r}$ ve ${\displaystyle R}$ ise sırasıyla iç teğet çemberin yarıçapı ve çevrel çemberin yarıçapıdır.^{[18] :p. 754}

Teğet uzunlukları ${\displaystyle e}$, ${\displaystyle f}$, ${\displaystyle g}$, ${\displaystyle h}$ ve iç teğet çemberinin yarıçapı ${\displaystyle r}$ olan çift merkezli bir dörtgen varsa, teğet uzunlukları ${\displaystyle e^{v}}$, ${\displaystyle f^{v}}$, ${\displaystyle g^{v}}$, ${\displaystyle h^{v}}$ ve iç teğet çemberinin yarıçapı ${\displaystyle r^{v}}$ olan çift merkezli bir dörtgen vardır, burada ${\displaystyle v}$ herhangi bir gerçel sayı olabilir.^{[19] :pp.9–10}

Çift merkezli bir dörtgen, aynı kenar uzunluk dizisine sahip diğer herhangi bir teğetler dörtgenine göre daha büyük bir yarıçapa sahiptir.^{[20] :pp.392–393}

Çevrel çemberin yarıçapı ${\displaystyle R}$ ve iç teğet çemberin yarıçapı ${\displaystyle r}$ aşağıdaki eşitsizliği sağlar:

${\displaystyle R\geq {\sqrt {2}}r}$

Bu eşitsizlik, L. Fejes Tóth tarafından 1948'de kanıtlanmıştır.^[19] Sadece iki çember eş merkezli olduğunda (birbirleriyle aynı merkeze sahip olduklarında) eşitlik geçerli olur; o zaman dörtgen bir karedir. Eşitsizlik, yukarıdaki alan için çifte eşitsizlik kullanılarak birkaç farklı şekilde kanıtlanabilir.

Önceki eşitsizliğin bir uzantısı^{[2][21]:p. 141}

${\displaystyle {\frac {r{\sqrt {2}}}{R}}\leq {\frac {1}{2}}\left(\sin {\frac {A}{2}}\cos {\frac {B}{2}}+\sin {\frac {B}{2}}\cos {\frac {C}{2}}+\sin {\frac {C}{2}}\cos {\frac {D}{2}}+\sin {\frac {D}{2}}\cos {\frac {A}{2}}\right)\leq 1}$

burada ancak ve ancak her iki tarafta da eşitlik olduğu zaman dörtgen bir karedir.^{[16]:p. 81}

Bir çift merkezli dörtgenin yarı çevresi ${\displaystyle s}$, aşağıdaki eşitsizliği sağlar:^[19]:p.13

${\displaystyle {\sqrt {8r\left({\sqrt {4R^{2}+r^{2}}}-r\right)}}\leq s\leq {\sqrt {4R^{2}+r^{2}}}+r}$

burada ${\displaystyle r}$ ve ${\displaystyle R}$ sırasıyla iç teğet çemberin yarıçapı ve çevrel çemberin yarıçapıdır.

Ayrıca,^{[15]:p.39,#1203}

${\displaystyle 2sr^{2}\leq abc+abd+acd+bcd\leq 2r(r+{\sqrt {r^{2}+4R^{2}}})^{2}}$

ve

${\displaystyle abc+abd+acd+bcd\leq 2{\sqrt {K}}(K+2R^{2}).}$^{[15]:p.62,#1599}

Fuss teoremi, herhangi bir çift merkezli dörtgenin iç teğet çemberinin yarıçapı ${\displaystyle r}$ ve çevrel çemberinin yarıçapı ${\displaystyle R}$ ile iç teğet çemberinin merkezi ${\displaystyle I}$ ve çevrel çemberinin merkezi ${\displaystyle O}$ arasındaki ${\displaystyle x}$ uzunluğu arasında bir ilişki verir. Bu ilişki, aşağıdaki gibi ifade edilebilir:^[1][11][22] ${\displaystyle {\frac {1}{(R-x)^{2}}}+{\frac {1}{(R+x)^{2}}}={\frac {1}{r^{2}}},}$

veya eşdeğer olarak,

${\displaystyle \displaystyle 2r^{2}(R^{2}+x^{2})=(R^{2}-x^{2})^{2}.}$

1792'de Leonhard Euler'in öğrencisi olan İsviçreli matematikçi Nicolaus Fuss (1755–1826) tarafından türetilmiştir. Denklemi ${\displaystyle x}$ için çözersek;

${\displaystyle x={\sqrt {R^{2}+r^{2}-r{\sqrt {4R^{2}+r^{2}}}}}.}$

Üçgenler için Euler teoreminin analogu olan çift merkezli dörtgenler için Fuss teoremi, eğer bir dörtgen çift merkezli ise, iki ilişkili çemberin yukarıdaki denklemlere göre birbiriyle ilişkili olduğunu söyler. Aslında, tersi de geçerlidir: Fuss teoremindeki koşulu sağlayan merkezler arasında ${\displaystyle R}$ ve ${\displaystyle r}$ yarıçaplı ve iki çemberin merkezleri arasındaki uzaklık ${\displaystyle x}$ mesafeli iki çember (biri diğerinin içinde) verildiğinde, bunlardan birini çevreleyen ve diğerine içeriden teğet olan bir dışbükey dörtgen vardır.^[23] (ve sonra Poncelet kapanma teoremine göre, sonsuz sayıda vardır).

Fuss teoreminin ifadesinde ${\displaystyle x}$’in ${\displaystyle r}$ ve ${\displaystyle R}$ cinsinden ifade edilerek ${\displaystyle x^{2}\geq 0}$ uygulanması, yukarıda belirtilen eşitsizliği ${\displaystyle R\geq {\sqrt {2}}r}$ olarak elde etmenin başka bir yoludur. Bir genelleme aşağıdaki şekilde yapılabilir:^[19]:p.5

${\displaystyle 2r^{2}+x^{2}\leq R^{2}\leq 2r^{2}+x^{2}+2rx.}$

İç teğet çember ve çevrel çemberin merkezleri arasındaki mesafe ${\displaystyle x}$ için bir başka formül, Amerikan matematikçi Leonard Carlitz (1907-1999) tarafından verilmiştir.^[24] İfade aşağıdaki gibi yazılır:

${\displaystyle \displaystyle x^{2}=R^{2}-2Rr\cdot \mu }$

burada ${\displaystyle r}$ ve ${\displaystyle R}$, sırasıyla iç teğet çemberin ve çevrel çemberin yarıçapları ve

${\displaystyle \displaystyle \mu ={\sqrt {\frac {(ab+cd)(ad+bc)}{(a+c)^{2}(ac+bd)}}}={\sqrt {\frac {(ab+cd)(ad+bc)}{(b+d)^{2}(ac+bd)}}}}$'dir.

Burada ${\displaystyle a}$, ${\displaystyle b}$, ${\displaystyle c}$, ${\displaystyle d}$, çift merkezli dörtgenin kenarlarıdır.

Teğet uzunlukları ${\displaystyle e}$, ${\displaystyle f}$, ${\displaystyle g}$, ${\displaystyle h}$ için aşağıdaki eşitsizlikler geçerlidir:^[19]:p.3

${\displaystyle 4r\leq e+f+g+h\leq 4r\cdot {\frac {R^{2}+x^{2}}{R^{2}-x^{2}}}}$

ve

${\displaystyle 4r^{2}\leq e^{2}+f^{2}+g^{2}+h^{2}\leq 4(R^{2}+x^{2}-r^{2})}$

burada ${\displaystyle r}$ iç teğet çemberin yarıçapı, ${\displaystyle R}$ çevrel çemberin yarıçapı ve ${\displaystyle x}$, iç teğet çemberin merkezi ile çevrel çemberin merkezi arasındaki mesafedir. ${\displaystyle a}$, ${\displaystyle b}$, ${\displaystyle c}$, ${\displaystyle d}$ kenarları aşağıdaki eşitsizlikleri sağlar^[19]:p.5

${\displaystyle 8r\leq a+b+c+d\leq 8r\cdot {\frac {R^{2}+x^{2}}{R^{2}-x^{2}}}}$

ve

${\displaystyle 4(R^{2}-x^{2}+2r^{2})\leq a^{2}+b^{2}+c^{2}+d^{2}\leq 4(3R^{2}-2r^{2}).}$

Çevrel çemberin merkezi, iç teğet çemberin merkezi ve çift merkezli dörtgenin köşegenlerinin kesişimleri aynı doğru üzerindedir yani doğrusaldır.^[25]

${\displaystyle I}$ iç teğet çemberin merkezinden bir ${\displaystyle ABCD}$ çift merkezli dörtgeninin dört köşesine olan dört mesafe ile ilgili aşağıdaki eşitlik söz konusudur:^[26] ${\displaystyle {\frac {1}{AI^{2}}}+{\frac {1}{CI^{2}}}={\frac {1}{BI^{2}}}+{\frac {1}{DI^{2}}}={\frac {1}{r^{2}}}}$

burada ${\displaystyle r}$ iç teğet çemberin yarıçapıdır.

Eğer ${\displaystyle P}$, iç teğet çemberinin merkezi ${\displaystyle I}$ olan bir çift merkezli dörtgen ${\displaystyle ABCD}$'nin köşegenlerinin kesişme noktası ise aşağıdaki eşitlik geçerlidir.^[27] ${\displaystyle {\frac {AP}{CP}}={\frac {AI^{2}}{CI^{2}}}.}$

Bir çift merkezli dörtgen ${\displaystyle ABCD}$ içinde, iç teğet çemberin yarıçapı ${\displaystyle r}$ ve çevrel çemberin yarıçapı ${\displaystyle R}$’ye ilişkin bir eşitsizlik aşağıdaki şekilde yazılabilir.^[28] ${\displaystyle 4r^{2}\leq AI\cdot CI+BI\cdot DI\leq 2R^{2}}$

burada ${\displaystyle I}$, iç teğet çemberin merkezidir.

Çift merkezli bir dörtgende köşegenlerin uzunlukları, sırasıyla kirişler dörtgeni ve teğetler dörtgeninde sağlanan formüller olan kenarlar veya teğet uzunlukları cinsinden ifade edilebilir.

Köşegenleri ${\displaystyle p}$ ve ${\displaystyle q}$ olan çift merkezli bir dörtgende, aşağıdaki özdeşlik geçerlidir:^[11] ${\displaystyle \displaystyle {\frac {pq}{4r^{2}}}-{\frac {4R^{2}}{pq}}=1}$

burada ${\displaystyle r}$ ve ${\displaystyle R}$ sırasıyla iç teğet çemberin yarıçapı ve çevrel çemberin yarıçapıdır. Bu eşitlik, aşağıdaki gibi yeniden yazılabilir:^[13] ${\displaystyle r={\frac {pq}{2{\sqrt {pq+4R^{2}}}}}}$

veya köşegenlerin çarpımı için ikinci dereceden bir denklem olarak çözerek, aşağıdaki biçim elde edilir:

${\displaystyle pq=2r\left(r+{\sqrt {4R^{2}+r^{2}}}\right).}$

Çift merkezli bir dörtgende ${\displaystyle p}$ ve ${\displaystyle q}$ köşegenlerin çarpımı için bir eşitsizlik aşağıdaki gibidir:^[14] ${\displaystyle \displaystyle 8pq\leq (a+b+c+d)^{2}}$

burada ${\displaystyle a}$, ${\displaystyle b}$, ${\displaystyle c}$, ${\displaystyle d}$ kenarlardır. Bu eşitsizlik, 1967'de Amerikan matematikçi Murray S. Klamkin tarafından kanıtlanmıştır.

${\displaystyle ABCD}$ bir çift merkezli dörtgen ve ${\displaystyle O}$, çevrel çemberin merkezi olsun. O zaman ${\displaystyle OAB}$, ${\displaystyle OBC}$, ${\displaystyle OCD}$, ${\displaystyle ODA}$ gibi dört üçgenin iç teğet çemberlerinin merkezleri bir çember üzerinde yer alır.^[29]

• Çift merkezli çokgen
• Dış teğetler dörtgeni