Bonjour je bloque sur la question 3c) et par conséquent sur la 3d). Pouvez-vous m'aider ?

On étudie l'ensemble E suivant E:{x;(a,b)^2,x=a+b2}

1) Montrer que l'application f: Z^2=>E
                               (a,b)=>a+b2 est une bijection

2) montrer que (E,+,x) est un anneau commutatif. Est-ce un corps ?
3) On note E*+ l'ensemble des éléments strictement positifs de E.
a) justifier l'existence de la borne inferieure de E*+
b) justifier l'assertion suivante kN,(-1+2)^kE*+
c) Soit un réel strictement positif quelconque.
Prouver qu'il existe un entier naturel k tel que (-1+2)^k<
d) Quelle est la borne inférieure de E*+ ?

merci d'avance