De la Wikipedia, enciclopedia liberă.
În matematică , teorema medie integrală este o teoremă care leagă noțiunile de funcție integrală și continuă pentru funcțiile unei variabile reale . O funcție continuă definită pe un interval are încă un interval ca imagine : teorema medie integrală stabilește că media integrală a funcției este o valoare inclusă în intervalul de imagine.
Teorema
Conceptul de medie integrală este o generalizare a ideii de medie aritmetică . Ideea este de a calcula valoarea medie asumată de o funcție {\ displaystyle f} pe un interval {\ displaystyle [a, b]} prin calcularea mediei aritmetice a valorilor pe care funcția le ia pe un întreg întreg (foarte mare) set de puncte distribuite uniform în interval, adică intervalul este împărțit în {\ displaystyle N} sub-intervale {\ displaystyle [x_ {k}, x_ {k + 1}]} toate în lungime {\ displaystyle (ba) / N} iar media se calculează:
care poate fi scris și ca:
- {\ displaystyle {\ frac {1} {ba}} \ sum _ {i = 0} ^ {N} {\ frac {ba} {N}} f (x_ {i})}
Din definiția integralei Riemann rezultă că luând în considerare cantitatea {\ displaystyle N} întotdeauna mai mare decât punctele, această expresie converge la valoare:
- {\ displaystyle {{1} \ over {ba}} \ int _ {a} ^ {b} f (x) \, dx}
care se numește media integrală a {\ displaystyle f} .
Teorema afirmă că dacă {\ displaystyle f \ colon [a, b] \ to \ mathbb {R}} este continuu (deci integrabil) atunci există {\ displaystyle c \ in [a, b]} astfel încât:
- {\ displaystyle {{1} \ over {ba}} \ int _ {a} ^ {b} f (x) \, dx = f (c)}
Echivalent:
- {\ displaystyle \ int _ {a} ^ {b} f (x) dx = (ba) f (c)}
Demonstrație
Fiind {\ displaystyle f} continuați în {\ displaystyle [a, b]} , prin teorema Weierstrass este dotată cu un maxim {\ displaystyle M} și minim {\ displaystyle m} pe {\ displaystyle [a, b]} , deci avem:
- {\ displaystyle m \ leq f (x) \ leq M}
Din proprietatea monotoniei integralei rezultă:
- {\ displaystyle \ int _ {a} ^ {b} m \, dx \ leq \ int _ {a} ^ {b} f (x) \, dx \ leq \ int _ {a} ^ {b} M \ , dx}
În laturile stânga și dreapta ale inegalității se integrează o funcție constantă , deci avem:
- {\ displaystyle \ int _ {a} ^ {b} m \, dx = m \ int _ {a} ^ {b} \, dx = m (ba)}
și în mod similar:
- {\ displaystyle \ int _ {a} ^ {b} M \, dx = M \ int _ {a} ^ {b} \, dx = M (ba)}
Prin urmare, obținem:
- {\ displaystyle m (ba) \ leq \ int _ {a} ^ {b} f (x) \, dx \ leq M (ba)}
adică dacă {\ displaystyle b> a} :
- {\ displaystyle m \ leq {{1} \ over {ba}} \ int _ {a} ^ {b} f (x) \, dx \ leq M}
Prin teorema valorii intermediare {\ displaystyle f} trebuie să accepte {\ displaystyle [a, b]} toate valorile dintre:
- {\ displaystyle \ sup _ {[a, b]} f = M {\ mbox {e}} \ inf _ {[a, b]} f = m}
prin urmare, în special, există un {\ displaystyle c \ in [a, b]} astfel încât:
- {\ displaystyle f (c) = {{1} \ over {ba}} \ int _ {a} ^ {b} f (x) dx}
Bibliografie
Elemente conexe