高数题，用凑微分求不定积分。