Ответ:

По теореме синусов сторона EF, лежащая напротив угла D, связана со стороной DE, лежащей напротив угла F:

\(\frac{EF}{\sin45^\circ}=\frac{DE}{\sin60^\circ}\).

Следовательно, \(EF=10\cdot\frac{\sin45^\circ}{\sin60^\circ}=10\cdot\frac{\sqrt2/2}{\sqrt3/2}=\frac{10\sqrt6}{3}\approx8.16\).

Ответ: \(EF=\frac{10\sqrt6}{3}\approx8.16\).