已知sinx=4sin(x+y),(其中x+y≠π/2+kπ,k∈Z),求证:tan(x+y)=siny/(cosy-4