Derivace součtu a rozdílu funkcí
Nechť . Pak
Důkaz:
- .
Derivace součinu konstanty a funkce
Nechť , . Pak
Důkaz:
- .
Derivace součinu funkcí
Nechť . Pak
Důkaz:
- .
Derivace podílu funkcí
Nechť . Pak
Důkaz
- .
Derivace složené funkce
Nechť . Pak
Důkaz
Položme , .
Derivace inverzní funkce
Nechť takové, že a . Označíme-li si a , pak
Důkaz
- .
Vzorce pro derivování elementárních funkcí
Konstantní funkce
Je-li , kde , pak
- .
Důkaz
- .
Mocninná funkce
Je-li , kde pak
- .
Důkaz
- .
Funkce sinus
Je-li , pak
- .
Důkaz
- .
Funkce kosinus
Je-li , pak
- .
Důkaz
- .
Funkce tangens a kotangens
Je-li a , pak
- a
- .
Důkaz
Přímou aplikací pravidla pro derivaci podílu ihned plyne tvrzení. Například
- .
Funkce arkus sinus a arkus kosinus
Je-li a , pak
- a
- .
Důkaz
Označíme-li si , pak . Přímou aplikací pravidla pro derivaci inverzní funkce dostaneme:
- .
Analogicky pro .
Funkce arkus tangens a arkus kotangens
Je-li a , pak
- a
- .
Důkaz
Zcela analogicky předchozím.
Exponenciální funkce
Je-li , pak
- .
Důkaz
. Protože , platí pro všechna . Nechť . Zvolme takové, aby platilo , tedy . Pak ale dostáváme: , tedy . Vynásobením celé nerovnice dostaváme: a po úprávách máme . Limitním přechodem pro , resp. dostáváme . Obdobně by se to dokázalo pro , a tedy celkem dostáváme tvrzení.
Funkce přirozený logaritmus
Je-li , pak .
Důkaz
(ln e(x))' = 1/(x*ln (e))
Zcela analogicky předchozím důkazům pro derivaci inverzních funkcí.