如图,正方形ABCD的四个顶点落在边长为4的正方形EFGH的四条边上,设AE=X