已知幂函数y=f(x)的图像过点(2,√2/2).试求此解析式.证明单调性.