立体几何综合训练在如图所示的多面体ABCDEF中,平面ABCD是边长为6的正方型,EF//AB,EF=3,三角型ADE是