|EC|=x birim ise |CB|=x(2+√3) olacaktır. x(2+√3)=2⇒x=4−2√3 olur ve |DE|=4−(4−2√3)=2√3 olur. Daha sonra ADE dik üçgeninde pisagor teoreminden |AE|=4 bulunur.