Verilenlerden |BC|=|CD|=1 cm olur. DBC üçgeninde kosinüs teoreminden |DB|2=2−2cos(BCD)...........(1) dir. ABCD dörtgeni bir kirişler dörtgeni olduğundan m(BCD)+m(DAB)=1800 olup cos(BCD)=−cos(DAB) dır.
ADB dik üçgeninde cos(DAB)=x4 tür. Bu sonuç (1) de kullanılırsa,
|DB|2=2+x2..........(2) olacaktır. Öte yandan ABD dik üçgeninde Pisagor teoreminden
x2+|DB|2=|AB|2⇒x2+2+x2=16⇒2x2+x−28=0⇒x=7/2 olarak bulunur.