Maths Olympiad Prep

Library / /5 of 11

, 2013

Algebra Difficulty 8.0 Shortlist Prove it Saudi Arabia

Given an integer n2n \geq 2, determine the number of ordered nn-tuples of integers (a1,a2,,an)(a_{1}, a_{2}, \ldots, a_{n}) such that

a) a1+a2++ann2a_{1} + a_{2} + \cdots + a_{n} \geq n^{2}; and

b) a12+a22++an2n3+1a_{1}^{2} + a_{2}^{2} + \cdots + a_{n}^{2} \leq n^{3} + 1.

Solution

First solution. Notice that we have
(a1n)2++(ann)2=(a12++an2)2n(a1++an)+n3n3+12n3+n3=1. \begin{aligned} \left(a_{1}-n\right)^{2}+\cdots+\left(a_{n}-n\right)^{2} & =\left(a_{1}^{2}+\cdots+a_{n}^{2}\right)-2 n\left(a_{1}+\cdots+a_{n}\right)+n^{3} \\ & \leq n^{3}+1-2 n^{3}+n^{3}=1 . \end{aligned}
Therefore, there are two cases:

The first case is when a1=a2==an=na_{1}=a_{2}=\cdots=a_{n}=n. This is a solution since it satisfies both inequalities.

The second case is when there exists 1i0n1 \leq i_{0} \leq n such that ai0n=1|a_{i_{0}}-n|=1 and ai=na_{i}=n for all 1in1 \leq i \leq n with ii0i \neq i_{0}.

If ai0=n1a_{i_{0}}=n-1, the first inequality becomes n21=a1++ann2n^{2}-1=a_{1}+\cdots+a_{n} \geq n^{2} which is impossible.

If ai0=n+1a_{i_{0}}=n+1, the second inequality becomes n3+2n+1=a12++an2n3+1n^{3}+2 n+1=a_{1}^{2}+\cdots+a_{n}^{2} \leq n^{3}+1 which is also impossible.

Hence, the only solution to both inequalities is given by a1=a2==an=na_{1}=a_{2}=\cdots= a_{n}=n.

Second solution. We have by Cauchy-Schwartz inequality
(n2+1)2>n4+nn(a12++an2)(a1++an)2n4. \left(n^{2}+1\right)^{2}>n^{4}+n \geq n\left(a_{1}^{2}+\cdots+a_{n}^{2}\right) \geq\left(a_{1}+\cdots+a_{n}\right)^{2} \geq n^{4} .
We deduce that
a1++an=n2 a_{1}+\cdots+a_{n}=n^{2}
and
n3+1a12++an2n3 n^{3}+1 \geq a_{1}^{2}+\cdots+a_{n}^{2} \geq n^{3}
and the right hand side equality occurs if and only if a1==an=na_{1}=\cdots=a_{n}=n.

Now, assume, looking for a contradiction, that a12++an2=n3+1a_{1}^{2}+\cdots+a_{n}^{2}=n^{3}+1. Since a number and all his powers have the same parity, we deduce that
nn2a1++ana12++an2n3+1n+1mod2 n \equiv n^{2} \equiv a_{1}+\cdots+a_{n} \equiv a_{1}^{2}+\cdots+a_{n}^{2} \equiv n^{3}+1 \equiv n+1 \quad \bmod 2
which is impossible.

Hence, the only solution to both inequalities is given by a1=a2==an=na_{1}=a_{2}=\cdots= a_{n}=n.

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 and solution reproduced as published; topic and difficulty added by this site.