Maths Olympiad Prep

Library / Macedonian Mathematical Competitions /7 of 73

Macedonian Mathematical Competitions

Algebra Difficulty 4.0 AIME Prove it North Macedonia

Prove that if 2am=an2a_m = a_n, then a2m−na_{2m-n} is a perfect square, where an=1+2+...+na_n = 1+2+...+n, for every n∈Nn \in \mathbb{N}.

Solution

We have an=n(n+1)2a_n = \frac{n(n+1)}{2}, n∈Nn \in \mathbb{N}. Since 2am=an2a_m = a_n, it follows that
2m(m+1)2=n(n+1)2,2m(m+1)=n(n+1). 2 \frac{m(m+1)}{2} = \frac{n(n+1)}{2}, \quad 2m(m+1) = n(n+1).
Now
a2m−n=12(2m−n)(2m−n+1)=12(4m2−4mn+n2+2m−n)==12(2m2+2m+2m2−4mn+2n2−n2−n)==12(2m2−4mn+2n2)=122(m2−2mn+n2)=(m−n)2 \begin{align*} a_{2m-n} &= \frac{1}{2}(2m-n)(2m-n+1) = \frac{1}{2}(4m^2 - 4mn + n^2 + 2m - n) = \\ &= \frac{1}{2}\left(2m^2 + 2m + 2m^2 - 4mn + 2n^2 - n^2 - n\right) = \\ &= \frac{1}{2}(2m^2 - 4mn + 2n^2) = \frac{1}{2}2(m^2 - 2mn + n^2) = (m-n)^2 \end{align*}

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.