解 y' + ycos x = cos x 。