已知函数的定义域为，且对任意，都有，且当时，恒成立，
证明：（1）函数是上的减函数；
（2）函数是奇函数。