La dimostrazione parte dal rapporto incrementale della funzione integrale e usa il teorema della media integrale per riconoscere, al limite, il valore f(x)f(x).

Dimostrazione

Calcoliamo il rapporto incrementale di FF: F(x+h)F(x)h=1h[ax+hf(t)dtaxf(t)dt]=1hxx+hf(t)dt.\frac{F(x+h)-F(x)}{h} = \frac{1}{h}\left[\int_a^{x+h}f(t)\,dt - \int_a^x f(t)\,dt\right] = \frac{1}{h}\int_x^{x+h}f(t)\,dt.

Ora 1hxx+hf(t)dt\dfrac{1}{h}\displaystyle\int_x^{x+h}f(t)\,dt è esattamente la media integrale di ff sull’intervallo [x,x+h][x, x+h]. Per il teorema della media integrale (appena dimostrato), esiste un punto ch[x,x+h]c_h\in[x, x+h] tale che: 1hxx+hf(t)dt=f(ch).\frac{1}{h}\int_x^{x+h}f(t)\,dt = f(c_h).

Quando h0h\to 0, l’intervallo [x,x+h][x, x+h] si “schiaccia” e chxc_h\to x. Poiché ff è continua, f(ch)f(x)f(c_h)\to f(x). Dunque: F(x)=limh0F(x+h)F(x)h=limh0f(ch)=f(x).F'(x) = \lim_{h\to 0}\frac{F(x+h)-F(x)}{h} = \lim_{h\to 0}f(c_h) = f(x). \qquad \blacksquare

Collegamenti

Argomenti: Teoremi del calcolo
Concetti: Funzione integrale · Teorema della media integrale · Teorema fondamentale del calcolo
Competenze: Dimostrare · Integrare