f(x)在R上单调递增，f'(x)=a-cosx在R上恒大于等于0，cosx的取值范围是[-1,1],所以a-cosx大于等于a-1大于等于0，a大于等于1，而前面的条件是a>1,是a大于等于1的子集，所以a>1可推出a大于等于1，是充分条件，a大于等于1不能推出a大于1（因为多了个a=1),是不必要条件，所以前面是后面的充分不必要条件
