I found the problem here: http://www.artofproblemsolving.com/community/c7h1314296_2x15_is_divisible_by_x

$\large a_1 = 3$

$\large a_{n+1} = 2^{a_n -1} +5$


$\large a_n|a_{n+1}$

Initially I tried inducting but found no way to make the statement carry on to the next recurrence.

This problem seems fairly interesting and I wonder if it can be done using elementary means.

The first four values of $a_n$ are as follows:

$3, 9, 261,$


Mathematica verifies the divisibility of $a_4$ by $a_3$, so the statement does appear to hold water.

  • 2
    $\begingroup$ Mathematica also verifies (using PowerMod) that $a_4\mid a_5$. $\endgroup$ Oct 6, 2016 at 6:22
  • 1
    $\begingroup$ Fiddling around with this function. $a_n$ is always odd because its is $2^n + 5 $. It will also be divisible by 3 because $2^n mod 3$ is 1 when n is even. $\endgroup$ Oct 7, 2016 at 1:01
  • 1
    $\begingroup$ See mathoverflow.net/questions/251717/… for extensive discussion. $\endgroup$ Oct 9, 2016 at 13:05


You must log in to answer this question.

Browse other questions tagged .