已知函数 为幂函数，且在区间 上单调递减.