证明：如图，∵E、F分别是AB1、CB1的中点，∴EF∥AC．∵AB1=CB1，O为AC的中点，∴B1O⊥AC．故B1O⊥EF．在Rt△B1BO中，∵BB1=3，BO=1，∴∠BB1O=30°．从而∠OB1D1=60°，又B1D1=2，B1O1=12OB1=1（O1为B1O与EF的交点...