已知道tana+sina=x,tana-sina=y,求证(x平方+y平方)平方=16xy