求导,定积分