Maths Olympiad Prep

Library / /20 of 520

Algebra Difficulty 4.8 AIME Find the answer

57. (USS 4) IMO5{ }^{\mathrm{IMO} 5} Consider the sequence (cn)\left(c_{n}\right) : c1=a1+a2++a8,c2=a12+a22++a82,cn=a1n+a2n++a8n, \begin{gathered} c_{1}=a_{1}+a_{2}+\cdots+a_{8}, \\ c_{2}=a_{1}^{2}+a_{2}^{2}+\cdots+a_{8}^{2}, \\ \cdots \\ \cdots \cdots \cdots \\ c_{n}=a_{1}^{n}+a_{2}^{n}+\cdots+a_{8}^{n}, \end{gathered} [^1]where a1,a2,,a8a_{1}, a_{2}, \ldots, a_{8} are real numbers, not all equal to zero. Given that among the numbers of the sequence (cn)\left(c_{n}\right) there are infinitely many equal to zero, determine all the values of nn for which cn=0c_{n}=0.

A number or a short expression. Spacing and $ signs are ignored.

Solution

57. Obviously cn>0c_{n}>0 for all even nn. Thus cn=0c_{n}=0 is possible only for an odd nn. Let us assume a1a2a8a_{1} \leq a_{2} \leq \cdots \leq a_{8} : in particular, a10a8a_{1} \leq 0 \leq a_{8}. If a1n0,7a1n7a1n+a8n>0\left|a_{1}\right|n_{0}, 7\left|a_{1}\right|^{n}7 a_{1}^{n}+a_{8}^{n}>0, contradicting the condition that cn=0c_{n}=0 for infinitely many nn. Similarly a1>a8\left|a_{1}\right|>\left|a_{8}\right| is impossible, and we conclude that a1=a8a_{1}=-a_{8}. Continuing in the same manner we can show that a2=a7,a3=a6a_{2}=-a_{7}, a_{3}=-a_{6} and a4=a5a_{4}=-a_{5}. Hence cn=0c_{n}=0 for every odd nn.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.