Théorème 9 (Caractérisation séquentielle de la limite)
a∈I f ` a
(un)Ilim
n→+∞un=a(f(un))n∈N`
Exercice 11. R?x7→ cos 1
x0
Théorème 10 (Théorème des bornes)
Théorème 11 (Théorème des Valeurs Intermédiaires)
f∈C([a, b],R)y f(a)f(b)c∈[a, b]
f(c) = y
Exercice 12. ε
f[a, b]
Théorème 12 (Théorème de la bijection monotone)
f I f
I J =f(I)f−1
J I f
Exercice 13.
Proposition 5 (Structure)
λ∈Ka∈I f g
(i)f+λg a (f+λg)0(a) = f0(a) + λg0(a)
(ii)fg a (fg)0(a) = f0(a)g(a) + f(a)g0(a)
(iii)g(a)6= 0 f/g a a f
g0(a) =
f0(a)g(a)−f(a)g0(a)
g(a)2
(iv)f◦g f ◦g a (f◦g)0(a) = g0(a)·f0(g(a))
(v)f a x0=f(a)f0(a)6= 0 f−1
x0(f−1)0(x0) = 1
f0(a)
Exercice 14. arcsin arccos arctan
Définition 7 (Dérivées n-ème)
n f f(n)
∗f(0) =f
∗f(n−1) f(n)=f(n−1)0
Proposition 6 (Formule de Leibniz)
f g n (fg)(n)=
n
P
k=0 n
kf(k)g(n−k)