\( \displaystyle \overline{EF\vphantom{\big|}} = \sqrt{\frac{1}{2}(5+\sqrt{5})} \)
\( \displaystyle \overline{AF\vphantom{\big|}} = \sqrt{\frac{1}{2}(5+\sqrt{5})} \)
\( \displaystyle \overline{AE\vphantom{\big|}} = \sqrt{5+\sqrt{5}} \)
Mit dem Cosinussatz komme ich auf \( \alpha = 120^\circ \)