设定义在R上的函数满足，若，则_______。

函数的定义域为D，若对于任意，当时，都有，则称函数在D上为非减函数。设函数为定义在[0，1]上的非减函数，且满足以下三个条件：

① ；② ； ③  当时，恒成立。则          。

函数的定义域为D，若对于任意，当时，都有，则称函数在D上为非减函数。设函数为定义在[0，1]上的非减函数，且满足以下三个条件：① ；② ； ③  当时，恒成立。则          。

（1）对于定义在上的函数，满足，求证：函数在上是减函数；

（2）请你认真研读（1）中命题并联系以下命题：若是定义在上的可导函数，满足，则是上的减函数。然后填空建立一个普遍化的命题：

设是定义在上的可导函数，，若　 +，

则　　　　 是上的减函数。

注：命题的普遍化就是从考虑一个对象过渡到考虑包含该对象的一个集合；或者从考虑一个较小的集合过渡到考虑包含该较小集合的更大集合。

（3）证明（2）中建立的普遍化命题。