Maths Olympiad Prep

Library / /229 of 397

Number theory Difficulty 6.1 National Olympiad Prove it Taiwan

Find the smallest positive integer nn such that there exist polynomials f1,f2,,fnf_1, f_2, \dots, 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 + \dots + f_n(x)^2.

Solution

We have x2+7=x2+22+12+12+12x^2 + 7 = x^2 + 2^2 + 1^2 + 1^2 + 1^2. Below we prove that n=4n = 4 is impossible (and hence smaller nn is also impossible, since we can take fi=0f_i = 0).

Suppose for 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 all are polynomials with rational coefficients. Clearly the fif_i must all be of degree one, write fi=aix+bif_i = a_i x + b_i, i=1,2,3,4i = 1, 2, 3, 4. We have
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, qi=aibiq_i = a_i - b_i, then computation gives
i=14pi2=8,i=14qi2=8,i=14piqi=6. \sum_{i=1}^{4} p_{i}^{2} = 8, \quad \sum_{i=1}^{4} q_{i}^{2} = 8, \quad \sum_{i=1}^{4} p_{i}q_{i} = -6.
After clearing denominators, this makes the following proposition hold: Proposition: There exist a positive integer mm and integers xi,yi(i=1,2,3,4)x_i, y_i (i = 1, 2, 3, 4) such that
i=14xi2=8m2,i=14yi2=8m2,i=14xiyi=6m2. \sum_{i=1}^{4} x_{i}^{2} = 8m^{2}, \quad \sum_{i=1}^{4} y_{i}^{2} = 8m^{2}, \quad \sum_{i=1}^{4} x_{i}y_{i} = -6m^{2}.
But we will next prove that the proposition is false, thereby deriving a contradiction. Suppose that the current mm is the smallest mm for which the proposition holds. Since the square of an odd number leaves remainder 11 upon division by 88, and the square of an even number leaves remainder 00 or 44 upon division by 88, a simple case analysis shows that if the sum of four squares is a multiple of eight, then all four numbers must be even, hence xi,yix_i, y_i are all even.

But then 6m2=i=14xiyi-6m^2 = \sum_{i=1}^{4} x_i y_i would be a multiple of 4, so mm is even, and therefore we can take half of each of xi,yix_i, y_i and mm and still satisfy the proposition, but this contradicts the assumption that mm is the smallest. This completes the proof.

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 translated into English from the original; metadata (topic, difficulty) added by this project.