Bonjour
Pouvez vous m’aider a trouver un algorithme ou une méthode pour résoudre ces deux genres de problème :

- trouver tous les couples (x,y) d’entiers naturels tels que :
x*y^2+y+7 divise x^2*y +x+y

- Soit S l'ensemble des réels strictement supérieurs à -1. Trouver toutes les applications S(vers)S vérifiant les deux conditions :
a) pour tout x et y de S : f(x + f(y) + xf(y)) = y + f(x) + yf(x) ;
b) la fonction f(x)/xest strictement croissante sur chacun des intervalles [-1,0[ et ]0 +infini[.

j'aimerais savoir les methodes pour pouvoir traiter d'autres exercices peut etre plus difficiles
a+