Die Strecke \( \overline{EF} \) ist eine Gerade die durch den Punkt \( E = (x_1,y_1) \) geht und die Steigung \( \tan(72°) \) hat. Also lautet die Geradengleichung
$$ y(x) = \tan(72°) (x-x_1)+y_1 $$
Die Gerade geht auch durch den Punkt \(F = (x_2,y_2) \) Die y-Koordinate \( y_2 \) ist bekannt. Die x-Koordinate \( x_2\) kann berechnet werden durch
$$ y_2 = \tan(72°) (x_2-x_1)+y_1 $$ in dem man die Gleichung nach \( x_2 \) umstellt.
Die Strecke \( \overline{EF} \) kann man dann mit Pythagoras berechnen.