POCHODNA FUNKCJI
IMiF UTP
03
JJ (IMiF UTP) POCHODNA FUNKCJI 03 1 / 41
Pochodna
DEFINICJA. Załóżmy, że funkcja f jest określona w pewnym otoczeniu punktu x0. Jeżeli istnieje skończona granica
h→0lim
f (x0+ h) − f (x0)
h ,
to nazywamy ja¸ pochodna¸ funkcji f w punkcie x0 i oznaczamy f0(x0).
JJ (IMiF UTP) POCHODNA FUNKCJI 03 2 / 41
DEFINICJA. Załóżmy, że funkcja f jest określona w pewnym otoczeniu punktu x0. Jeżeli istnieje skończona granica
h→0lim
f (x0+ h) − f (x0)
h ,
to nazywamy ja¸ pochodna¸ funkcji f w punkcie x0 i oznaczamy f0(x0).
DEFINICJA. Jeżeli funkcja f ma pochodna¸ w każdym punkcie pewnego zbioru D, to przyporza¸dkowanie każdemu punktowi x ∈ D liczby f0(x ) nazywamy funkcja¸ pochodna¸. Funkcje¸ te¸ oznaczamy przez f0(x ). Mówimy też, że f jest różniczkowalna w D.
JJ (IMiF UTP) POCHODNA FUNKCJI 03 2 / 41
UWAGA. Zamiast pisać f0(x ) = limh→0f (x +h)−f (x )
h , można pisać (podstawiaja¸c z = x + h)
f0(x ) = lim
z→x
f (z) − f (x ) z − x .
JJ (IMiF UTP) POCHODNA FUNKCJI 03 3 / 41
f
0(x ) = lim
h→0 f (x +h)−f (x ) hPRZYKŁAD. Funkcja f (x ) = |x | nie ma pochodnej w punkcie x0 = 0.
Wystarczy zauważyć, że
lim
h→0−
f (0 + h) − f (0)
h = lim
h→0−
|h|
h = lim
h→0−
−h h =−1. Granica lewostronna nie jest równa prawostronnej, wie¸c granica przy h → 0 nie istnieje.
JJ (IMiF UTP) POCHODNA FUNKCJI 03 4 / 41
f
0(x ) = lim
h→0 f (x +h)−f (x ) hPRZYKŁAD. Funkcja f (x ) = |x | nie ma pochodnej w punkcie x0 = 0.
Wystarczy zauważyć, że lim
h→0+
f (0 + h) − f (0)
h = lim
h→0+
|0 + h| − |0|
h = lim
h→0+
|h|
h = lim
h→0+
h h =1,
h → 0 nie istnieje.
JJ (IMiF UTP) POCHODNA FUNKCJI 03 4 / 41
f
0(x ) = lim
h→0 f (x +h)−f (x ) hPRZYKŁAD. Funkcja f (x ) = |x | nie ma pochodnej w punkcie x0 = 0.
Wystarczy zauważyć, że lim
h→0+
f (0 + h) − f (0)
h = lim
h→0+
|0 + h| − |0|
h = lim
h→0+
|h|
h = lim
h→0+
h h =1,
lim
h→0−
f (0 + h) − f (0)
h = lim
h→0−
|h|
h = lim
h→0−
−h h =−1.
JJ (IMiF UTP) POCHODNA FUNKCJI 03 4 / 41
PRZYKŁAD. Funkcja f (x ) = |x | nie ma pochodnej w punkcie x0 = 0.
Wystarczy zauważyć, że lim
h→0+
f (0 + h) − f (0)
h = lim
h→0+
|0 + h| − |0|
h = lim
h→0+
|h|
h = lim
h→0+
h h =1,
lim
h→0−
f (0 + h) − f (0)
h = lim
h→0−
|h|
h = lim
h→0−
−h h =−1.
Granica lewostronna nie jest równa prawostronnej, wie¸c granica przy h → 0 nie istnieje.
JJ (IMiF UTP) POCHODNA FUNKCJI 03 4 / 41
Funkcja f (x ) = |x | nie ma pochodnej w punkcie x0 = 0.
x y
JJ (IMiF UTP) POCHODNA FUNKCJI 03 5 / 41
Funkcja f (x ) = |x | nie ma pochodnej w punkcie x0 = 0.
x y
JJ (IMiF UTP) POCHODNA FUNKCJI 03 5 / 41
Funkcja f (x ) = |x | nie ma pochodnej w punkcie x0 = 0.
x y
JJ (IMiF UTP) POCHODNA FUNKCJI 03 5 / 41
Funkcja f (x ) = |x | nie ma pochodnej w punkcie x0 = 0.
x y
y =−1· x
JJ (IMiF UTP) POCHODNA FUNKCJI 03 5 / 41
Funkcja f (x ) = |x | nie ma pochodnej w punkcie x0 = 0.
x y
y =1· x
JJ (IMiF UTP) POCHODNA FUNKCJI 03 5 / 41
f
0(x ) = lim
h→0 f (x +h)−f (x ) hPRZYKŁAD. Funkcja f (x ) =√3
x nie ma pochodnej w punkcie x0= 0.
Wystarczy zauważyć, że
JJ (IMiF UTP) POCHODNA FUNKCJI 03 6 / 41
PRZYKŁAD. Funkcja f (x ) =√3
x nie ma pochodnej w punkcie x0= 0.
Wystarczy zauważyć, że
h→0lim
√3
0 + h −√3 0
h = lim
h→0
√3
h h = lim
h→0
1
√3
h2 = +∞.
JJ (IMiF UTP) POCHODNA FUNKCJI 03 6 / 41
Funkcja f (x ) =√3
x nie ma pochodnej w punkcie x0 = 0.
x y
JJ (IMiF UTP) POCHODNA FUNKCJI 03 7 / 41
Funkcja f (x ) =√3
x nie ma pochodnej w punkcie x0 = 0.
x y
JJ (IMiF UTP) POCHODNA FUNKCJI 03 7 / 41
gdyż
h→0lim+
−q3(0 + h)2+ 3
√ 02
h = lim
h→0+
−√3 h2
h = lim
h→0+
−1
√3
h = −∞.
h→0lim−
−q3(0 + h)2+ 3
√ 02
h = lim
h→0−
−1
√3
h = +∞.
x y
JJ (IMiF UTP) POCHODNA FUNKCJI 03 8 / 41
Podobnie, funkcja f (x ) = − x nie ma pochodnej w punkcie x0= 0, gdyż
h→0lim+
−q3(0 + h)2+√3 02
h = lim
h→0+
−√3 h2
h = lim
h→0+
−1
√3
h = −∞.
lim
h→0−
−q3(0 + h)2+ 3
√ 02
h = lim
h→0−
−1
√3
h = +∞.
x y
JJ (IMiF UTP) POCHODNA FUNKCJI 03 8 / 41
PRZYKŁAD.
Pochodna funkcji stałej jest równa 0.
Niech f (x ) = c. Wtedy f0(x ) = lim
h→0
f (x + h) − f (x )
h = lim
h→0
c − c h = lim
h→0
0 h = 0.
JJ (IMiF UTP) POCHODNA FUNKCJI 03 9 / 41
PRZYKŁAD.
Pochodna funkcji f (x ) = x jest równa 1.
Niech f (x ) = x . Wtedy f0(x ) = lim
h→0
f (x + h) − f (x )
h = lim
h→0
x + h − x
h = lim
h→0
h h = 1.
JJ (IMiF UTP) POCHODNA FUNKCJI 03 10 / 41
x y
x0
f (x0)
x0+ h f (x0+ h)
JJ (IMiF UTP) POCHODNA FUNKCJI 03 11 / 41
x y
x0
f (x0)
x0+ h f (x0+ h)
tgβ = f (x0+h)−f (xh 0)
β β
Równanie siecznej: y − f (x0) =f (x0+h)−f (xh 0)(x − x0)
JJ (IMiF UTP) POCHODNA FUNKCJI 03 11 / 41
x y
x0
f (x0)
h → 0
x0+ h f (x0+ h)
JJ (IMiF UTP) POCHODNA FUNKCJI 03 11 / 41
x y
x0
f (x0)
h → 0
x0+ h f (x0+ h)
JJ (IMiF UTP) POCHODNA FUNKCJI 03 11 / 41
x y
x0
f (x0)
h → 0 h → 0
x0+ h f (x0+ h)
JJ (IMiF UTP) POCHODNA FUNKCJI 03 11 / 41
x y
x0
f (x0)
h → 0
JJ (IMiF UTP) POCHODNA FUNKCJI 03 11 / 41
x y
x0
f (x0)
h → 0
JJ (IMiF UTP) POCHODNA FUNKCJI 03 11 / 41
x y
x0
f (x0)
h → 0
JJ (IMiF UTP) POCHODNA FUNKCJI 03 11 / 41
x y
x0
f (x0)
styczna
JJ (IMiF UTP) POCHODNA FUNKCJI 03 11 / 41
x y
x0
f (x0)
x0+ h
f (x0+ h) tgβ = f (x0+h)−f (xh 0)
α β
y = f0(x0)(x − x0) + f (x0) tgα = f0(x0)
y =f (x0+h)−f (xh 0)(x − x0) + f (x0)
β → α
f0(x0) =limh→0f (x0+h)−f (xh 0)
JJ (IMiF UTP) POCHODNA FUNKCJI 03 11 / 41
x0 x f (x0)
α
tgα = f0(x0) y = f0(x0)(x − x0) + f (x0)
Pochodna f0(x0) jest równa tangensowi ka¸ta, jaki tworzy z osia¸ 0x styczna do wykresu funkcji y = f (x ) w punkcie (x0, f (x0)).
JJ (IMiF UTP) POCHODNA FUNKCJI 03 11 / 41
x y
x0
f (x0)
α
y = f0(x0)(x − x0) + f (x0) tgα = f0(x0)
Inaczej mówia¸c: istnienie pochodnej f0(x0) gwarantuje istnienie stycznej (nierównoległej do osi 0y ) do wykresu funkcji y = f (x ) w punkcie (x0, f (x0)). Styczna ta ma równanie y − f (x0) = f0(x0)(x − x0).
JJ (IMiF UTP) POCHODNA FUNKCJI 03 12 / 41
INTERPRETACJA FIZYCZNA
Jeżeli t oznacza czas, a s(t) jest długościa¸ drogi od pocza¸tku ruchu do chwili t, to s(t0+ ∆t) − s(t0) jest długościa¸ drogi przebytej w czasie od t0 do t0+ ∆t,
jest pre¸dkościa¸ średnia¸ tego ruchu w czasie od t0 do t0+ ∆t, a pochodna
s0(t0) = lim
∆t→0
s(t0+ ∆t) − s(t0)
∆t jest pre¸dkościa¸ tego ruchu w chwili t0.
JJ (IMiF UTP) POCHODNA FUNKCJI 03 13 / 41
Jeżeli t oznacza czas, a s(t) jest długościa¸ drogi od pocza¸tku ruchu do chwili t, to s(t0+ ∆t) − s(t0) jest długościa¸ drogi przebytej w czasie od t0 do t0+ ∆t, iloraz różnicowy
s(t0+ ∆t) − s(t0)
∆t
jest pre¸dkościa¸ średnia¸ tego ruchu w czasie od t0 do t0+ ∆t, a pochodna
s0(t0) = lim
∆t→0
s(t0+ ∆t) − s(t0)
∆t jest pre¸dkościa¸ tego ruchu w chwili t0.
JJ (IMiF UTP) POCHODNA FUNKCJI 03 13 / 41
Różniczkowalność implikuje ciągłość
TWIERDZENIE. Funkcja różniczkowalna jest cia¸gła.
Dowód. Niech x0 be¸dzie dowolnym punktem, w którym istnieje f0(x0).
Pokażemy, że f jest cia¸gła w tym punkcie, to znaczy, że
x →xlim0
f (x ) = f (x0).
= f0(x0) · 0 + f (x0) = f (x0).
JJ (IMiF UTP) POCHODNA FUNKCJI 03 14 / 41
Różniczkowalność implikuje ciągłość
TWIERDZENIE. Funkcja różniczkowalna jest cia¸gła.
Dowód. Niech x0 be¸dzie dowolnym punktem, w którym istnieje f0(x0).
Pokażemy, że f jest cia¸gła w tym punkcie, to znaczy, że
x →xlim0
f (x ) = f (x0).
x →xlim0
f (x ) = lim
x →x0
hf (x ) − f (x0) x − x0
(x − x0) + f (x0)i
=
JJ (IMiF UTP) POCHODNA FUNKCJI 03 14 / 41
Różniczkowalność implikuje ciągłość
TWIERDZENIE. Funkcja różniczkowalna jest cia¸gła.
Dowód. Niech x0 be¸dzie dowolnym punktem, w którym istnieje f0(x0).
Pokażemy, że f jest cia¸gła w tym punkcie, to znaczy, że
x →xlim0
f (x ) = f (x0).
x →xlim0
f (x ) = lim
x →x0
hf (x ) − f (x0) x − x0
(x − x0) + f (x0)i
= f0(x0)· lim
x →x0
(x − x0) + f (x0)
=
JJ (IMiF UTP) POCHODNA FUNKCJI 03 14 / 41
TWIERDZENIE. Funkcja różniczkowalna jest cia¸gła.
Dowód. Niech x0 be¸dzie dowolnym punktem, w którym istnieje f0(x0).
Pokażemy, że f jest cia¸gła w tym punkcie, to znaczy, że
x →xlim0
f (x ) = f (x0).
x →xlim0
f (x ) = lim
x →x0
hf (x ) − f (x0) x − x0
(x − x0) + f (x0)i
= f0(x0)· lim
x →x0
(x − x0) + f (x0)
= f0(x0) · 0 + f (x0) = f (x0).
JJ (IMiF UTP) POCHODNA FUNKCJI 03 14 / 41
TWIERDZENIE.
Załóżmy, że funkcje f (x ) oraz g (x ) sa¸ różniczkowalne w pewnym przedziale. Wtedy:
1
f (x ) + g (x )0= f0(x ) + g0(x )
2
f (x ) − g (x )0= f0(x ) − g0(x )
3
f (x )g (x )0= f0(x )g (x ) + f (x )g0(x )
4
cf (x )0 = cf0(x )
5
hf (x )
g (x )
i0
= f0(x )g (x )−f (x )g0(x )
g2(x ) o ile g (x ) 6= 0
6
f [g (x )] 0 = f0[g (x )]g0(x ).
JJ (IMiF UTP) POCHODNA FUNKCJI 03 15 / 41
POCHODNA SUMY TO SUMA POCHODNYCH Przypomnienie definicji: f
0(x ) = lim
h→0 f (x +h)−f (x )h
Dowód wzoru 1.
f (x ) + g (x )0
= lim
h→0 h +
h
= f0(x ) + g0(x ).
JJ (IMiF UTP) POCHODNA FUNKCJI 03 16 / 41
POCHODNA SUMY TO SUMA POCHODNYCH Przypomnienie definicji: f
0(x ) = lim
h→0 f (x +h)−f (x )h
Dowód wzoru 1.
f (x ) + g (x )0 = lim
h→0
[f (x + h) + g (x + h)] − [f (x ) + g (x )]
h
JJ (IMiF UTP) POCHODNA FUNKCJI 03 16 / 41
Dowód wzoru 1.
f (x ) + g (x )0 = lim
h→0
[f (x + h) + g (x + h)] − [f (x ) + g (x )]
h
= lim
h→0
hf (x + h) − f (x )
h +g (x + h) − g (x ) h
i
= f0(x ) + g0(x ).
JJ (IMiF UTP) POCHODNA FUNKCJI 03 16 / 41
Dowód wzoru 2.
f (x ) − g (x )0 = lim
h→0
[f (x + h) − g (x + h)] − [f (x ) − g (x )]
h
= lim
h→0
hf (x + h) − f (x )
h −g (x + h) − g (x ) h
i
= f0(x ) − g0(x ).
JJ (IMiF UTP) POCHODNA FUNKCJI 03 17 / 41
POCHODNA ILOCZYNU TO NIE JEST ILOCZYN POCHODNYCH
Przypomnienie definicji: f
0(x ) = lim
h→0 f (x +h)−f (x ) hDowód wzoru 3.
f (x )g (x )0 = lim
h→0
f (x + h)g (x + h) − f (x )g (x ) h
= lim
h→0 h g (x + h) + f (x )
h
=f0(x )g (x ) + f (x )g0(x ).
JJ (IMiF UTP) POCHODNA FUNKCJI 03 18 / 41
POCHODNA ILOCZYNU TO NIE JEST ILOCZYN POCHODNYCH
Przypomnienie definicji: f
0(x ) = lim
h→0 f (x +h)−f (x ) hDowód wzoru 3.
f (x )g (x )0 = lim
h→0
f (x + h)g (x + h) − f (x )g (x ) h
= lim
h→0
f (x + h)g (x + h)−f (x )g (x + h) + f (x )g (x + h) − f (x )g (x ) h
JJ (IMiF UTP) POCHODNA FUNKCJI 03 18 / 41
POCHODNA ILOCZYNU TO NIE JEST ILOCZYN POCHODNYCH
Przypomnienie definicji: f
0(x ) = lim
h→0 f (x +h)−f (x ) hDowód wzoru 3.
f (x )g (x )0 = lim
h→0
f (x + h)g (x + h) − f (x )g (x ) h
= lim
h→0
f (x + h)g (x + h)−f (x )g (x + h) + f (x )g (x + h) − f (x )g (x ) h
= lim
h→0
hf (x + h) − f (x )
h g (x + h) + f (x )g (x + h) − g (x ) h
i
JJ (IMiF UTP) POCHODNA FUNKCJI 03 18 / 41
h
Dowód wzoru 3.
f (x )g (x )0 = lim
h→0
f (x + h)g (x + h) − f (x )g (x ) h
= lim
h→0
f (x + h)g (x + h)−f (x )g (x + h) + f (x )g (x + h) − f (x )g (x ) h
= lim
h→0
hf (x + h) − f (x )
h g (x + h) + f (x )g (x + h) − g (x ) h
i
=f0(x )g (x ) + f (x )g0(x ).
JJ (IMiF UTP) POCHODNA FUNKCJI 03 18 / 41
Dowód wzoru 4.
cf (x )0= c0f (x ) + cf0(x ) = 0 + cf0(x ) = cf0(x )
JJ (IMiF UTP) POCHODNA FUNKCJI 03 19 / 41
POCHODNA ILORAZU TO NIE JEST ILORAZ POCHODNYCH
Przypomnienie definicji: f
0(x ) = lim
h→0 f (x +h)−f (x ) h Dowód wzoru 5.hf (x ) g (x )
i0
= lim
h→0 f (x +h) g (x +h) −f (x )g (x )
h
h→0 h g (x + h)g (x )
= lim
h→0
1 g (x + h)g (x )
hf (x + h) − f (x )
h g (x ) − f (x )g (x + h) − g (x ) h
i
= f0(x )g (x ) − f (x )g0(x ) g2(x ) .
JJ (IMiF UTP) POCHODNA FUNKCJI 03 20 / 41
POCHODNA ILORAZU TO NIE JEST ILORAZ POCHODNYCH
Przypomnienie definicji: f
0(x ) = lim
h→0 f (x +h)−f (x ) h Dowód wzoru 5.hf (x ) g (x )
i0
= lim
h→0 f (x +h) g (x +h) −f (x )g (x )
h
= lim
h→0
1 h
hf (x + h)g (x ) − f (x )g (x + h) g (x + h)g (x )
i
= lim
h→0
1 g (x + h)g (x )
f (x + h) − f (x )
h g (x ) − f (x )g (x + h) − g (x ) h
= f0(x )g (x ) − f (x )g0(x ) g2(x ) .
JJ (IMiF UTP) POCHODNA FUNKCJI 03 20 / 41
POCHODNA ILORAZU TO NIE JEST ILORAZ POCHODNYCH
Przypomnienie definicji: f
0(x ) = lim
h→0 f (x +h)−f (x ) h Dowód wzoru 5.hf (x ) g (x )
i0
= lim
h→0 f (x +h) g (x +h) −f (x )g (x )
h
= lim
h→0
1 h
hf (x + h)g (x ) − f (x )g (x + h) g (x + h)g (x )
i
= lim
h→0
1 h
hf (x + h)g (x ) − f (x )g (x ) + f (x )g (x ) − f (x )g (x + h) g (x + h)g (x )
i
g (x )
JJ (IMiF UTP) POCHODNA FUNKCJI 03 20 / 41
Przypomnienie definicji: f
0(x ) = lim
h→0 f (x +h)−f (x ) h Dowód wzoru 5.hf (x ) g (x )
i0
= lim
h→0 f (x +h) g (x +h) −f (x )g (x )
h
= lim
h→0
1 h
hf (x + h)g (x ) − f (x )g (x + h) g (x + h)g (x )
i
= lim
h→0
1 h
hf (x + h)g (x ) − f (x )g (x ) + f (x )g (x ) − f (x )g (x + h) g (x + h)g (x )
i
= lim
h→0
1 g (x + h)g (x )
hf (x + h) − f (x )
h g (x ) − f (x )g (x + h) − g (x ) h
i
= f0(x )g (x ) − f (x )g0(x ) g2(x ) .
JJ (IMiF UTP) POCHODNA FUNKCJI 03 20 / 41
POCHODNA ZŁOŻENIA
Przypomnienie definicji: f
0(x ) = lim
z→x f (z)−f (x ) z−xDowód wzoru 6 tylko dla przypadku gdy g (z) 6= g (x ) dla z należa¸cych do pewnego sa¸siedztwa punktu x .
f [g (x )] 0 = lim
z→x
f [g (z)] − f [g (x )]
z − x
JJ (IMiF UTP) POCHODNA FUNKCJI 03 21 / 41
Dowód wzoru 6 tylko dla przypadku gdy g (z) 6= g (x ) dla z należa¸cych do pewnego sa¸siedztwa punktu x .
f [g (x )] 0 = lim
z→x
f [g (z)] − f [g (x )]
z − x
= lim
z→x
f [g (z)] − f [g (x )]
g (z) − g (x ) ·g (z) − g (x )
z − x = f0[g (x )]g0(x ).
JJ (IMiF UTP) POCHODNA FUNKCJI 03 21 / 41
POCHODNA FUNKCJI ODWROTNEJ
Przypomnienie definicji: f
0(x ) = lim
z→x f (z)−f (x ) z−x TWIERDZENIE.Załóżmy, że funkcja f−1 jest funkcja¸ odwrotna¸ do funkcji cia¸głej i
monotonicznej f oraz że f ma w punkcie y0 pochodna¸ f0(y0) 6= 0. Wtedy funkcja f−1 ma w punkcie x0= f (y0) pochodna¸ (f−1)0(x0) = f0(y10).
Zatem
(f−1)0(x0) = lim
x →x0
f−1(x ) − f−1(x0) x − x0
= lim
y →y0
y − y0
f (y ) − f (y0) = lim
y →y0
1
f (y )−f (y0) y −y0
= 1
f0(y0).
JJ (IMiF UTP) POCHODNA FUNKCJI 03 22 / 41
POCHODNA FUNKCJI ODWROTNEJ
Przypomnienie definicji: f
0(x ) = lim
z→x f (z)−f (x ) z−x TWIERDZENIE.Załóżmy, że funkcja f−1 jest funkcja¸ odwrotna¸ do funkcji cia¸głej i
monotonicznej f oraz że f ma w punkcie y0 pochodna¸ f0(y0) 6= 0. Wtedy funkcja f−1 ma w punkcie x0= f (y0) pochodna¸ (f−1)0(x0) = f0(y10). Dowód. Przypomnijmy, że
f−1(x ) = y ⇔ x = f (y ), f−1(x0) = y0 ⇔ x0= f (y0).
Zatem
= lim
y →y0
y − y0
f (y ) − f (y0) = lim
y →y0
1
f (y )−f (y0) y −y0
= 1
f0(y0).
JJ (IMiF UTP) POCHODNA FUNKCJI 03 22 / 41
TWIERDZENIE.
Załóżmy, że funkcja f−1 jest funkcja¸ odwrotna¸ do funkcji cia¸głej i
monotonicznej f oraz że f ma w punkcie y0 pochodna¸ f0(y0) 6= 0. Wtedy funkcja f−1 ma w punkcie x0= f (y0) pochodna¸ (f−1)0(x0) = f0(y10). Dowód. Przypomnijmy, że
f−1(x ) = y ⇔ x = f (y ), f−1(x0) = y0 ⇔ x0= f (y0).
Zatem
(f−1)0(x0) = lim
x →x0
f−1(x ) − f−1(x0) x − x0
= lim
y →y0
y − y0
f (y ) − f (y0) = lim
y →y0
1
f (y )−f (y0) y −y0
= 1
f0(y0).
JJ (IMiF UTP) POCHODNA FUNKCJI 03 22 / 41
Wzory te sa¸ słuszne dla x należa¸cych do cze¸ści wspólnej dziedzin funkcji wyste¸puja¸cych po lewej i prawej stronie wzoru.
(xr)0 = rxr −1
(ex)0 = ex, dla x ∈ R
(ax)0= axln a, dla x ∈ R, a > 0 (ln x )0 = 1x, dla x > 0
(logax )0 = x ln a1 , dla x > 0, a > 0, a 6= 1
JJ (IMiF UTP) POCHODNA FUNKCJI 03 23 / 41
(sin x )0 = cos x , dla x ∈ R (cos x )0 = − sin x , dla x ∈ R
(tgx )0= cos12x, dla x ∈ −π2 + kπ,π2 + kπ, gdzie k = 0, ±1, ±2, . . .
(ctgx )0 = sin−12x, dla x ∈ 0 + kπ, π + kπ, gdzie k = 0, ±1, ±2, . . . (arc sin x )0 = √1
1−x2, dla x ∈ (−1, 1) (arc cos x )0 = √−1
1−x2, dla x ∈ (−1, 1) (arctgx )0= 1+x1 2, dla x ∈ R
(arcctgx )0 = 1+x−12, dla x ∈ R.
JJ (IMiF UTP) POCHODNA FUNKCJI 03 24 / 41
Wnioski ze wzoru (xr)0 = rxr −1:
(x )0 = 1 dla x ∈ R,
|x|0= sgn(x ) dla x ∈ R \ {0},
√x0= 1 2√
x dla x ∈ (0, +∞),
√3
x0= 1 3√3
x2 dla x ∈ R \ {0},
1 x
0
= − 1
x2 dla x ∈ R \ {0}.
JJ (IMiF UTP) POCHODNA FUNKCJI 03 25 / 41
Dowód wzoru
e
x0= e
xex0 = lim
h→0
ex +h− ex h
eh= 1 +1z otrzymamy h = ln(1 +1z). Ponadto, gdy h → 0+, to z → +∞ oraz gdy h → 0−, to z → −∞. Zatem
eh− 1
h = 1
zln(1 + 1z) = 1
ln(1 + 1z)z → 1
ln e =1, gdy h → 0. Ostatecznie,
ex0 = ex lim
h→0
eh− 1
h = ex·1= ex.
JJ (IMiF UTP) POCHODNA FUNKCJI 03 26 / 41
Dowód wzoru
e
x0= e
xex0 = lim
h→0
ex +h− ex
h = lim
h→0
exeh− ex
h = ex lim
h→0
eh− 1 h
z → +∞ oraz gdy h → 0 , to z → −∞. Zatem eh− 1
h = 1
zln(1 + 1z) = 1
ln(1 + 1z)z → 1
ln e =1, gdy h → 0. Ostatecznie,
ex0 = ex lim
h→0
eh− 1
h = ex·1= ex.
JJ (IMiF UTP) POCHODNA FUNKCJI 03 26 / 41
Dowód wzoru
e
x0= e
xex0 = lim
h→0
ex +h− ex
h = lim
h→0
exeh− ex
h = ex lim
h→0
eh− 1 h
Podstawiamy eh− 1 = 1z (oczywiście tu h 6= 0). Logarytmuja¸c równanie eh= 1 +1z otrzymamy h = ln(1 +1z).
h =
zln(1 + 1z) =
ln(1 + 1z)z →
ln e =1, gdy h → 0. Ostatecznie,
ex0 = ex lim
h→0
eh− 1
h = ex·1= ex.
JJ (IMiF UTP) POCHODNA FUNKCJI 03 26 / 41
Dowód wzoru
e
x0= e
xex0 = lim
h→0
ex +h− ex
h = lim
h→0
exeh− ex
h = ex lim
h→0
eh− 1 h
Podstawiamy eh− 1 = 1z (oczywiście tu h 6= 0). Logarytmuja¸c równanie eh= 1 +1z otrzymamy h = ln(1 +1z). Ponadto, gdy h → 0+, to
z → +∞ oraz gdy h → 0−, to z → −∞. Zatem
Ostatecznie,
ex0 = ex lim
h→0
eh− 1
h = ex·1= ex.
JJ (IMiF UTP) POCHODNA FUNKCJI 03 26 / 41
ex0 = lim
h→0
ex +h− ex
h = lim
h→0
exeh− ex
h = ex lim
h→0
eh− 1 h
Podstawiamy eh− 1 = 1z (oczywiście tu h 6= 0). Logarytmuja¸c równanie eh= 1 +1z otrzymamy h = ln(1 +1z). Ponadto, gdy h → 0+, to
z → +∞ oraz gdy h → 0−, to z → −∞. Zatem eh− 1
h = 1
zln(1 + 1z) = 1
ln(1 + 1z)z → 1
ln e =1, gdy h → 0.
Ostatecznie,
ex0 = ex lim
h→0
eh− 1
h = ex·1= ex.
JJ (IMiF UTP) POCHODNA FUNKCJI 03 26 / 41
Pochodna „logarytmu naturalnego”
Przypomnijmy, że y = ln x ⇔ x = ey.
(ln x ) =
(ey)0 = ey =
x
JJ (IMiF UTP) POCHODNA FUNKCJI 03 27 / 41
Przypomnijmy, że y = ln x ⇔ x = ey.
Zastosujemy twierdzenie o pochodnej funkcji odwrotnej.
(ln x )0 = 1
(ey)0 = 1 ey = 1
x
JJ (IMiF UTP) POCHODNA FUNKCJI 03 27 / 41
(x
r)
0= rx
r −1Dowód wzoru tylko dla przypadku, gdy x > 0. Różniczkuja¸c równanie ln xr = r ln x
otrzymamy
1
xr(xr)0 = r1 x.
JJ (IMiF UTP) POCHODNA FUNKCJI 03 28 / 41
Dowód wzoru tylko dla przypadku, gdy x > 0. Różniczkuja¸c równanie ln xr = r ln x
otrzymamy
1
xr(xr)0 = r1 x. Sta¸d
(xr)0 = rx−1xr = rxr −1.
JJ (IMiF UTP) POCHODNA FUNKCJI 03 28 / 41
Pochodna funkcji wykładniczej
Różniczkuja¸c równanie
ln ax = x ln a otrzymamy
1
ax(ax)0 = ln a.
JJ (IMiF UTP) POCHODNA FUNKCJI 03 29 / 41
Różniczkuja¸c równanie
ln ax = x ln a otrzymamy
1
ax(ax)0 = ln a.
Sta¸d
(ax)0 = axln a.
JJ (IMiF UTP) POCHODNA FUNKCJI 03 29 / 41
Pochodna funkcji logarytmicznej
Z własności logarytmów:
logax = ln x ln a,
(logax ) =
ln a = x ln a.
JJ (IMiF UTP) POCHODNA FUNKCJI 03 30 / 41
Z własności logarytmów:
logax = ln x ln a, a wie¸c
(logax )0 = (ln x )0 ln a = 1
x ln a.
JJ (IMiF UTP) POCHODNA FUNKCJI 03 30 / 41
Pochodna „sinusa”
Przypomnienie definicji: f
0(x ) = lim
h→0 f (x +h)−f (x ) hSkorzystamy ze wzorów:
sin α − sin β = 2 cosα+β2 sinα−β2 oraz limt→0sin t t = 1.
= lim
h→0
cos(x +2) sin2
h 2
= lim
h→0cos(x +h
2) ·sin2
h 2
= lim
h→0cos(x +h
2) · 1 = cos x .
JJ (IMiF UTP) POCHODNA FUNKCJI 03 31 / 41
Pochodna „sinusa”
Przypomnienie definicji: f
0(x ) = lim
h→0 f (x +h)−f (x ) hSkorzystamy ze wzorów:
sin α − sin β = 2 cosα+β2 sinα−β2 oraz limt→0sin t t = 1.
(sin x )0 = lim
h→0
sin(x + h) − sin x
h =
h→0 h
2 h→0 2 h2
= lim
h→0cos(x +h
2) · 1 = cos x .
JJ (IMiF UTP) POCHODNA FUNKCJI 03 31 / 41
Skorzystamy ze wzorów:
sin α − sin β = 2 cosα+β2 sinα−β2 oraz limt→0sin t t = 1.
(sin x )0 = lim
h→0
sin(x + h) − sin x
h = lim
h→0
2 cosx +h+x2 sinx +h−x2 h
= lim
h→0
cos(x +h2) sinh2
h 2
= lim
h→0cos(x +h
2) ·sinh2
h 2
= lim
h→0cos(x +h
2) · 1 = cos x .
JJ (IMiF UTP) POCHODNA FUNKCJI 03 31 / 41
Pochodna „cosinusa”
Przypomnienie definicji: f
0(x ) = lim
h→0 f (x +h)−f (x ) hSkorzystamy ze wzoru: cos α − cos β = −2 sinα+β2 sinα−β2 .
h→0 h
2
JJ (IMiF UTP) POCHODNA FUNKCJI 03 32 / 41
Skorzystamy ze wzoru: cos α − cos β = −2 sinα+β2 sinα−β2 .
(cos x )0 = lim
h→0
cos(x + h) − cos x
h = lim
h→0
−2 sinx +h+x2 sinx +h−x2 h
= = lim
h→0
− sin(x +h2) sinh2
h 2
= − sin x .
JJ (IMiF UTP) POCHODNA FUNKCJI 03 32 / 41
Skorzystamy ze wzoru na pochodna¸ ilorazu.
(tg x )0 = sin x cos x
0
= (sin x )0cos x − sin x (cos x )0 (cos x )2
= cos x cos x − sin x (− sin x )
(cos x )2 = cos2x + sin2x
cos2x = 1 cos2x.
JJ (IMiF UTP) POCHODNA FUNKCJI 03 33 / 41
Podobnie:
(ctg x )0 =cos x sin x
0
= − sin x sin x − cos x cos x
(sin x )2 = − 1 sin2x.
JJ (IMiF UTP) POCHODNA FUNKCJI 03 34 / 41
Pochodna „arcusa sinusa”
Przypomnijmy, że y = arc sin x ⇔ x = sin y dla y ∈ [−π2,π2] (a wie¸c cos y 0 co oznacza, że cos y = +
q
1 − sin2y ).
JJ (IMiF UTP) POCHODNA FUNKCJI 03 35 / 41
Pochodna „arcusa sinusa”
Przypomnijmy, że y = arc sin x ⇔ x = sin y dla y ∈ [−π2,π2] (a wie¸c cos y 0 co oznacza, że cos y = +
q
1 − sin2y ).
Zastosujemy twierdzenie o pochodnej funkcji odwrotnej.
(arc sin x )0 = 1 (sin y )0 =
JJ (IMiF UTP) POCHODNA FUNKCJI 03 35 / 41
Przypomnijmy, że y = arc sin x ⇔ x = sin y dla y ∈ [−π2,π2] (a wie¸c cos y 0 co oznacza, że cos y = +
q
1 − sin2y ).
Zastosujemy twierdzenie o pochodnej funkcji odwrotnej.
(arc sin x )0 = 1
(sin y )0 = 1
cos y = 1
q
1 − sin2y
= 1
√ 1 − x2
JJ (IMiF UTP) POCHODNA FUNKCJI 03 35 / 41
Przypomnijmy, że y = arc cos x ⇔ x = cos y dla y ∈ [0, π]
(a wie¸c sin y 0 co oznacza, że sin y = +p1 − cos2y ).
Zastosujemy twierdzenie o pochodnej funkcji odwrotnej.
(arc cos x )0= 1
(cos y )0 = 1
− sin y = − 1
p1 − cos2y = − 1
√ 1 − x2
JJ (IMiF UTP) POCHODNA FUNKCJI 03 36 / 41
Pochodna „arcusa tangensa”
Przypomnijmy, że y = arctg x ⇔ x = tg y .
cos y
=
cos2y cos2y sin2y
cos2y +coscos22yy
= 1
tg2 y + 1 = 1 x2+ 1.
JJ (IMiF UTP) POCHODNA FUNKCJI 03 37 / 41
Przypomnijmy, że y = arctg x ⇔ x = tg y . Z twierdzenia o pochodnej funkcji odwrotnej:
(arctg x )0 = 1
(tg y )0 = 1
1 cos2y
= cos2y sin2y + cos2y
=
cos2y cos2y sin2y
cos2y +coscos22yy
= 1
tg2 y + 1 = 1 x2+ 1.
JJ (IMiF UTP) POCHODNA FUNKCJI 03 37 / 41
Przypomnijmy, że y = arcctg x ⇔ x = ctg y . Z twierdzenia o pochodnej funkcji odwrotnej:
(arcctg x )0 = 1
(ctg y )0 = 1
− 1
sin2y
= − sin2y sin2y + cos2y
= −
sin2y sin2y sin2y
sin2y +cos2y
sin2y
= − 1
1 + ctg2 y = − 1 1 + x2.
JJ (IMiF UTP) POCHODNA FUNKCJI 03 38 / 41
{sin[cos(2x2+ 1)]}0= cos[cos(2x2+ 1)] · [− sin(2x2+ 1)] · (2 · 2x )
h(arctg 3x ) · e−x+1 + x − sin x x4+ 2
i0
= 1
1 + (3x )2 · 3 · e−x+ (arctg 3x ) · e−x· (−1) +(0 + 1 − cos x )(x4+ 2) − (1 + x − sin x ) · 4x3
(x4+ 2)2
JJ (IMiF UTP) POCHODNA FUNKCJI 03 39 / 41