Llamando \( a=\overline{EF},b=\overline{AD}, c=\overline{DF}, d=\overline{AB}=\overline{FG}, e=\overline{AE} \), aplicando Pitágoras en el triángulo \( \triangle{AEF} \), \( e^2=a^2+(b+c)^2 \) y como es \( a=\dfrac{e}{2} \), se tiene \( 3a^2=(b+c)^2\Longrightarrow b+c=a\sqrt{3} \).
Por otra parte, como \( \dfrac{c}{a}=\tan 15^{\circ}=2-\sqrt{3}\Longleftrightarrow c=a(2-\sqrt{3}) \) se tiene que \( a+d=a+\dfrac{b}{2}=a+\dfrac{a\sqrt{3}-c}{2}=\dfrac{2a+a\sqrt{3}-a(2-\sqrt{3})}{2}=a\sqrt{3}=b+c \) con lo que el triángulo rectángulo \( \triangle{EGB} \) es isósceles y así \( \widehat{EBG}=45^{\circ} \)