已知tan@+sin@=a,tan@-sin@=b求证(a^2-b^2)=16ab