„Rolle-tétel” változatai közötti eltérés
[ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
a Bot: következő hozzáadása: sk:Rolleova veta o strednej hodnote |
a Bot: következő módosítása: sk:Rollova veta o strednej hodnote; kozmetikai változtatások |
||
1. sor:
A [[matematikai analízis]]ben '''Rolle tétele''' vagy a '''[[Michel Rolle|Rolle]]-féle középértéktétel''' az egyik fontos és gyakran alkalmazott tétel, ami egy intervallumon értelmezett differenciálható függvény „vízszintes” érintőjének (azaz a derivált zérushelyének) létezésére ad elégséges feltételt.
== A tétel ==
[[
Ha az <math>f</math> függvény folytonos az <math>[a,b]</math> intervallumban, differenciálható az intervallum belső pontjaiban és
:<math>f(a)=f(b)</math>,
9. sor:
teljesül.
== Bizonyítása ==
Ha az <math>f</math> függvény az <math>(a,b)</math> intervallumon végig az <math>f(a)=f(b)</math> értéket veszi fel, akkor konstans, tehát deriváltja mindenütt 0.
Tegyük fel, hogy egy pontban <math>f</math> értéke ettől eltér, mondjuk. Az általánosság megszorítása nélkül feltehető, hogy ez az érték nagyobb <math>f(a)=f(b)</math>-nél (ellenkező esetben ugyanezt a gondolatmenetet a <math>-f</math> függvényre kell alkalmaznunk). [[Weierstrass tétele]] szerint a függvény az <math>[a,b]</math> intervallumban valahol felveszi maximumát. Legyen <math>c</math> egy ilyen pont. <math>c</math> nem lehet <math>a</math>-val vagy <math>b</math>-vel egyenlő, mert akkor lenne nála nagyobb értékű hely, ami ellentmond <math>f(c)</math> maximális tulajdonságának. Mivel <math>f</math> a <math>c</math>-ben (mely az értelemezési tartomány belső pontjában van) differenciálható és ott maximuma van, ezért a szélsőértékekre vonatkozó [[Fermat-tétel (analízis)|Fermat-tétel]] miatt ott a deriváltja 0. <big><big><big> [[Quod erat demonstrandum|
== Általánosításai ==
A Rolle-tétel érvényes tetszőleges intervallumon értelmezett differenciálható függvény esetén is, amennyiben a két végpont függvényértékének egyenlőségét a határértékek egyenlősége váltja fel.
'''Tétel''' – Az ''f'' : <math>I</math><math>\rightarrow</math>'''R''' intervallumon értelmezett, belül differenciálható függvény esetén létezik olyan ''ξ'' ∈ <math>I</math> pont, hogy
''Bizonyítás.'' Indirekt módon tegyük fel, hogy minden ''x'' ∈ int( <math>I</math> ) belső pont esetén ''f'' '(''x'') > 0 vagy ''f'' '(''x'') < 0. Ekkor speciálisan az is igaz, hogy minden ''x'' ∈ int( <math>I</math> )-re ''f'' '(''x'') > 0 vagy minden ''x'' ∈ int( <math>I</math> )-re ''f'' '(''x'') < 0, ugyanis ha lenne ''a'' < ''b'' int( <math>I</math> )-beli elem, hogy ''f'' '(''a'') és ''f'' '(''b'') ellenkező előjelű (nem nulla), akkor a [[Darboux-tétel]]t alkalmazva lenne olyan ''c'' pont az [''a'',''b''] zárt halmazon, hogy ''f'' '(''c'') = 0, ami ellentmond az indirekt feltételnek. Ha ezzel szemben ''f'' az int( <math>I</math> ) halmazon állandó előjelű, akkor szigorúan monoton, ami meg annak mond ellent, hogy
Ilyen például az
28. sor:
Egy másik általánosítás a differenciálhatósági feltételen lazít.
'''Tétel''' – Ha az ''f'' : [''a'',''b'']<math>\rightarrow</math>'''R''' korlátos, zárt intervallumon értelmezett folytonos függvény olyan, hogy ''f''(''a'') = ''f''(''b'') és az ''I'' minden belső pontjában vagy differenciálható ''f'', vagy a különbségi hányadosnak létezik +∞ vagy -∞ értékű határértéke, akkor létezik olyan ''ξ'' ∈ int( <math>I</math> ) pont, hogy
Ilyen például a [-2,2]-n értelmezett
39. sor:
meredekségű érintő létezésére ad elégséges feltételt (f(b)=f(a) esetén persze megkapjuk a Rolle-tételt).
== Külső hivatkozások ==
* [http://planetmath.org/?op=getobj&from=objects&id=422 A PlanetMath ''Rolle's theorem'' szócikke]
72. sor:
[[ro:Teorema lui Rolle]]
[[ru:Теорема Ролля]]
[[sk:
[[sr:Ролова теорема]]
[[sv:Rolles sats]]
|