线面垂直判定(1)不用了,已证(2)∵FA⊥平面ABCD FA含于平