在几何体ABCDEF中,平面ADE垂直平面ABCD,四边形ABCD为菱形