Cratholf a écrit:mais semble pourtant essentielle !
Elle l'est !
tu peux même remplacer le o(x) par o(u(x)) pour u(x) borné ou par O(u(x)) pour u(x) qui tend vers 0.
Par définition de la dérivabilité,
(f(a+x)-f(a))/x tend vers f'(a), donc est borné au voisinage de x=0.
C'est-à-dire f(a+x) = f(a) + O(x) (pour x qui tend vers 0)
Après c'est juste une histoire de "composition" de o ou de O
Si u(x) tend vers 0, (f(a+u(x)) - f(a))/u(x) est borné, c'est-à-dire f(a+u(x)) = f(a) + O(u(x))
maintenant si u(x)/v(x) tend vers 0 avec v borné (c'est-à-dire u(x) = o(v(x))),
ça fait que u(x) tend vers 0 donc ((f(a+u(x)) - f(a))/u(x))*(u(x)/v(x)) tend vers 0, c'est-à-dire f(a+u(x)) = f(a) + o(v(x)), donc on a montré "l'égalité" f(a+o(v)) = f(a) + o(v)
De même si u(x)/v(x) est borné et que v tend vers 0 on fait la même chose et on conclut que f(a+O(v)) = f(a)+O(v)