关于分布积分的证明,怎么证明的不定积分相等?

我想知道下面红框里,第一个等式是导数的乘法法则,那怎么推导出第二个不定积分相等的?

img

套下出来了,∫(uv)'=(F(u)'F(v)')'=(F(u)')'F(v)'+(F(v)')'F(u)'=F(u)''F(v)'+F(v)''F(u)'
∫u'v=F(u)''F(v)';∫v'u=F(v)''F(u)'
你就把那个u跟v换成原函数就行了

两边积分就出来了,具体推导见下图:

img