因为E,F分别是AB,BD的中点所以EF平行AD(中位线性质)而AD在面ACD上所以直线EF//面ACD 因为CB=CD,F是中点所以BD垂直CF又BD垂直EF所以BD垂直面EFC,又BD在面BCD上所以面EFC垂直面BCD
∵CB=CD∴△CBD为等腰三角形;∴CF垂直BD又EF为中线,∴EF平行于AD而AD垂直BD∴EF垂直BD∴BD垂直于面EFC而BD为面BCD内的一条线∴面EFC垂直于面BCD