sinx+cosx为什么等于cos(2x-pai/4)~