Subcontests
(8)IMO Shortlist 2009 - Problem C3
Let n be a positive integer. Given a sequence ε1, …, εn−1 with εi=0 or εi=1 for each i=1, …, n−1, the sequences a0, …, an and b0, …, bn are constructed by the following rules: a_0 = b_0 = 1, a_1 = b_1 = 7, \begin{array}{lll}
a_{i+1} =
\begin{cases}
2a_{i-1} + 3a_i, \\
3a_{i-1} + a_i,
\end{cases} &
\begin{array}{l}
\text{if } \varepsilon_i = 0, \\
\text{if } \varepsilon_i = 1, \end{array}
& \text{for each } i = 1, \dots, n - 1, \$$15pt]
b_{i+1}=
\begin{cases}
2b_{i-1} + 3b_i, \\
3b_{i-1} + b_i,
\end{cases} &
\begin{array}{l}
\text{if } \varepsilon_{n-i} = 0, \\
\text{if } \varepsilon_{n-i} = 1, \end{array}
& \text{for each } i = 1, \dots, n - 1.
\end{array} Prove that an=bn.Proposed by Ilya Bogdanov, Russia IMO Shortlist 2009 - Problem C8
For any integer n≥2, we compute the integer h(n) by applying the following procedure to its decimal representation. Let r be the rightmost digit of n.
[*]If r=0, then the decimal representation of h(n) results from the decimal representation of n by removing this rightmost digit 0.
[*]If 1≤r≤9 we split the decimal representation of n into a maximal right part R that solely consists of digits not less than r and into a left part L that either is empty or ends with a digit strictly smaller than r. Then the decimal representation of h(n) consists of the decimal representation of L, followed by two copies of the decimal representation of R−1. For instance, for the number 17,151,345,543, we will have L=17,151, R=345,543 and h(n)=17,151,345,542,345,542.
Prove that, starting with an arbitrary integer n≥2, iterated application of h produces the integer 1 after finitely many steps.Proposed by Gerhard Woeginger, Austria IMO Shortlist 2009 - Problem N6
Let k be a positive integer. Show that if there exists a sequence a0,a1,… of integers satisfying the condition an=nan−1+nk for all n≥1, then k−2 is divisible by 3.Proposed by Okan Tekman, Turkey IMO Shortlist 2009 - Problem C2
For any integer n≥2, let N(n) be the maxima number of triples (ai,bi,ci), i=1,…,N(n), consisting of nonnegative integers ai, bi and ci such that the following two conditions are satisfied:
[*] ai+bi+ci=n for all i=1,…,N(n),
[*] If i=j then ai=aj, bi=bj and ci=cj
Determine N(n) for all n≥2.Proposed by Dan Schwarz, Romania