证明：
连接AC交BD与O点
在三角形AA1C中EO为中位线
所以EO平行AC
又因为EO在面BED内,AC不在面BED内
所以AC平行面BED
BD⊥AC
BD⊥AA1
AC与AA1交与A
所以BD垂直面AA1C
又因为BD在面BED内
所以面BED垂直面AA1C