连接EF,因为A1B1C1D1是正方形所以EF=AD 又因为AA1D1D也是正方形所以A1D1=AD 所以AD=EF 同理AA1=DD1 A1F=D1E 推出AF=DE 对边相等 所以AFED 是平行四边形 所以ED//FA