Bonjour,
Tout repose sur une démonstration géométrique de

; c'était ce qu'on faisait en première S quand on démontrait encore quelque chose, mais maintenant tout est admis! Même si la démonstration n'a pas la même rigueur que celle qui découle de
=Im(e^{ix}))
, c'était quand même une argumentation qui tenait la route.
ce que je veux dire, c'est que les élève de première S vont très vite abandonner
 -f(x)}{h})
pour calculer
)
; mais par contre en T°, ils devront reconnaître

ou
}{x})
comme des nombres dérivés alors que pour les deux fonctions en question, la dérivée aura été admise (la dérivée de la bijection réciproque n'est plus au programme de même la formule (fou)'=u'f'(u)).
Donc on est parfaitement d'accord, cette définition de f'(x) est fondamentale et doit être connue, mais il est hors de question de l'utiliser pour calculer des dérivées, hormis celles qui servent de résultats de base.