Insättningsformeln är analysens huvudsats uttryckt som en beräkningsregel. Man kan se den som analysens huvudsats tillämpad baklänges.

---

Förutsättningar:

• En funktion f är kontinuerlig på intervallet \([a,b]\).
• F är en primitiv funktion till f

Påstående:

Då gäller att

$$ \int_a^b f(t)\,dt = F(b) – F(a). $$

---

Vad säger satsen i ord?

Om vi vill beräkna den bestämda integralen från a till b för funktionen f så kan vi göra det genom att först hitta en primitiv funktion F till f. Sedan beräknar vi integralen genom att ta differensen F(b) – F(a).