ABC,m(^BAC)=900 olan bir dik üçgen olsun. Çemberlerin merkezlerine O1,O2 ve dış teğet noktalarına da P diyelim.
[O1H]⊥[AB],[O1K]⊥[BC],[O2M]⊥[AC],[O2L]⊥[BC] olsunlar.
ˆA nın iç açıortayı P noktasından geçeceğinden,m(HP)=m(PM)=1350 ve ABC üçgen ikizkenar dik üçgendir. m(^O1AO2)=45 dir.
|AM|=|AH|=x,|MC|=|CL|=|KB|=|BH|=y olsun. İkizkenar dik üçgende A köşesine ait kenarortay hipotenüsün yarısına eşit olacağından x+y=(y+1)√2..............(1) dir.
Diğer taraftan AO1O2 üçgeninde kosinüs teoreminden, 4=2|AO1|2−2|AO2|.cos45⇒|AO1|=4+2√2 birim olur. AO1M dik üçgeninde x=√23+16√2 ve (1) den y=x−√2√2−1 olacaktır. Buradan dik kenar uzunlukları :x+y ve Hipotenüs 2y+2 bulunur.