平面ADE垂直平面ABCD,三角形ADE是边长为a的等边三角形,ABCD是矩形,F是AB的中点,EC和平面ABCD成30