$AEB$ üçgenini $B$ noktası etrafında negatif yönde $90^{\circ}$ döndürerek $CFB$ üçgenini oluşturalım. Dönme açısından dolayı $m(\widehat{EBF})=90^{\circ}$ olur. İkizkenar dik $EBF$ üçgeninde $|EF|=\sqrt{2}$ dir. $EFC$ üçgeninde üçgen eşitsizliği yazılırsa $|EF|+|FC|=|EC|=1+\sqrt{2}$ eşitliğinin sağlandığını görürüz. Böylece $E,F,C$ noktalarının doğrusal olduğu anlaşılır. $AEC$ dik üçgeninden $|AC|^2=4+2\sqrt{2}$ olup $Alan(ABCD)=\dfrac{|AC|^2}{2}=2+\sqrt{2}$ olur.
(http://geomania.org/forum/index.php?action=dlattach;topic=4821.0;attach=14197;image)