Maths Olympiad Prep

Library / /15 of 17

, 2011

Number theory Difficulty 6.7 National olympiad Prove it Canada

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.

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

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 and solution reproduced as published; topic and difficulty added by this site.