在正方体 ABCD−A₁B₁C₁D₁ 中，E、F 分别是 BB₁ 和 D₁B₁ 的中点。求证 EF ⟂ DA₁。

Subscribe to view the full content.