Maths Olympiad Prep

Library / /5 of 26

Algebra Difficulty 7.1 National Olympiad, round 2 Prove it Asia Pacific Mathematics Olympiad (APMO)

Let a,b,c,d,e,fa, b, c, d, e, f be real numbers such that the polynomial
p(x)=x84x7+7x6+ax5+bx4+cx3+dx2+ex+f p(x) = x^{8} - 4x^{7} + 7x^{6} + a x^{5} + b x^{4} + c x^{3} + d x^{2} + e x + f
factorises into eight linear factors xxix - x_{i}, with xi>0x_{i} > 0 for i=1,2,,8i = 1, 2, \ldots, 8. Determine all possible values of ff.

Solution

From
x84x7+7x6+ax5+bx4+cx3+dx2+ex+f=(xx1)(xx2)(xx8) x^{8} - 4x^{7} + 7x^{6} + a x^{5} + b x^{4} + c x^{3} + d x^{2} + e x + f = (x - x_{1})(x - x_{2}) \ldots (x - x_{8})
we have
i=18xi=4andxixj=7 \sum_{i=1}^{8} x_{i} = 4 \quad \text{and} \quad \sum x_{i} x_{j} = 7
where the second sum is over all pairs (i,j)(i, j) of integers where 1i<j81 \leq i < j \leq 8. Since this sum can also be written
12[(i=18xi)2i=18xi2] \frac{1}{2}\left[\left(\sum_{i=1}^{8} x_{i}\right)^{2} - \sum_{i=1}^{8} x_{i}^{2}\right]
we get
14=(i=18xi)2i=18xi2=16i=18xi2 14 = \left(\sum_{i=1}^{8} x_{i}\right)^{2} - \sum_{i=1}^{8} x_{i}^{2} = 16 - \sum_{i=1}^{8} x_{i}^{2}
so
i=18xi2=2whilei=18xi=4[3 marks ] \begin{equation*} \sum_{i=1}^{8} x_{i}^{2} = 2 \quad \text{while} \quad \sum_{i=1}^{8} x_{i} = 4 \quad [3 \text{ marks }] \tag{1} \end{equation*}
Now
i=18(2xi1)2=4i=18xi24i=18xi+8=4(2)4(4)+8=0 \sum_{i=1}^{8} (2x_{i} - 1)^{2} = 4 \sum_{i=1}^{8} x_{i}^{2} - 4 \sum_{i=1}^{8} x_{i} + 8 = 4(2) - 4(4) + 8 = 0
which forces xi=1/2x_{i} = 1/2 for all ii. [3 marks] Therefore
f=i=18xi=(12)8=1256.[1 mark] f = \prod_{i=1}^{8} x_{i} = \left(\frac{1}{2}\right)^{8} = \frac{1}{256}. \quad [1 \text{ mark}]

Alternate solution: After obtaining (1) [3 marks], use Cauchy's inequality to get
16=(x11+x21++x81)2(x12+x22++x82)(12+12++12)=82=16; 16 = (x_{1} \cdot 1 + x_{2} \cdot 1 + \cdots + x_{8} \cdot 1)^{2} \leq (x_{1}^{2} + x_{2}^{2} + \cdots + x_{8}^{2})(1^{2} + 1^{2} + \cdots + 1^{2}) = 8 \cdot 2 = 16;
or the power mean inequality to get
12=18i=18xi(18i=18xi2)1/2=12.[2 marks] \frac{1}{2} = \frac{1}{8} \sum_{i=1}^{8} x_{i} \leq \left(\frac{1}{8} \sum_{i=1}^{8} x_{i}^{2}\right)^{1/2} = \frac{1}{2}. \quad [2 \text{ marks}]
Either way, equality must hold, which can only happen if all the terms xix_{i} are equal, that is, if xi=1/2x_{i} = 1/2 for all ii. [1 mark] Thus f=1/256f = 1/256 as above. [1 mark]

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.