MathDB
Bundeswettbewerb Mathematik 1980 Problem 2.4

Source: Bundeswettbewerb Mathematik 1980 Round 2

September 23, 2022
number theorySequenceIntegers

Problem Statement

A sequence of integers a1,a2,a_1,a_2,\ldots is defined by a1=1,a2=2a_1=1,a_2=2 and for n1n\geq 1, an+2={5an+13an,if anan+1 is even,an+1an,if anan+1 is odd,a_{n+2}=\left\{\begin{array}{cl}5a_{n+1}-3a_{n}, &\text{if}\ a_n\cdot a_{n+1}\ \text{is even},\\ a_{n+1}-a_{n}, &\text{if}\ a_n\cdot a_{n+1}\ \text{is odd},\end{array}\right. (a) Prove that the sequence contains infinitely many positive terms and infinitely many negative terms.
(b) Prove that no term of the sequence is zero.
(c) Show that if n=2k1n = 2^k - 1 for k2k\geq 2, then ana_n is divisible by 77.