小正方形ABCD边长为4,大正方形ECFG的边长为8.