13．对于定义域内的任意实数x，函数f（x）＝的值恒为正数，则实数a的取值范围是（    ）

（18分）（2015•上海）对于定义域为R的函数g（x），若存在正常数T，使得cosg（x）是以T为周期的函数，则称g（x）为余弦周期函数，且称T为其余弦周期．已知f（x）是以T为余弦周期的余弦周期函数，其值域为R．设f（x）单调递增，f（0）=0，f（T）=4π．

（1）验证g（x）=x+sin是以6π为周期的余弦周期函数；

（2）设a＜b，证明对任意c∈[f（a），f（b）]，存在x0∈[a，b]，使得f（x0）=c；

（3）证明：“u0为方程cosf（x）=1在[0，T]上得解，”的充分条件是“u0+T为方程cosf（x）=1在区间[T，2T]上的解”，并证明对任意x∈[0，T]，都有f（x+T）=f（x）+f（T）．

4.如果函数的相邻两个零点之间的距离为，则的值为