Obtenez des solutions complètes à vos questions avec Zoofast.fr. Notre plateforme est conçue pour fournir des réponses rapides et précises à toutes vos questions.

Montrer que pour tout x entier relatif que x⁷/7 + x⁵/5 + 23x/35 appartient à Z

Sagot :

On remarque tout d'abord que :

[tex]\dfrac{x^7}{7} + \dfrac{x^5}{5} + \dfrac{23x}{35} = \dfrac{5x^7+7x^5+23x}{35}[/tex]

Pour que ce nombre appartienne à l'ensemble des entiers relatifs, il faut que le numérateur soit un multiple de 35. Comme 35 = 7 x 5 et que 5 et 7 sont premiers, il faut vérifier la divisibilité du numérateur par 5 et 7, pour tout entier relatif [tex]x[/tex].

Divisibilité par 5 :

[tex]5x^7+7x^5+23x \equiv 2x^5 + 3x \pmod 5[/tex]

On teste les valeurs possibles de [tex]x[/tex] modulo 5 (0 à 4).

  • [tex]x \equiv 0 \pmod 5[/tex] : [tex]2x^5 + 3x \equiv 0 \pmod 5[/tex]
  • [tex]x \equiv 1 \pmod 5[/tex] : [tex]2x^5 + 3x \equiv 2+3 \pmod 5 \equiv 0 \pmod 5[/tex]
  • [tex]x \equiv 2 \pmod 5[/tex] : [tex]2x^5 + 3x \equiv 64 + 6 = 70 \equiv 0 \pmod 5[/tex]
  • [tex]x \equiv 3 \pmod 5[/tex] : [tex]2x^5+3x \equiv 495 \equiv 0\pmod 5[/tex]
  • [tex]x \equiv 4 \pmod 5[/tex] : [tex]2x^5+3x \equiv 2060 \equiv 0\pmod 5[/tex]

Dans chaque cas, [tex]2x^5 + 3x \equiv 0 \pmod 5[/tex], donc [tex]5x^7+7x^5+23x[/tex] est divisible par 5 pour tout entier relatif [tex]x[/tex].

Divisibilité par 7 :

[tex]5x^7+7x^5+23x \equiv 5x^7 + 2x \pmod 7[/tex]

Même méthode avec les entiers de 0 à 6 (modulo 7) et on s'aperçoit que [tex]5x^7 + 2x \equiv 0 \pmod 7[/tex], donc que le numérateur est divisible par 7 pour tout entier relatif [tex]x[/tex].

Conclusion : numérateur divisible par 7 et 5 donc par 35 (car 7 et 5 sont premiers entre eux) et le nombre appartient bien à l'ensemble des entiers relatifs pour tout entier relatif [tex]x[/tex].