(3)求二面角D1―BF―C的余弦值.
(2)证明:EF是异面直线D1B与AD的公垂线;
(1)建立适当的坐标系,求出E点的坐标;
正四棱柱ABCD―A1B1C1D1中,已知AB=2,E,F分别是D1B,AD的中点,cos=.
17(本小题满分12分)