求证:平面BEF⊥平面ABC.
求证:平面BEF⊥平面ABC.
证法一:
EF∥CD.
AB⊥平面BCD


平面BEF⊥平面ABC.
证法二:建系如右图,取A(0,0,a),则易得B(0,0,0),C(
a,
a,0),D(0,
a,0),E(
a,
a,
),F(0,
a,
).

则有
=(-
a,
,0),
=(0,0,a),
=(
a,
a,0),
∵
·
=0,
·
=0,
∴EF⊥AB,EF⊥BC.
又AB∩BC=B,
∴EF⊥平面ABC,又EF
平面BEF,
∴平面ABC⊥平面BEF.