Oui en fait pour le voir par des considérations arithmétiques simples: supposons qu'il y a une solution entière à l'équation
notons-la 'n'. Ce nombre entier n (relatif) vérifie:
Soit:
Donc clairement ce produit d'entiers vaut -30 [ou 30 c'est pareil on s'en fout on peut tout multiplier par (-1)] donc n est un diviseur de 30 !
* fin du raisonnement*
Des fois on peut essayer* de trouver une racine rationnelle de la forme x = p/q. Par exemple, soit l'équation:
Cherchons une solution de la forme x = p/q avec p et q deux entiers tels que p/q est irréductible.
Alors p et q vérifient:
Multiplions tout par q^3:
donc:
p et q n'ont aucun diviseur commun par hypothèse, p ne divise pas q^3 donc p divise 6 le terme constant
Idem pour q:
donc q divise 3 (donc soit q = 1, soit q = 3) au signe près
p divise 6 (p = 1 ; p = 2; p = 3; p = 6)
donc x = p/q soit: x = 1 ou x = 1/3 ou x = 2 ou x = 2/3 ou x = 3 ou x = 6 ou x = 2
au signe près !
Parmi toutes ces racines, on les as toutes: x = 2/3, x = -1, x = 3
* "essayer": il existe certains critères pour des petits degrés (2 ou 3) qui permettent de soupçonner l'existence ou pas de racines entières/rationnelles mais cela devient assez poussé pour des degrés élevés et c'est quelque chose que je ne maîtrise pas (programme bac + 3)...