四边形ABCD是梯形,AB//CD,AD垂直CD,三角形ADE是等边三角形,且ABCD平面垂直ADE平面,EF//AB,