IE,IF ve IB uzunluklarını çizelim.
IFB dik üçgende pisagordan IB=kök(c²+1)
IFEB kirişler dörtgeninde batlamyus teoreminden;
kök(c²+1).z=c+c
Düzenlersek;
z²(1/c² + 1)=4 bulunur.
Aynı eşitlik 3 taraf için geçerli olacağından istenen toplam 12 bulunur.
Genellersek toplam 12r² olur.