6. Twierdzenia o pochodnych
Twierdzenie 6.1 (Rolle’a)
JeŜeli funkcja f spełnia warunki:
1. jest ciągła na [ ] a, b ,
2. ma pochodną w ( b a , ) , 3. f ( a ) = f ( b ) ,
to istnieje punkt c ∈ ( b a , ) taki, Ŝe f ′ ( c ) = 0 . Przykład
Niech f ( x ) = 3 x 4 + 1 , x ∈ [− 1 , 1 ] . Łatwo sprawdzić, Ŝe funkcja f spełnia załoŜenia twierdzenia Rolle’a. Mamy ponadto f ( x ) x 4 3 1 ′ = 3 4 x 1 3
+
′ = , skąd f ′ ( 0 ) = 0 , czyli c = 0 .
Twierdzenie 6.2 (Lagrange’a)
JeŜeli funkcja f spełnia warunki:
1. jest ciągła na [ ] a, b ,
2. ma pochodną w ( b a , ) ,
to istnieje punkt c ∈ ( b a , ) taki, Ŝe
a b
a f b c f
f −
= −
′ ( ) ( )
)
( .
Przykład Niech
x x
f = +
1 ) 1
( , x ∈ [ 0 , 3 ] . Łatwo sprawdzić, Ŝe funkcja f spełnia załoŜenia twierdzenia Lagrange’a. Mamy ponadto 2
) 1 ( ) 1
( x x
f +
= −
′ oraz
4 1 3
1 0
3 ) 0 ( ) 3
( = 4 1 − = −
−
− f
f ,
skąd f ′ ( 1 ) = − 4 1 , czyli c = 1 . Twierdzenie 6.3
Niech ( a , b ) ⊂ R oraz f : ( a , b ) → R będzie róŜniczkowalna w tym przedziale. JeŜeli dla kaŜdego x ∈ ( b a , )
1. f ′ ( x ) = 0 , to f jest stała na ( b a , ) ,
2. f ′ ( x ) > 0 , to f jest rosnąca na ( b a , ) ,
3. f ′ ( x ) < 0 , to f jest malejąca na ( b a , ) ,
4. f ′ ( x ) ≥ 0 , to f jest niemalejąca na ( b a , ) ,
5. f ′ ( x ) ≤ 0 , to f jest nierosnąca na ( b a , ) . Przykład
Wyznaczyć przedziały monotoniczności funkcji f ( x ) = 3 x 5 − 5 x 3 . PoniewaŜ f ′ ( x ) = 15 x 4 − 15 x 2 = 15 x 2 ⋅ ( x − 1 ) ⋅ ( x + 1 ) , zatem f ′ ( x ) > 0 dla
) , 1 ( ) 1 ,
( −∞ − ∪ ∞
∈
x oraz f ′ ( x ) < 0 dla x ∈ ( − 1 , 0 ) ∪ ( 0 , 1 ) . Na podstawie twierdzenia
moŜemy wnioskować, Ŝe funkcja jest rosnąca w przedziale ( −∞ , − 1 ) i w przedziale ( 1 , ∞ ) oraz funkcja jest malejąca w przedziale (− 1 , 0 ) i w przedziale ( 0 , 1 ) .
Twierdzenie 6.4 (Cauchy’ego)
JeŜeli funkcje f i g spełniają warunki 1. są ciągłe na [ b a , ] ,
2. maja pochodne w ( b a , ) ,
3. g ′ ( x ) ≠ 0 dla kaŜdego x ∈ ( b a , ) , to istnieje punkt c ∈ ( b a , ) taki, Ŝe
) ( ) (
) ( ) ( ) (
) (
a g b g
a f b f c g
c f
−
= −
′
′ .
Twierdzenie 6.5 (reguła de l’Hospitala dla nieoznaczoności [ 0 0 ] ) Niech
1. funkcje g
f i g
f
′
′ będą określone w sąsiedztwie S (a ) ,
2. lim ( ) = lim ( ) = 0
→
→ f x g x
a x a
x ,
3. istnieje granica
) (
) ( lim '
x g
x f
a
x → ′ .
Wtedy
) (
) lim ( ) (
) lim (
x g
x f x
g x f
a x a
x ′
= ′
→
→ .
Uwaga
PowyŜsze twierdzenie jest prawdziwe takŜe dla granic jednostronnych w punkcie a oraz dla granic w − ∞ i w + ∞ .
Przykłady
1 1 lim cos lim sin
0
0 = =
→
→
x x
x
x H
x ,
1 1 1 lim lim
0
0 − = =
→
→
x
x x H
x
e x
e ,
1 4 lim 2 2
lim 4
2 2
2 = =
−
−
→
→
x x
x
x H
x .
Twierdzenie 6.5 (reguła de l’Hospitala dla nieoznaczoności [ ∞ ∞ ] ) Niech
1. funkcje g
f i g
f
′
′ będą określone w sąsiedztwie S (a ) ,
2. = ±∞ = ±∞
→
→ ( ) , lim ( )
lim f x g x
a x a
x ,
3. istnieje granica
) (
) ( lim '
x g
x f
a
x → ′ .
Wtedy
) (
) lim ( ) (
) lim (
x g
x f x
g x f
a x a
x ′
= ′
→
→ .
Uwaga
PowyŜsze twierdzenie jest prawdziwe takŜe dla granic jednostronnych w punkcie a oraz dla granic w − ∞ i w + ∞ .
Przykłady
4 1 24 lim 6 12
2 lim 3
2 4
1
lim 2 2
2
3 3
=
− = + =
+
−
∞
→
∞
→
∞
→ x
x x
x x
x x
x H
x H
x ,
1 1 cos 1
lim 1 lim sin
sin lim ln lim ln
0 sin 0
cos 1
0
0
+=
+=
+⋅
+= ⋅ =
→
→
→
→ x x
x x
x
x x x
x x x H
x .
Uwaga
Inne nieoznaczoności, a mianowicie: [ 0 ⋅ ∞ ] , [ ∞ − ∞ ] , [ 1 ∞ ] , [ ∞ 0 ] , [ 0 0 ] sprowadzamy do nieoznaczoności [ 0 0 ] lub [ ∞ ∞ ] .
Przykłady ] 0
[ ⋅ ∞ ln lim lim 0
lim ln
lim
1 0 1
1 0 0
0
2=
−
− =
=
=
+ + ++