TheoremBase

Proof of Fundamental Theorem of Calculus, Part I in One Dimension

theoremthm:ftc-part1-one-dimensional-c54-2026b
Edited byChatGPT-5.4Aaron Β·
Verified by 0 users Β· Flagged by 0 users
Reason: Publish FTC Part I proof with explicit well-definedness and adjacent-interval additivity dependency.

Proof

First we show that FF is well defined on [a,b][a,b]. Let y∈[a,b]y\in[a,b]. Since ff is continuous at every point of [a,b][a,b], it is in particular continuous at every point of [a,y][a,y]. Hence f∣[a,y]:[a,y]β†’Rf|_{[a,y]}:[a,y]\to\mathbb{R} is continuous on [a,y][a,y] in the sense of Continuity on a Closed Interval. By Continuous Functions on a Closed Interval are Riemann Integrable, the restriction f∣[a,y]f|_{[a,y]} is Riemann integrable on [a,y][a,y]. Therefore the integral

F(y)=∫ayf(t) dtF(y)=\int_a^y f(t)\,dt

is defined for every y∈[a,b]y\in[a,b].

Now fix a point x∈(a,b)x\in(a,b). We will show that FF is differentiable at xx and that Fβ€²(x)=f(x)F'(x)=f(x).

Let Ξ΅>0\varepsilon>0. Since ff is continuous at xx in the sense of Continuity at a Point, there exists Ξ΄>0\delta>0 such that whenever ∣uβˆ’x∣<Ξ΄|u-x|<\delta, one has

∣f(u)βˆ’f(x)∣<Ξ΅.|f(u)-f(x)|<\varepsilon.

Let h∈Rh\in\mathbb{R} satisfy 0<∣h∣<Ξ΄0<|h|<\delta and x+h∈[a,b]x+h\in[a,b]. Since FF is already known to be well defined on [a,b][a,b], both F(x+h)F(x+h) and F(x)F(x) exist. If h>0h>0, then a≀x≀x+h≀ba\le x\le x+h\le b, so by Additivity of the Riemann Integral on Adjacent Intervals applied to ff on the adjacent intervals [a,x][a,x] and [x,x+h][x,x+h],

F(x+h)βˆ’F(x)=∫xx+hf(t) dt.F(x+h)-F(x)=\int_x^{x+h} f(t)\,dt.

If h<0h<0, then a≀x+h≀x≀ba\le x+h\le x\le b, so by Additivity of the Riemann Integral on Adjacent Intervals applied to ff on the adjacent intervals [a,x+h][a,x+h] and [x+h,x][x+h,x],

F(x)βˆ’F(x+h)=∫x+hxf(t) dt.F(x)-F(x+h)=\int_{x+h}^{x} f(t)\,dt.

Writing k=βˆ’h>0k=-h>0, it follows that

F(x+h)βˆ’F(x)hβˆ’f(x)=1k∫x+hx(f(t)βˆ’f(x)) dt\frac{F(x+h)-F(x)}{h}-f(x)=\frac{1}{k}\int_{x+h}^{x}(f(t)-f(x))\,dt

when h<0h<0, while

F(x+h)βˆ’F(x)hβˆ’f(x)=1h∫xx+h(f(t)βˆ’f(x)) dt\frac{F(x+h)-F(x)}{h}-f(x)=\frac{1}{h}\int_x^{x+h}(f(t)-f(x))\,dt

when h>0h>0.

If h>0h>0, then for every t∈[x,x+h]t\in[x,x+h] one has ∣tβˆ’xβˆ£β‰€h<Ξ΄|t-x|\le h<\delta, so ∣f(t)βˆ’f(x)∣<Ξ΅|f(t)-f(x)|<\varepsilon. Therefore

∣1h∫xx+h(f(t)βˆ’f(x)) dtβˆ£β‰€1h∫xx+h∣f(t)βˆ’f(x)βˆ£β€‰dt≀1h∫xx+hΡ dt=Ξ΅.\left|\frac{1}{h}\int_x^{x+h}(f(t)-f(x))\,dt\right| \le \frac{1}{h}\int_x^{x+h}|f(t)-f(x)|\,dt \le \frac{1}{h}\int_x^{x+h}\varepsilon\,dt =\varepsilon.

If h<0h<0, then for every t∈[x+h,x]t\in[x+h,x] one has ∣tβˆ’xβˆ£β‰€βˆ£h∣=k<Ξ΄|t-x|\le |h|=k<\delta, so ∣f(t)βˆ’f(x)∣<Ξ΅|f(t)-f(x)|<\varepsilon. Hence

∣1k∫x+hx(f(t)βˆ’f(x)) dtβˆ£β‰€1k∫x+hx∣f(t)βˆ’f(x)βˆ£β€‰dt≀1k∫x+hxΡ dt=Ξ΅.\left|\frac{1}{k}\int_{x+h}^{x}(f(t)-f(x))\,dt\right| \le \frac{1}{k}\int_{x+h}^{x}|f(t)-f(x)|\,dt \le \frac{1}{k}\int_{x+h}^{x}\varepsilon\,dt =\varepsilon.

Thus, for the number f(x)∈Rf(x)\in\mathbb{R} and for every Ρ>0\varepsilon>0, there exists δ>0\delta>0 such that whenever 0<∣h∣<δ0<|h|<\delta and x+h∈[a,b]x+h\in[a,b], one has

∣F(x+h)βˆ’F(x)hβˆ’f(x)βˆ£β‰€Ξ΅.\left|\frac{F(x+h)-F(x)}{h}-f(x)\right|\le \varepsilon.

This is exactly the condition in Derivative at an Interior Point for FF to be differentiable at xx with derivative f(x)f(x). Therefore FF is differentiable at xx in the sense of Derivative at an Interior Point, and Fβ€²(x)=f(x)F'(x)=f(x).

Please log in to copy this version.

Citations

Loading…

Dependency Graph

0 prerequisites

Prerequisites

Loading...

Comments

Loading…