AB çaplı yarım çemberin merkezi O olsun.
Küçük çemberin merkezi F olsun.
BC çaplı yarı çemberin merkezi G olsun.
OF büyük yarı çemberi T de kessin. Açık şekilde T, F merkezli çember üzerindedir.
Küçük çember EC’ye H’de dokunsun.
AC=2x,BC=2y olsun. OF=x+y-z, OG=x ve GF=y+z olacaktır.
OGF üçgeninde Kosinüs Teoreminden cos∠OGF=cosα=(x2+(y+z)2- (x+y-z)2)/[2x(y+z)] =(4yz-2xy+2xz)/[2x(y+z)] =(2yz-xy+xz)/[x(y+z)] elde ederiz.
F’nin AB üzerindeki izdüşümü P olsun. PC=FH=z ve GP=y-z olur.
cos∠PGF=cosα=(y-z)/(y+z) olarak elde edilir.
Bulduğumuz cosα değerlerini birleştirirsek:
cosα=(y-z)/(y+z)=(2yz-xy+xz)/[x(y+z)] ⇒xy-xz=2yz-xy+xz⇒xy=yz+xz⇒x(y-z)=yz⇒x=yz/(y-z)
ED=a dersek, cosα=y/(a+y)=z/(a-z)⇒ay-yz=az+yz⇒a(y-z)=2yz⇒a=2yz/(y-z)=2x elde edilir. Yani ED=AC.