如图， 在正四面体 ABCD 中， E 是棱 AC 的中点， F 在棱 BD 上， 且 BD＝4FD，则异面直线 EF 与 AB 所成的角的余弦值为（）
如图， 在正四面体 ABCD 中， E 是棱 AC 的中点， F 在棱 BD 上， 且 BD＝4FD，则异面直线 EF 与 AB 所成的角的余弦值为（）
花窗是一种在窗洞中用镂空图案进行装饰的建筑结构， 这是中国古代建筑中常见的美化形式， 既具备实用功能， 又带有装饰效果． 如图所示是一个花窗图案， 大圆为两个等腰直角三角形的外接圆， 阴影部分是两个等腰直角三角形的内切圆． 若在大圆内随机取一点， 则该点取自阴影部分的概率为（）
某大学工程学院共有本科生 1200 人、 硕士生 400 人、 博士生 200 人， 要用分层抽样的方法从中抽取一个容量为 180 的样本， 则应抽取博士生的人数为（）
已知命题 p： ∃x∈N*， lgx＜0， q： ∀x∈R， cosx≤1， 则下列命题是真命题的是（）
