菱形ABCD边长为2角a40度,沿EF折叠后A点落到边中点G上,求EF