Cette démonstration est très bien. La tienne est un peu chimiste dans le sens où voilà tu divises par y sans dire qu'elle est pas nulle etc... Enfin ça reste valide mais c'est pas propre.
Ouais, j'en suis bien conscient, mais je voulais introduire le e^(-A(x)): je fais cette "présentation" pour des élèves de mon école qui n'y comprennent rien (je ne dis pas que j'en maitrise les moindres recoin mais j'ai compris le principe, et puis dirons-nous, ça m'entraine), ils se demanderaient à coup sûr d'où sort le e^{-A(x)} avec ce -A(x).
Mais dans la démonstration de chimiste comme vous dite, le problème du ln(|y|) qui devient y reste entier je trouve.
Autre chose, je sais que les deux formules sont équivalentes puisqu'on peut sortir ce qu'on veut de K, mais pourquoi la formule générale c'est
y(x) = Ke^[ -A(x)] et non pas y(x) = Ke^[ -A(x) + q]
avec q une constante. Je le dis encore j'ai conscience que ces deux formules sont équivalentes, mais je trouve que la deuxième est plus rigoureuse.