已知函数f(x)=log1/2 [根号2乘sin(x-π/4)]