已知函数f(x)=log2(3+2x-x^2),求证f(x)在(1,3)上是减函数