一,选择题(本题共12小题,毎小题5分,共60分.在每小题列出的四个选项中,中有一项符合题目要求)
1.(5分)设命题P:∀n∈N,n2≤2n,则¬P为( )
A.∃n∈N,n2≤2n B.∀n∈N,n2>2n C.∃n∈N,n2>2n D.∃n∈N,n2=2n
3.(5分)设等差数列{an}的前n项和为Sn,若a4,a6是方程x2﹣8x+5=0的两根,那么S9=( )
5.(5分)中国古代数学著作"算法统宗"中有这样一个问题:"三百七十八里关,初步健步不为难,次日脚痛减一半,六朝才得到其关,要见次日行里数,请公仔细算相还."其大意为:"有一个人走378里路,第一天健步行走,从第二天起脚痛,每天走的路程为前一天的一半,走了6天后到达目的地,"则该人第四天走的路程为( )