Maths Olympiad Prep

Library / /964 of 1394

, 2022

Combinatorics Difficulty 5.5 AIME, harder Prove it United States

Problem:
Let (a1,a2,,a8)(a_{1}, a_{2}, \ldots, a_{8}) be a permutation of (1,2,,8)(1,2, \ldots, 8). Find, with proof, the maximum possible number of elements of the set
{a1,a1+a2,,a1+a2++a8} \left\{a_{1}, a_{1}+a_{2}, \ldots, a_{1}+a_{2}+\cdots+a_{8}\right\}
that can be perfect squares.

Solution

Solution:
We claim the maximum is 55, achieved by the sequence (1,3,5,7,2,4,6,8)(1,3,5,7,2,4,6,8). Now we prove that we cannot do better.

Since a1+a2++a8=1+2++8=36a_{1}+a_{2}+\ldots+a_{8}=1+2+\ldots+8=36, then there are at most 66 squares in
{a1,a1+a2,,a1+a2++a8}. \left\{a_{1}, a_{1}+a_{2}, \ldots, a_{1}+a_{2}+\cdots+a_{8}\right\}.
Note that if a1++ak=n2a_{1}+\cdots+a_{k}=n^{2} and a1++aj=(n+1)2a_{1}+\cdots+a_{j}=(n+1)^{2}, then ak+1++aj=2n+1a_{k+1}+\ldots+a_{j}=2n+1. Since 2n+12n+1 is odd, ama_{m} must be odd for some m[k+1,j]m \in [k+1, j].

Thus, if all of 1,4,9,16,251,4,9,16,25, and 3636 are in
{a1,a1+a2,,a1+a2++a8} \left\{a_{1}, a_{1}+a_{2}, \ldots, a_{1}+a_{2}+\cdots+a_{8}\right\}
then a1=1a_{1}=1, and there are five more odd values in {a1,a2,,a8}\left\{a_{1}, a_{2}, \ldots, a_{8}\right\}, which is a contradiction because there are only four odd numbers in {1,2,,8}\{1,2, \ldots, 8\}.

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.