幂函数过点(2,根号2/3)用定义证明单调区间