Derivata unei primitive

 

Fie  o funcție care admite primitive pe [a,b] și F o primitivă oarecare a lui f.

- formula lui Leibniz-Newton

În plus, dacă G este o altă primitivă pentru f, atunci

sunt primitive ale lui f.

Teorema de existență a primitivelor unei funcț