APMO 2013 Problem 3

Discussion on Asian Pacific Mathematical Olympiad (APMO)
User avatar
Phlembac Adib Hasan
Posts:1016
Joined:Tue Nov 22, 2011 7:49 pm
Location:127.0.0.1
Contact:
APMO 2013 Problem 3

Unread post by Phlembac Adib Hasan » Thu May 09, 2013 11:14 am

For $2k$ real numbers $a_1, a_2, ..., a_k$, $b_1, b_2, ..., b_k$ define a sequence of numbers $X_n$ by
\[X_n = \sum_{i=1}^k [a_in + b_i] \quad (n=1,2,...).\] If the sequence $X_N$ forms an arithmetic progression, show that $\textstyle\sum_{i=1}^k a_i$ must be an integer. Here $[r]$ denotes the greatest integer less than or equal to $r$.

User avatar
SANZEED
Posts:550
Joined:Wed Dec 28, 2011 6:45 pm
Location:Mymensingh, Bangladesh

Re: APMO 2013 Problem 3

Unread post by SANZEED » Fri May 10, 2013 12:15 am

(This is a solution I saw later in the math camp.)
Let $\displaystyle\sum_{i=1}^{k}a_i=A,\displaystyle\sum_{i=1}^{k}b_i=B$. Also let $X_i=X_1+(i-1)d$. Since $X_1,X_2$ are integers, $d=X_2-X_1$ is also an integer.
Then, $\displaystyle\sum_{i=1}^{k}(a_in+b_i+1)>\displaystyle\sum_{i=1}^{k}\lfloor a_in+b_i\rfloor>\displaystyle\sum_{i=1}^{k}(a_in+b_i-1)$
$\Rightarrow nA+B+k>X_n>nA+B-k...........................(i)$
Putting $n=1$ in $(i)$ we deduce that $A+B+k>X_1>A+B-k$
$\Rightarrow -A-B+k<-X_1<-A-B-k...........................(ii)$
Adding (i) and (ii), $(n-1)A+2k>X_n-X_1>(n-1)A-2k$
$\Rightarrow 2k>(n-1)(d-A)>-2k$.
Now if $d-A\neq 0$ then taking $n\to \infty$ will make $(n-1)(d-A)>2k$ or $(n-1)(d-A)<-2k$ so we must have
$d-A=0\Rightarrow A=d\in \mathbb{Z}$.
$\color{blue}{\textit{To}} \color{red}{\textit{ problems }} \color{blue}{\textit{I am encountering with-}} \color{green}{\textit{AVADA KEDAVRA!}}$

User avatar
*Mahi*
Posts:1175
Joined:Wed Dec 29, 2010 12:46 pm
Location:23.786228,90.354974
Contact:

Re: APMO 2013 Problem 3

Unread post by *Mahi* » Fri May 10, 2013 2:25 pm

Phlembac Adib Hasan wrote:For $2k$ real numbers $a_1, a_2, ..., a_k$, $b_1, b_2, ..., b_k$ define a sequence of numbers $X_n$ by
\[X_n = \sum_{i=1}^k [a_in + b_i] \quad (n=1,2,...).\] If the sequence $X_N$ forms an arithmetic progression, show that $\textstyle\sum_{i=1}^k a_i$ must be an integer. Here $[r]$ denotes the greatest integer less than or equal to $r$.
As always, let $\displaystyle\sum_{i=1}^{k}a_i=A,\displaystyle\sum_{i=1}^{k}b_i=B$, and let $X_n = \sum_{i=1}^k [a_in + b_i] = Sn+T$ (as it is an arithmetic series).
So, we have $\sum (a_in+b_i) \geq \sum [a_in + b_i] \geq \sum (a_in + b_i -1) $
$\Rightarrow An +B \geq Sn+T \geq An+B - k$
$\Rightarrow A+ \frac B n \geq S +\frac Tn \geq A + \frac Bn - \frac kn$

Taking $n \rightarrow \infty$ implies $S = A$, and as $S$ is an integer, so is $A$.
Please read Forum Guide and Rules before you post.

Use $L^AT_EX$, It makes our work a lot easier!

Nur Muhammad Shafiullah | Mahi

Post Reply