连接BD,交EF于M,同时,在线段DD1上取N,使得DN=3ND1,由△DMN∽△DBD1,这知MN∥BD1,EF与MN相交,
所以他们共面,而BD1不在面EFMN上,
所以EF与BD1 互为异面直线.
取CC1中点P,知FP∥BC1(中位线),且FP与EF相交,所以他们共面,而BC1不在面EFP上,
所以EF与BC1 互为异面直线.
连接BD,交EF于M,同时,在线段DD1上取N,使得DN=3ND1,由△DMN∽△DBD1,这知MN∥BD1,EF与MN相交,
所以他们共面,而BD1不在面EFMN上,
所以EF与BD1 互为异面直线.
取CC1中点P,知FP∥BC1(中位线),且FP与EF相交,所以他们共面,而BC1不在面EFP上,
所以EF与BC1 互为异面直线.