求证:平面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.