Maths Olympiad Prep

Library / /11 of 80

Algebra Difficulty 4.0 AIME Prove it North Macedonia

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

Solution

We have an=n(n+1)2a_n = \frac{n(n+1)}{2}, nNn \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
a2mn=12(2mn)(2mn+1)=12(4m24mn+n2+2mn)==12(2m2+2m+2m24mn+2n2n2n)==12(2m24mn+2n2)=122(m22mn+n2)=(mn)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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

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