证明。 从乘积求导法则和微积分基本定理推导公式 integrate u dv = uv - integrate v du 。