【2015高考上海，理23】对于定义域为的函数，若存在正常数，使得是以为周期的函数，则称为余弦周期函数，且称为其余弦周期．已知是以为余弦周期的余弦周期函数，其值域为．设单调递增，，．
（1）验证是以为周期的余弦周期函数；
（2）设．证明对任意，存在，使得；
（3）证明：“为方程在上得解”的充要条件是“为方程在上有解”，并证明对任意都有．