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