Welcome guest
You're not logged in.
288 users online, thereof 0 logged in

Theorem: Indefinite Integral, Antiderivative

Let \(I\) be a real interval (it could be closed, open, semi-open, or even unbounded). Let \(f:I\mapsto\mathbb R\) be a continuous real function. Further, let \([a,x]\subseteq I\) be a closed interval contained in \(I\). Because the continuity of \(f\) on the closed interval \([a,x]\) is a sufficient condition for \(f\) to be Riemann integrable on that interval, this motivates the following


The indefinite integral as the function depending on any \(x\in I\):

\[F(x):=\int_a^x f(t)dt.\]


The function \(F:I\mapsto\mathbb R\) is differentiable and its derivative is
Because of this property, the indefinite integral \(F\) is sometimes also called the antiderivative of \(f\)

| | | | | created: 2016-03-06 09:18:51 | modified: 2016-03-08 23:19:18 | by: bookofproofs | references: [581]

1.Proof: (related to "Indefinite Integral, Antiderivative")

2.Proposition: Antiderivatives are Uniquely Defined Up to a Constant

Edit or AddNotationAxiomatic Method

This work was contributed under CC BY-SA 4.0 by:

This work is a derivative of:


Bibliography (further reading)

[581] Forster Otto: “Analysis 1, Differential- und Integralrechnung einer Veränderlichen”, Vieweg Studium, 1983