Vi vet at f′(x)=−x32 vil ha uendelig mange antideriverte med ulike konstantledd
∫−x32dx=∫−2x−3dx=−2−2x−2+C=x21+C
Her er C et hvilket som helst tall. Siden vi har fått vite at arealet av området som avgrenses av grafen til f, x=1, x=2 og x-aksen er lik 1411, samt at hele arealet ligger over x-aksen, kan vi bruke et bestemt integral for å finne verdien av C.
∫12(x21+C)dx∫12(x−2+C)dx[−x1+Cx]12(−21+C⋅2)−(−11+C⋅1)−21+2C+11−CC=1411=1411=1411=1411=1411=1411−21=72
Vår antideriverte til f′(x) har altså C=72, derfor har vi for alle x=0:
f(x)=x21+72