Maths Olympiad Prep

Library / /195 of 520

Algebra Difficulty 6.2 National olympiad Find the answer

Find the smallest number nn such that there exist polynomials f1,f2,,fnf_{1}, f_{2}, \ldots, f_{n} with rational coefficients satisfying
x2+7=f1(x)2+f2(x)2++fn(x)2. x^{2}+7=f_{1}(x)^{2}+f_{2}(x)^{2}+\cdots+f_{n}(x)^{2} .
(Poland) Answer. The smallest nn is 5.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

The equality x2+7=x2+22+12+12+12x^{2}+7=x^{2}+2^{2}+1^{2}+1^{2}+1^{2} shows that n5n \leq 5. It remains to show that x2+7x^{2}+7 is not a sum of four (or less) squares of polynomials with rational coefficients. Suppose by way of contradiction that x2+7=f1(x)2+f2(x)2+f3(x)2+f4(x)2x^{2}+7=f_{1}(x)^{2}+f_{2}(x)^{2}+f_{3}(x)^{2}+f_{4}(x)^{2}, where the coefficients of polynomials f1,f2,f3f_{1}, f_{2}, f_{3} and f4f_{4} are rational (some of these polynomials may be zero). Clearly, the degrees of f1,f2,f3f_{1}, f_{2}, f_{3} and f4f_{4} are at most 1. Thus fi(x)=aix+bif_{i}(x)=a_{i} x+b_{i} for i=1,2,3,4i=1,2,3,4 and some rationals a1,b1,a2,b2,a3,b3,a4,b4a_{1}, b_{1}, a_{2}, b_{2}, a_{3}, b_{3}, a_{4}, b_{4}. It follows that x2+7=i=14(aix+bi)2x^{2}+7=\sum_{i=1}^{4}\left(a_{i} x+b_{i}\right)^{2} and hence
i=14ai2=1,i=14aibi=0,i=14bi2=7 \sum_{i=1}^{4} a_{i}^{2}=1, \quad \sum_{i=1}^{4} a_{i} b_{i}=0, \quad \sum_{i=1}^{4} b_{i}^{2}=7
Let pi=ai+bip_{i}=a_{i}+b_{i} and qi=aibiq_{i}=a_{i}-b_{i} for i=1,2,3,4i=1,2,3,4. Then
i=14pi2=i=14ai2+2i=14aibi+i=14bi2=8i=14qi2=i=14ai22i=14aibi+i=14bi2=8 and i=14piqi=i=14ai2i=14bi2=6 \begin{aligned} \sum_{i=1}^{4} p_{i}^{2} & =\sum_{i=1}^{4} a_{i}^{2}+2 \sum_{i=1}^{4} a_{i} b_{i}+\sum_{i=1}^{4} b_{i}^{2}=8 \\ \sum_{i=1}^{4} q_{i}^{2} & =\sum_{i=1}^{4} a_{i}^{2}-2 \sum_{i=1}^{4} a_{i} b_{i}+\sum_{i=1}^{4} b_{i}^{2}=8 \\ \text { and } \quad \sum_{i=1}^{4} p_{i} q_{i} & =\sum_{i=1}^{4} a_{i}^{2}-\sum_{i=1}^{4} b_{i}^{2}=-6 \end{aligned}
which means that there exist a solution in integers x1,y1,x2,y2,x3,y3,x4,y4x_{1}, y_{1}, x_{2}, y_{2}, x_{3}, y_{3}, x_{4}, y_{4} and m>0m>0 of the system of equations (i) i=14xi2=8m2\sum_{i=1}^{4} x_{i}^{2}=8 m^{2}, (ii) i=14yi2=8m2\sum_{i=1}^{4} y_{i}^{2}=8 m^{2}, (iii) i=14xiyi=6m2\sum_{i=1}^{4} x_{i} y_{i}=-6 m^{2}. We will show that such a solution does not exist. Assume the contrary and consider a solution with minimal mm. Note that if an integer xx is odd then x21(mod8)x^{2} \equiv 1(\bmod 8). Otherwise (i.e., if xx is even) we have x20(mod8)x^{2} \equiv 0(\bmod 8) or x24x^{2} \equiv 4 (mod8)(\bmod 8). Hence, by (i), we get that x1,x2,x3x_{1}, x_{2}, x_{3} and x4x_{4} are even. Similarly, by (ii), we get that y1,y2,y3y_{1}, y_{2}, y_{3} and y4y_{4} are even. Thus the LHS of (iii) is divisible by 4 and mm is also even. It follows that (x12,y12,x22,y22,x32,y32,x42,y42,m2)\left(\frac{x_{1}}{2}, \frac{y_{1}}{2}, \frac{x_{2}}{2}, \frac{y_{2}}{2}, \frac{x_{3}}{2}, \frac{y_{3}}{2}, \frac{x_{4}}{2}, \frac{y_{4}}{2}, \frac{m}{2}\right) is a solution of the system of equations (i), (ii) and (iii), which contradicts the minimality of mm.

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.