IREMInstitut de recherche sur l'enseignement des mathématiques de Grenoble

La notation dx, sur laquelle s'appuie le formalisme de Leibniz, est plus qu'une simple notation car, dans l'histoire de l'analyse, elle a été associée à la conceptualisation de la dérivée. La question de la rigueur de son utilisation est soulevée par les élèves dans le débat à propos de la formule de la dérivation d'une fonction composée. L'analyse de ce débat a conduit à des réflexions sur le rôle de la notation dx dans les premiers apprentissages du calcul des dérivées.