1)tu dois monter d abord que:
si: x-y>1 alors: il existe k apperenat à Z tel que x<k<y.
donc:pour x=a/c et y=b/c ,on a le resultat car dans ce cas x-y>1.
2)tu dois montrer par recurence qu il existe: a(n) et b(n) tel que:
(1+racine(2))^n=a(n)+b(n)*racine(2) et a(n) ^2=(2b(n)^2)-1,
donc il existe p=a^2(n) ou p=(a^2)(n)+1,verifiant ce que tu veux.