BC || EF || AD, AE : EB = 3 : 1, значит, по теореме Фалеса DF : FC = 3 : 1.
Опустим высоты BH1 и CH2. H1H2 = BC = O1O2 = 4, так как BCH2H1, BCO2O1 — прямоугольники. Пусть AH1 = k, тогда H2D = AD - AH1 - H1H2 = 1 - k.
Рассмотрим треугольники AH1B и EO1B: углы H1 и O1, A и E равны как соответственные — треугольники подобны по I признаку. Коэффициент подобия равен 1 : (1 + 3) = 1 : 4. Тогда EO1 = k / 4. Аналогично рассуждая, получим O2F = (1 - k) / 4.
EF = EO1 + O1O2 + O2F = k / 4 + 4 + (1 - k) / 4 = (k + 1 - k) / 4 + 4 = 1 / 4 + 4 = 4,25.
Ответ: 4,25