Integraalifunktsioon
Integraalifunktio, tunnettu myös nimellä antiderivaatta, on käänteisfunktio derivoimiselle. Jos funktio F(x) on funktion f(x) integraalifunktio, niin F'(x) = f(x). Toisin sanoen, integraalifunktion derivaatta on alkuperäinen funktio. Integraalifunktion olemassaolo liittyy läheisesti analyysin peruslauseeseen, joka yhdistää määräämättömän integraalin ja määrätyn integraalin.
Määräämättömälle integraalille, joka merkitään symbolilla ∫ f(x) dx, pätee, että se edustaa kaikkia funktion f(x) integraalifunktioita. Koska
Määrätty integraali, joka merkitään ∫[a,b] f(x) dx, lasketaan käyttämällä integraalifunktiota. Analyysin peruslauseen mukaan, jos F(x) on