Maths Olympiad Prep

Track / Stage 6 / 372 of 400 #1372 of 1964

Problem 1372

National Olympiad, first round
Number theory Difficulty 6.7 Prove it Kanada · Canada · 2011

Let dd be a positive integer. Show that for every integer SS, there exists an integer n>0n > 0 and a sequence ϵ1,ϵ2,,ϵn\epsilon_1, \epsilon_2, \dots, \epsilon_n, where for any kk, ϵk=1\epsilon_k = 1 or ϵk=1\epsilon_k = -1, such that
S=ϵ1(1+d)2+ϵ2(1+2d)2+ϵ3(1+3d)2++ϵn(1+nd)2. S = \epsilon_1(1+d)^2 + \epsilon_2(1+2d)^2 + \epsilon_3(1+3d)^2 + \dots + \epsilon_n(1+nd)^2.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

Let Uk=(1+kd)2U_k = (1 + k d)^2. We calculate Uk+3Uk+2Uk+1+UkU_{k+3} - U_{k+2} - U_{k+1} + U_k. This turns out to be 4d24d^2, a constant. Changing signs, we obtain the sum 4d2-4d^2.
Thus if we have found an expression for a certain number S0S_0 as a sum of the desired type, we can obtain an expression of the desired type for S0+(4d2)qS_0 + (4d^2)q, for any integer qq.

It remains to show that for any SS, there exists an integer SS' such that SS(mod4d2)S' \equiv S \pmod{4d^2} and SS' can be expressed in the desired form. Look at the sum
(1+d)2+(1+2d)2++(1+Nd)2, (1+d)^2 + (1+2d)^2 + \dots + (1+Nd)^2,
where NN is "large." We can at will choose NN so that the sum is odd, or so that the sum is even.
By changing the sign in front of (1+kd)2(1 + k d)^2 to a minus sign, we decrease the sum by 2(1+kd)22(1 + k d)^2. In particular, if k0(mod2d)k \equiv 0 \pmod{2d}, we decrease the sum by 22 (modulo 4d24d^2). So
If NN is large enough, there are many k<Nk < N such that kk is a multiple of 2d2d. By switching the sign in front of rr of these, we change ("downward") the congruence class modulo 4d24d^2 by 2r2r. By choosing NN so that the original sum is odd, and choosing suitable r<2d2r < 2d^2, we can obtain numbers congruent to all odd numbers modulo 4d24d^2. By choosing NN so that the original sum is even, we can obtain numbers congruent to all even numbers modulo 4d24d^2. This completes the proof. \square

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.