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