Effectivement, par l'absurde on suppose que: V(n/n+1) appartient à Q, c'est à dire:
V(n/n+1)= a/b tel que PGCD(a,b)=1, en élevant au carré on obtient:
nb²=a²n+a² ====> n=a²/(b²-a²)
On pose PGCD(a², b²-a²)=d, alors:
d|a² et d|b²-a² ==> d|b² et d|a² ==> d|(PGCD(a,b))² ==> d|1 ==> d=1
Et donc, a² et b²-a² sont premiers entre eux, ce qui assure que n n'est pas un entier, Or selon les données, n appartient N*, c'est la contradiction recherchée!
Sauf erreur.