过点E作EG‖AD，连结DG，因为BE＝B1E，所以CG＝C1G，又因为DC＝DD1，∠FDD1＝∠GCD＝90°，所以△FDD1≌△GCD，则∠CDG＋∠DFD1＝∠CDG＋∠DGC＝90°，所以DG⊥D1F，因为AD⊥面C1D，所以AD⊥D1F，则D1F⊥面ADGE，所以面A1D1F⊥面ADGE，即面A1D1F⊥面ADE
是不是要找法向量呀？我知道二面角这样做！
