Verified answer

треугольники ЕКО и АКО - прямоугольные с острым углом 60 градусов. Это настолько очевидно, что даже не знаю, как объяснить:))) ну просто угол ЕОК равен половине КОF... 

Отсюда немедленно следует ЕО = 2*ОК = 12; АО = (1/2)*ОК = 3; АЕ =9;