Fundamental theorem of calculus
Continuity connects differentiation with integration.
Key knowledge
If f is continuous on [a,b], the accumulation F(x)=∫ₐˣf(t)dt satisfies F′(x)=f(x) for a<x<b. For any antiderivative G of f, ∫ₐᵇf(x)dx=G(b)−G(a).
Values and equations
F(x) = ∫ₐˣ f(t)dt ⇒ F′(x) = f(x)
- F
- Accumulation function
- f
- Continuous integrand
- t
- Integration variable
- a
- Lower bound
- x
- Interior point of [a,b]
∫ₐᵇ f(x)dx = G(b) − G(a)
- G
- Antiderivative with G′=f
- a, b
- Integration endpoints
- f
- Continuous integrand
- x
- Integration variable
Conditions and scope
- Here a < b; f is real-valued and continuous on the closed interval.
- G is an antiderivative on the interval and continuous at its endpoints.
Sources · 2
References
Sources retain their recorded scope. A source link alone does not establish verification of every statement.
Evidence and review
Both continuous-case theorem statements and their hypotheses.
2026-10-10 · Checked theorem statements against the displayed source; evidence records source support rather than a machine-checked proof.
Foundational review
2026-10-10 · Fresh primary-source inspection of the complete compact record, including every statement, equation, quantity and material condition, followed by independent AI editorial review. This check does not certify all linked lessons or every passage of every cited publication.
Sources from other places
Agreement within this scope
The two fundamental-theorem statements under continuity and antiderivative assumptions.
The endpoint difference and interior accumulation derivative agree.
Universidade de São Paulo, Instituto de Matemática e Estatística
- Cálculo I · Agenda 13: Integral de Riemann BrazilPortuguese
§2.4, Theorem 14 pp.16–17; Theorem 22 pp.20–21
- Cálculo I · Agenda 13: Integral de Riemann
Entry details
Permanent link to this entry ↗- Record identity
- math-fundamental-theorem-calculus
- Revision
- core.1
- Structured reference record
- Essential core · first collection