定积分 为什么dcost=-sintdt?我知道(cost)'=-sint 可这是定积分的什么性质?我没学过求解答