Merci levachon,
d'avoir publié ta démonstration. C'est effectivement peu rigoureux, avec un mélange de choses du dix-septième siècle (le dx "constant") et du dix-neuvième (le passage à la limite). Il serait intéressant pour toi de lire de l'histoire des mathématiques (*), concernant les notions de dérivée et primitive au temps de Pascal, Leibnitz et Newton, puis leur évolution jusqu'au vingtième siècle. Le dx vient effectivement des notions d'indivisible (Cavalieri) et d'infiniment petit (Leibnitz). Mais est resté une pure notation du dix-neuvième siècle jusqu'à 1950, car non rigoureux (mais pratique, et toujours pratiqué en physique).
Comme tu t'intéresses aux mathématiques, il serait intéressant pour toi de voir aussi un cours d'analyse de bac+1, par exemple celui-ci, pour voir comment on traite très précisément ces notions (les cours sont juxtaposés, il peut être intéressant de voir un cours sur les limites, puis lire la partie sur fonctions négligeables et équivalents avant la partie calcul intégral).
Cordialement.
(*) tu dois pouvoir trouver pas mal de choses sur Internet, ou dans ton CDI.
-----