已知函数f(x)是定在(0到正无穷)上的减函数,且满足f(xy)=f(x)-f(y),f(3)=1 (1)求f(9),f