如图平面ADEF的法向量怎么求?答案是(0,1,0)为什么?