Enoncé:
Soient a et b des entiers strictement positifs tels que a^n divise b^n+1 pour tout entier n > 1. Montrer que a divise b.
solution :
Soit p un nombre premier. L’hypothese nous dit que n*vp(a) > (n + 1)*vp(b), soit encore : vp(a) >(1 + 1/ n)*vp(b) et par passage à la limite vp(a) > vp(b) pour tout nombre premier p. On en déduit que a divise b.
bonsoir, quelqu'un eut m'expliquer la solution? Je n'ai absolument rien compris 
(je connais les valuations p-adique mais j'vois pas trop pourquoi on les utilise ici)
