平面abcd垂直于平面adef,abcd是正方形,abef是矩形,且af