17.(10分)已知p:方程+=1所表示的曲线为焦点在x轴上的椭圆;q:实数t满足不等式t2﹣(a﹣1)t﹣a<0.
(1)若p为真命题,求实数t的取值范围;
(2)若p是q的充分不必要条件,求实数a的取值范围.
18.(12分)已知等差数列{an}的前n项和为Sn,n∈N+,a2=3,S5=25.
(1)求数列{an}的通项公式;
(2)若数列{bn}满足bn=,数列{bn}的前n项和为Tn,证明:Tn<1.
19.(12分)如图,在三棱锥中,是边长为4的正三角形,平面平面,,为的中点.
(1)证明:;
(2)求二面角的余弦值;
20.(12分)2017年,在国家创新驱动战略下,北斗系统作为一项国家高科技