过M作MP垂直于CD
过N作NQ垂直于DF
连接QP
因为面BCD和面AFE垂直于面CED
又因为BC=AD BM=AN
在直角三角形BCD和AED中易得
MP=NQ
MP//NQ
所以MNQP是平行四边形
所以MN//QO
QP在面CED内
所以MN//面CED
过M作MP垂直于CD
过N作NQ垂直于DF
连接QP
因为面BCD和面AFE垂直于面CED
又因为BC=AD BM=AN
在直角三角形BCD和AED中易得
MP=NQ
MP//NQ
所以MNQP是平行四边形
所以MN//QO
QP在面CED内
所以MN//面CED