1 . 已知函数的定义域是，若对于任意的，，当时，都有，则称函数在上为不减函数.现有定义在上的函数满足下述条件：
①对于，总有，且，；
②对于，，若，则.
试证明下列结论：
(1)对于，，若，则；
(2)在上为不减函数；
(3)对，都有.