Olympiad Maths Prep

Library / /9 of 13

Algebra Difficulty 8.8 Shortlist Prove it IMO

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}

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 11. 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. \begin{equation*} \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 . \tag{1} \end{equation*}
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=8,i=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 } \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, (ii) i=14yi2=8m2, (iii) i=14xiyi=6m2 \text{ (i) } \sum_{i=1}^{4} x_{i}^{2}=8 m^{2}, \quad \text{ (ii) } \sum_{i=1}^{4} y_{i}^{2}=8 m^{2}, \quad \text{ (iii) } \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 x24(mod8)x^{2} \equiv 4 (\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 44 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.

Solution 2:

We prove that n4n \leq 4 is impossible. Define the numbers ai,bia_{i}, b_{i} for i=1,2,3,4i=1,2,3,4 as in the previous solution.
By Euler's identity we have
(a12+a22+a32+a42)(b12+b22+b32+b42)=(a1b1+a2b2+a3b3+a4b4)2+(a1b2a2b1+a3b4a4b3)2+(a1b3a3b1+a4b2a2b4)2+(a1b4a4b1+a2b3a3b2)2 \begin{aligned} \left(a_{1}^{2}+a_{2}^{2}+a_{3}^{2}+a_{4}^{2}\right)\left(b_{1}^{2}+b_{2}^{2}+b_{3}^{2}+b_{4}^{2}\right) & =\left(a_{1} b_{1}+a_{2} b_{2}+a_{3} b_{3}+a_{4} b_{4}\right)^{2}+\left(a_{1} b_{2}-a_{2} b_{1}+a_{3} b_{4}-a_{4} b_{3}\right)^{2} \\ & +\left(a_{1} b_{3}-a_{3} b_{1}+a_{4} b_{2}-a_{2} b_{4}\right)^{2}+\left(a_{1} b_{4}-a_{4} b_{1}+a_{2} b_{3}-a_{3} b_{2}\right)^{2} \end{aligned}
So, using the relations (1) from the Solution 1 we get that
7=(m1m)2+(m2m)2+(m3m)2 \begin{equation*} 7=\left(\frac{m_{1}}{m}\right)^{2}+\left(\frac{m_{2}}{m}\right)^{2}+\left(\frac{m_{3}}{m}\right)^{2} \tag{2} \end{equation*}
where
m1m=a1b2a2b1+a3b4a4b3m2m=a1b3a3b1+a4b2a2b4m3m=a1b4a4b1+a2b3a3b2 \begin{aligned} & \frac{m_{1}}{m}=a_{1} b_{2}-a_{2} b_{1}+a_{3} b_{4}-a_{4} b_{3} \\ & \frac{m_{2}}{m}=a_{1} b_{3}-a_{3} b_{1}+a_{4} b_{2}-a_{2} b_{4} \\ & \frac{m_{3}}{m}=a_{1} b_{4}-a_{4} b_{1}+a_{2} b_{3}-a_{3} b_{2} \end{aligned}
and m1,m2,m3Z,mNm_{1}, m_{2}, m_{3} \in \mathbb{Z}, m \in \mathbb{N}.
Let mm be a minimum positive integer number for which (2) holds. Then
8m2=m12+m22+m32+m2 8 m^{2}=m_{1}^{2}+m_{2}^{2}+m_{3}^{2}+m^{2}
As in the previous solution, we get that m1,m2,m3,mm_{1}, m_{2}, m_{3}, m are all even numbers. Then (m12,m22,m32,m2)\left(\frac{m_{1}}{2}, \frac{m_{2}}{2}, \frac{m_{3}}{2}, \frac{m}{2}\right) is also a solution of (2) which contradicts the minimality of mm. So, we have n5n \geq 5. The example with n=5n=5 is already shown in Solution 1.

Looking for a route rather than 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.