如图，ABCD-A1B1C1D1是正方体，点E，F分别是BB1，B1D1中点，求证：EF⊥DA1．

题型：不详难度：来源：

如图，ABCD-A₁B₁C₁D₁是正方体，点E，F分别是BB₁，B₁D₁中点，求证：EF⊥DA₁．

答案

以

DA

，

DC

，

DD1

分别为x轴，y轴，z轴建立空间直角坐标系，如下图所示：
设正方体棱长为1，则A₁（1，0，1），D（0，0，0），F（

1

2

，

1

2

，1），E（1，1，

1

2

），
所以

DA1

=（1，0，1），

EF

=（-

1

2

，-

1

2

，

1

2

），
因为

DA1

•

EF

=（1，0，1）•（-

1

2

，-

1

2

，

1

2

）=-

1

2

+0+

1

2

=0，
所以

DA1

⊥

EF

，即EF⊥DA₁．