Un exo classique sur un nombre de pisot, qui sont des nombres algébriques dont les autres racines (ou conjugués) du polynôme minimal dans Q sont de module strictement inférieur à 1
On vérifie aisément grâce aux formules de Newton que les distances de leurs puissances consécutives à lN tendent vers zéro...
Ici vue que c'est de degré 2, inutile d'aller aussi loin mais c'est un type d'exo qui se généralise 