已知tanx+sinx=a,tanx-sinx=b,求证(a^2-b^2)^2=16ab