Justement, je suis bien d'accord : la méthode "miraculeuse" de Rémi me paraît tout simplement complètement incorrecte : on ne peut pas multiplier et diviser par f(a+h)-f(a) sans s'assurer que ceci n'est jamais nul dans un voisinage de a.
Par exemple, si f est constante, ça n'a aucun sens.
Je n'utilise que les développements limités d'ordre 1 en TS, car c'est la seule méthode rigoureuse que je vois : les lycéens ont bcp de mal à suivre mais on y arrive !
Ceci dit, la démo "incorrecte" m'intrigue car je la trouve partout, même dans le cours de certains profs du supérieur.
Du coup, je doute et j'en arrive à me poser une question : peut-on construire une fonction f dérivable, non constante localement en a, telle que f(a+h)-f(a) s'annule au moins une fois sur TOUT voisinage de 0 ?
Graphiquement, je pense que oui, mais je n'en vois pas...
Si vous avez des idées !
Hervé