如图,正方形ABCD的边长为8,E、F分别为BC、CD边上的点,且tan∠EAF=,FG∥BC交AE于点G,若FG=5,则EF的长为
如图,已知等腰△ABC,AD是底边BC上的高,AD:DC=1:3,将△ADC绕着点D旋转,得△DEF,点A、C分别与点E、F对应,且EF与直线AB重合,设AC与DF相交于点O,则= .