TuttoCalcolo
TC StudioEducation
Matrici e SpaziSistemi LineariDiagonalizzazioneStudio ConichePolinomi & RuffiniTrigonometria
Studio FunzioneDerivateIntegraliLimitiEquazioniDerivate ParzialiInt. MultipliMassimi/Minimi
Stipendio NettoForfettarioCalcolo TFRScorporo IVACalcolo IMURata Mutuo

Probabilita

StatisticaCombinatorioT. BayesDistribuzioni

Utility

Cod. FiscaleC.F. InversoPoker OddsParadosso
Tutti i calcolatori
Edu/Analisi 1/Integrali

I Teoremi del Calcolo Integrale

Il ponte tra derivate e integrali. Esplora le dimostrazioni formali che hanno rivoluzionato la storia della matematica.

🎓

Questi teoremi sono una domanda fissa all'esame orale. Sono strutturati a cascata: se non capisci il Teorema della Media, non puoi dimostrare Torricelli. Leggi prima l'intuizione grafica, poi espandi la dimostrazione rigorosa.

1

Teorema della Media Integrale

L'intuizione grafica

Immagina un'area curva. Il teorema ci dice che esiste sempre un'altezza "media" f(c)f(c) tale per cui, se costruissimo un rettangolo perfetto con quell'altezza, l'area del rettangolo sarebbe identica all'area della curva originale.

f(c) Mediaab
Enunciato Formale
Sia f(x)f(x) una funzione continua in [a,b][a, b]. Allora esiste almeno un punto c∈[a,b]c \in [a, b] tale che:
∫abf(x) dx=f(c)⋅(b−a)\int_a^b f(x) \, dx = f(c) \cdot (b - a)

In parole semplici: In pratica, f(c) è il valore medio che la funzione assume nell'intervallo.

📐 Logica Matematica

  1. Poiché ff è continua in un intervallo chiuso e limitato, per il Teorema di Weierstrass essa ammette un minimo assoluto mm e un massimo assoluto MM. Quindi: m≤f(x)≤Mm \le f(x) \le M.
  2. Integriamo tutti i membri della disuguaglianza tra aa e bb:
    ∫abm dx≤∫abf(x) dx≤∫abM dx\int_a^b m \, dx \le \int_a^b f(x) \, dx \le \int_a^b M \, dx
  3. Risolvendo gli integrali delle costanti ai bordi:
    m(b−a)≤∫abf(x) dx≤M(b−a)m(b-a) \le \int_a^b f(x) \, dx \le M(b-a)
  4. Dividiamo tutto per la larghezza dell'intervallo (b−a)(b-a):
    m≤1b−a∫abf(x) dx≤Mm \le \frac{1}{b-a} \int_a^b f(x) \, dx \le M
  5. Il valore centrale della frazione è un numero compreso tra il minimo e il massimo della funzione. Per il Teorema dei Valori Intermedi, la funzione f(x)f(x) assume sicuramente quel valore in almeno un punto cc. Quindi:
    f(c)=1b−a∫abf(x) dxf(c) = \frac{1}{b-a} \int_a^b f(x) \, dx
    Moltiplicando per (b−a)(b-a), il teorema è dimostrato.
2

Teorema di Torricelli

La Funzione Integrale

Immagina un grafico dove un muro a sinistra è fisso (aa), mentre il muro a destra (xx) si muove. Man mano che sposti xx, l'area accumulata cambia. Questa "area variabile" è una funzione. Torricelli dimostra che la velocità con cui questa area cresce è esattamente la funzione stessa.

axG(x)
Enunciato Formale
Sia f(t)f(t) continua in [a,b][a, b]. Sia G(x)=∫axf(t) dtG(x) = \int_a^x f(t) \, dt la funzione integrale. Allora G(x)G(x) è derivabile e la sua derivata coincide con la funzione integranda:
G′(x)=f(x)G'(x) = f(x)

In parole semplici: Dimostra che l'integrazione è l'operazione esattamente inversa della derivazione. Una pietra miliare della logica umana.

📐 Logica Matematica

Per dimostrarlo, applichiamo la definizione di derivata come limite del rapporto incrementale.

  1. Scriviamo il rapporto incrementale di G(x)G(x):
    G(x+h)−G(x)h=1h(∫ax+hf(t)dt−∫axf(t)dt)\frac{G(x+h) - G(x)}{h} = \frac{1}{h} \left( \int_a^{x+h} f(t)dt - \int_a^x f(t)dt \right)
  2. Per la proprietà di additività degli integrali, la differenza tra l'area fino a x+hx+h e l'area fino a xx è semplicemente l'area della piccola "fetta" tra xx e x+hx+h:
    =1h∫xx+hf(t) dt= \frac{1}{h} \int_x^{x+h} f(t) \, dt
  3. Ora usiamo il Teorema della Media Integrale (visto sopra) su questa piccola fetta. Esisterà un punto ch∈[x,x+h]c_h \in [x, x+h] tale che l'integrale è pari a f(ch)⋅hf(c_h) \cdot h. Sostituiamo:
    1h⋅[f(ch)⋅h]=f(ch)\frac{1}{h} \cdot [ f(c_h) \cdot h ] = f(c_h)
  4. Passiamo al limite per h→0h \to 0. Man mano che la fetta si restringe, l'intervallo [x,x+h][x, x+h] collassa sul punto xx. Di conseguenza, anche il punto chc_h è costretto a tendere a xx.
  5. Poiché ff è continua, avremo:
    lim⁡h→0f(ch)=f(x)\lim_{h \to 0} f(c_h) = f(x)
    La derivata di G(x)G(x) è dunque f(x)f(x). Q.E.D.
3

Formula Fondamentale (Barrow)

Enunciato Formale
Sia f(x)f(x) continua in [a,b][a, b] e sia F(x)F(x) una qualunque sua primitiva. Allora:
∫abf(x) dx=F(b)−F(a)\int_a^b f(x) \, dx = F(b) - F(a)

In parole semplici: Questa è la formula che usi negli esercizi. Ti dice che per calcolare l'area non servono somme infinite, basta fare la differenza tra la primitiva calcolata agli estremi.

📐 Logica Matematica

La dimostrazione è brevissima perché sfrutta il risultato di Torricelli.

  1. Per il Teorema di Torricelli, sappiamo che G(x)=∫axf(t)dtG(x) = \int_a^x f(t)dt è una primitiva di ff.
  2. Sappiamo però che due primitive di una stessa funzione differiscono solo per una costante cc (Corollario di Lagrange). Quindi ogni primitiva F(x)F(x) può essere scritta come:
    F(x)=G(x)+cF(x) = G(x) + c
  3. Calcoliamo la differenza F(b)−F(a)F(b) - F(a):
    F(b)−F(a)=[G(b)+c]−[G(a)+c]=G(b)−G(a)F(b) - F(a) = [G(b) + c] - [G(a) + c] = G(b) - G(a)
  4. Ricordando la definizione di G(x)G(x):
    • G(b)=∫abf(t)dtG(b) = \int_a^b f(t)dt (Area da a fino a b)
    • G(a)=∫aaf(t)dt=0G(a) = \int_a^a f(t)dt = 0 (L'area in un punto è nulla)
  5. Sostituendo questi valori otteniamo:
    F(b)−F(a)=∫abf(t) dt−0=∫abf(x) dxF(b) - F(a) = \int_a^b f(t) \, dt - 0 = \int_a^b f(x) \, dx
    Formula dimostrata.
Lezione Precedente← Integrale Definito e AreeProssima LezioneIntegrali Impropri→