Darboux-tétel
A Wikipédiából, a szabad lexikonból.
A Darboux-tétel a matematikai analízisben azt mondja ki, hogy egy differenciálható függvény deriváltfüggvénye, amenyiben intervallumon értelmezett, akkor két érték között minden értéket felvesz. A deriváltfüggvény tehát ha nem is feltétlenül folytonos, de ugrása semmiképpen nem lehet.
Tartalomjegyzék |
[szerkesztés] A tétel
Minden differenciálható valós-valós függvény deriváltfüggvénye Darboux-tulajdonságú.
[szerkesztés] Bizonyítás
Elegendő belátni, hogy ha egy f : [a,b] R korlátos és zárt intervallumon értelmezett, differenciálható (a végpontokban balról, jobbról differenciálható) függvény olyan, hogy f '(a) < f '(b), akkor minden m ∈ (f '(a),f '(b)) nyílt intervallumbeli értékhez található olyan c ∈ (a,b) nyílt intervallumbeli pont, hogy m = f '(c).
[szerkesztés] Weierstrass tételével
Definiáljuk minden x ∈ [a,b]-re a
függvényt. Minthogy f is, így g is folytonos és differenciálható. g deriváltja:
azaz ha g '(x) = 0, akkor f '(x) = m, így feladatunk, hogy keressünk a belső pontok között zérushelyet g '-nek. Weierstrass tétele értelmében létezik g-nek minimuma. Ha ez a-ban van, akkor g '(a) = f '(a) - m < 0 miatt ott a függvény lokálisan csökkenne és lenne f(a)-nál kisebb értéke, ami lehetetlen. Ugyanígy g '(b) > 0 miatt lenne b előtt a függvénynek g (b)-nél kisebb értéke. A minimum helye tehát csak (a,b)-ben lehet és akkor a szélsőértékekre vonatkozó Fermat-tétel szerint ott g deriváltja 0, f deriváltja pedig, így m. ■
[szerkesztés] A Lagrange-féle középértéktétellel
Definiálni fogunk egy folytonos függvényt, melynek minden helyettesítési értéke olyan alakú, mint a Lagrange-féle középértéktételben szereplő hányados. Ennek a hányadosnak az értéke fog végigfutni az (f '(a), f '(b)) nyílt intervallum minden pontján, és így ad majd az f ' deriváltfüggvény, alkalmas c pontban m függvényértéket.
Legyen k az a és b számtani közepe. Legyen
Ellenőrizhetjük, hogy a g függvény k-ban is folytonos. A kissé bonyolult definíció azért van, hogy a hányadosfüggvény a végpontokban határértékként az egyoldali deriváltakat adja. L'Hospital-szabállyal igazolhatjuk ugyanis, hogy:
- és
Ekkor a Bolzano–Darboux-tétel következményeként létezik olyan ξ ∈ (a,b), hogy g(ξ) = m. Attól függően, hogy ξ az (a,b) melyik felébe esik, felírható vagy
- , vagy
tehát a Lagrange-féle középértéktétel következményeként vagy az ( a , 2ξ-a ) vagy a ( 2ξ-b , b ) nyílt intervallum valamely c pontjában fennáll az f '(c) = m egyenlőség. ■