Bonjour,
1).

, car

.
On suppose que

, c'est-à-dire que 5x_n-y_n+3=0.
On vérifie donc que

:
-(\frac{20}{3}x_n+\frac{8}{3}y_n+5)+3)
.
Je te laisse vérifier que cela fait bien 0.
Donc

.
On a donc la relation : 5x_n-y_n+3=0, soit y_n = 5x_n+3.
Tu calcules

en remplaçant

par cette formule.
2). Par récurrence:

(clairement, vu que

).
Si

, alors

, qui est égal à

,

aussi.
De même pour

(soit en passant par y_n=5x_n+3, soit en calculant

en fonction de

et en itérant le raisonnement par récurrence que tu viens de faire sur

).
3). a). Si 3 divise

, on peut écrire

, pour un certain k.
Donc
)
.
Donc

est divisible par 3.
Réciproquement, si 3 divise

, alors il existe k' tel que

= 3k'.
Donc

.

est un entier, et 3 divise

.
On a bien l'équivalence.