正方形ABEF和菱形ABCD所在平面垂直,且