高等数学，微积分，求定积分，写出解题过程。