Reprenons depuis le début :
L'équation, c'est ça : 8tx - 5x² + 2t (2t - 5x) x' = 0
Et vu l'indication,
on aimerais montrer qu'on peut écrire cette équation sous la forme t'.dF/dt+x'.dF/dx=0
qu'on sait être facile à résoudre.
La phrase ci dessus explique précisément le travail à faire :
1) Montrer qu'une telle application F existe et, si possible, la déterminer (pour pouvoir l'utiliser dans les calculs)
2) Faire la "partie connue comme facile".
On commence logiquement par le 1), vu que ça serait nettement mieux de connaitre la fameuse fonction F pour la partie 2) et, après calculs, on conclue que
Ben314 a écrit:...il existe bien une fonction F vérifiant à la fois dF/dx=4t²-10xt et dF/dy=8tx - 5 et que cette fonction F est F=4xt²-5x²t (plus une constante si on veut).
Reste la partie 2) qui est quasi du cours :
On sait que t'.dF/dt+x'.dF/dx = (F(x,t))' donc l'équation t'.dF/dt+x'.dF/dx=0 équivaut à F(x,t)=cst qui permet (a la rigueur, ce n'est pas toujours super utile ni super malin) d'exprimer x en fonction de t et... d'une constante arbitraire, ce qui est normal, il y a quasi systématiquement des "constantes arbitraires" dans les solutions d'une équa.diff. qui, dans beaucoup de problème concret, sont déterminés par "les conditions initiales" du problème.