∵C1C⊥面A1B1C1D1
∴DE⊥面A1B1C1D1
则DE⊥D1B1
连接AD,BD
可证B1D1‖BD
有BD⊥AD
∴B1D1⊥AD
有AD∩DE=D
∴B1D1⊥面ADE
即B1D1⊥AE