sinx+cosx怎么化简?最好公式和推导过程都有.