A(EXD)=d,A(AED)=x
olsun
EBCD dörtgeninde
d.b=ac⟶d=a.cb....(∗) olur.
Diğer taraftan; A(AED)A(AEC)=|AE|.|AD|sinA/2|AE||AC|sinA/2
dan
xx+d+c=|AD||AC|=a+d+xx+d+a+b+c
olur. Buradan
x=a.d+a.c+d2+dcb−d
olur. Burada
(∗) kullanılırsa
x=a2.b.c+a.b2.c+a2.c2+a.b.c2b3−abc
bulunur. İstenen
x+d idi o halde,
x+d=a2.b.c+a.b2.c+a2.c2+a.b.c2b3−abc+a.cb=a2.c+2abc+a.c2b2−ac
olacaktır.