Exercice AA-001-A


  • Math&Maroc

    Montrer que tous les termes de la suite xn{x_n} définie par x0=1x_0=1 et
    xn+1=3xn+5xn242n0,x_{n+1}= \dfrac{3x_n+\sqrt{5x_n^2-4}}{2}\quad\forall n\geq 0,
    sont des entiers.



  • En essayant les premiers termes on remarque que xn=F2n+1 x_{n}=F_{2n+1}
    On entame une récurrence . On veut demontrer que F2n+3=3F2n+1+5F2n+1242F_{2n+3}= \frac{3F_{2n+1}+ \sqrt{5F_{2n+1}^2-4}}{2}

    Ce qui équivaut à F2n+12=F2n+22F2n+1F2n+2+1 F_{2n+1}^2 = F_{2n+2}^2 - F_{2n+1}F_{2n+2} +1
    Démontrons cette propriété par récurrence. Pour n=0 n=0 c est vrai
    Supposons que F2n+12=F2n+22F2n+1F2n+2+1 F_{2n+1}^2 = F_{2n+2}^2 - F_{2n+1}F_{2n+2} +1
    Montrons que F2n+32=F2n+42F2n+3F2n+4+1 F_{2n+3}^2 = F_{2n+4}^2 - F_{2n+3}F_{2n+4} +1
    Equivalent à F2n+12+2F2n+1F2n+2=F2n+2F2n+3+1 F_{2n+1}^2 +2 F_{2n+1}F_{2n+2} = F_{2n+2}F_{2n+3} +1
    Ou encore en utilisant l hypothése de récurrence à :
    F2n+1+F2n+2=F2n+3 F_{2n+1} + F_{2n+2} = F_{2n+3} Ce qu est vrai.
    On en déduit que xn=F2n+1 x_{n}=F_{2n+1} Donc xn x_{n} est un entier pour tout n


Log in to reply
 

Looks like your connection to Expii Forum was lost, please wait while we try to reconnect.