例如∫cosxdx=sinx+C的证明:只要右边sinx+C求导=左边的被积函数cosx,则证明了右边是左边的原函数;并且右边含有任意常数C,则证明了右边是左边的全体原函数,根据不定积分的概念,则积分公式∫cosxdx=sinx+C得证。