La suite de Perrin

(Oral Centrale Mp)
On pose {u_0=3}, {u_1=0}, {u_2=2}, et : {\forall\, n\ge3,\;u_n=u_{n-2}+u_{n-3}}L’objectif de l’exercice est de montrer la propriété {\mathcal{P}} : tout entier premier {p} divise {u_p}.

Soit {r_1,r_2,r_3} les racines de {P=X^3-X-1}.

Soit la série entière {f(t)=\displaystyle\sum_{n\ge0}u_n\,t^n}.

  1. Montrer que :{\forall\,n\in\mathbb{N},\;u_n=r_1^n+r_2^n+r_3^n}Préciser le rayon de convergence {R} de {f(t)}.
  2. Pour {-R\lt t\lt R}, calculer {f(t)} sous forme de fraction rationnelle.
  3. On pose {t\mapsto\varphi(t)=-\ln(1-t^2-t^3)}.

    Justifier le développement {\varphi(t)=\displaystyle\sum_{n=0}^{+\infty}v_nt^n}.

    Relier {u_n} et {v_n}, pour {n\ge 1}.

  4. Soit {p} un entier premier. Montrer que {v_p} est un rationnel donc le dénominateur (dans la forme simplifiée de {v_p}) est premier avec {p}. En déduire que {u_p} est divisible par {p}.

Cliquer ici pour voir (ou cacher) le corrigé
Pour voir ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez : Mathprepa.fr, c'est plus de 2500 exercices et 200 problèmes (tous soigneusement corrigés), un cours complet (maths et info), plus de 400 sujets de concours, etc. dans une présentation fluide et professionnelle adaptée à toutes les tailles d'écran, pour une souscription de 20€ (un an) ou 30€ (deux ans).