如图，几何体EF﹣ABCD中，CDEF为边长为2的正方形，ABCD为直角梯形，AB∥CD，AD⊥DC，AD=2，AB=4，∠ADF=90°．