c c1 的中点 x
连接 ex dx adxe是长方形
连接fx fd1 d1x dx fd1与dx交了o 然后证明fd1⊥dx （略）
fd1⊥dx ：fd1⊥adxe长方形
平面ADE在adxe长方形中 ：得证