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