在三角形DD1B中，E，F分别为DD1和DB的中点，所以EF与D1B平行。（中位线）BD1在面BCB1C1上的正射影为BC1,而BC1与B1C垂直（这个就不用证了吧）所以D1B垂直于B1C（射影定理）又因为EF平行于D1B，所以EF也垂直于B1C仅仅是思路，过程就自己整理吧
