1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Recursive sequence

  1. Sep 15, 2007 #1


    User Avatar
    Staff Emeritus
    Science Advisor

    1. The problem statement, all variables and given/known data
    Sequence of integers a1, a2, a3, . . . is fixed by:
    a1 =1,
    a2 =2,
    [tex]a_{n}={3a}_{n-1}+5a_{n-2}[/tex] for n=3,4,5, . . . .
    Decide if exisist such an integer k[tex]\geq[/tex]2, that [tex]{a}_{k+1}\bullet {a}_{k+1}[/tex] is divisible by [tex]{a}_{k}.[/tex]

    2. Relevant equations

    don't care about latex error.
    Last edited: Sep 15, 2007
  2. jcsd
  3. Sep 15, 2007 #2


    User Avatar
    Staff Emeritus
    Science Advisor

    I edited to try to correct the Latex and accidently deleted the entire thread. Sorry about that. I don't know why the
    [tex]a_n= 3a_{n-1}+ 5a_{n-2}[/tex]
    still won't come out properly.
    To make up for that, I'll try to help with the question!

    Before you can prove anything, you need to decide if it is true or false! The question asks b if there exist an integer larger than 1 such that [itex]a_{k+1}^2[/itex] is divisible by a_k.

    From the recursion formula, [itex]a_{k+1}= 3a_k+ 5a_{k-1}[/itex].
    [itex](a_{k+1})^2= 9a_k^2+ 30a_ka_{k-1}+ 25a_{k-1}[/itex]
    Since the first two terms are obviously divisble by [itex]a_k[/itex], the whole thing is if and only if [itex]25a_{k-1}^2[/itex] is divisible by a_k.

    That's as far as I can get. Don't know if it helps.
  4. Sep 15, 2007 #3
    Find a summation then use induction^^
  5. Sep 18, 2007 #4
    Notice that if [tex] a_{k+1}^2 [/tex] is divisible by [tex] a_k [/tex] then there is a prime [tex] p [/tex] such that both [tex] a_{k+1}[/tex] and [tex]a_k [/tex] are divisible by [tex] p [/tex]. in other words
    [tex] a_{k+1} = 0 [/tex] modulo [tex]p[/tex]
    [tex] a_k = 0 [/tex] modulo [tex]p[/tex].

    for a fixed prime [tex] q [/tex] define the sequence of integers [tex] b_1,b_2, \dots [/tex] by:
    [tex] b_{1} = 1[/tex]

    [tex] b_{2} = 2[/tex]

    [tex] b_{n} = 3 b_{n-1} + 5 b_{n-2} [/tex] modulo [tex] q [/tex]

    Show: there is no integer k>=2 such that both [tex] b_k [/tex] and [tex] b_{k+1} [/tex] are 0.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?