Maths Olympiad Prep

Library / /119 of 158

Algebra Difficulty 6.5 National Olympiad Prove it Estonia

a) Find all positive integers nn, such that the sum of all integers from 11 to n+1n + 1 can be represented as the sum of nn consecutive integers.

b) Find all positive integers nn, for which there exists an integer aa, such that the sum of the integers from aa to a+na + n is equal to the sum of the integers from a+n+1a + n + 1 to a+2na + 2n.

Solutions — 2

Solution 1

a)
Clearly the sum of the first two positive integers can be represented as the sum of one positive integer. Now, let n2n \ge 2 and let us show that the sum of the n+1n + 1 first positive integers cannot be represented as a sum of nn consecutive integers. Indeed, on one hand 1+2++n+(n+1)>2+3++n+(n+1)1 + 2 + \dots + n + (n+1) > 2 + 3 + \dots + n + (n+1), on the other hand 1+2++n+(n+1)<1+2+3++n+(n+1)+1=3++n+(n+1)+2+23++n+(n+1)+(n+2)1 + 2 + \dots + n + (n+1) < 1 + 2 + 3 + \dots + n + (n+1) + 1 = 3 + \dots + n + (n+1) + 2 + 2 \le 3 + \dots + n + (n+1) + (n+2). So the sum of n+1n + 1 first positive integers 1++(n+1)1 + \dots + (n+1) lies between 2++(n+1)2 + \dots + (n+1) and 3++(n+2)3 + \dots + (n+2), which both are consecutive sums of nn consecutive integers. So, the number 1++(n+1)1 + \dots + (n+1) is not a sum of nn consecutive integers.

b)
Let nn be any positive integer. To solve the problem, it suffices to see that n2+(n2+1)++(n2+n)=n2(n+1)+(1++n)=n(n2+n)+(1++n)=(n2+n+1)++(n2+n+n)n^2 + (n^2 + 1) + \dots + (n^2 + n) = n^2 \cdot (n+1) + (1 + \dots + n) = n \cdot (n^2 + n) + (1 + \dots + n) = (n^2 + n + 1) + \dots + (n^2 + n + n).

Solution 2

We use the formula for the sum of arithmetic progression.

a) If nn is odd, then the sum of nn consecutive integers is divisible by nn. So, if the number 1+2+...+(n+1)=n+12(n+2)1+2+...+(n+1) = \frac{n+1}{2} \cdot (n+2) was the sum of nn consecutive integers, it would be divisible by n+12\frac{n+1}{2} and by nn. As n+1n+1 and nn are relatively prime, the same clearly holds for n+12\frac{n+1}{2} and nn. Therefore, n+12(n+2)\frac{n+1}{2} \cdot (n+2) should be divisible by n+12n\frac{n+1}{2} \cdot n, meaning that n+2n+2 should be divisible by nn.

If nn is even, the sum of nn consecutive integers is divisible by n2\frac{n}{2}. So, if 1+2+...+(n+1)=(n+1)n+221+2+...+(n+1) = (n+1) \cdot \frac{n+2}{2} was the sum of nn consecutive integers, it would be divisible by both n+1n+1 and n2\frac{n}{2}. As n+1n+1 and nn are relatively prime, also n+1n+1 and n2\frac{n}{2} are relatively prime. Thus, (n+1)n+22(n+1) \cdot \frac{n+2}{2} should be divisible by (n+1)n2(n+1) \cdot \frac{n}{2}, implying that n+2n+2 is divisible by nn.

So, in all cases n+2n+2 is divisible by nn, which is equivalent to saying 22 is divisible by nn. So, n=1n=1 or n=2n=2. Clearly 1+21+2 is the sum of one integer, but 1+2+3=61+2+3=6, being an even number, cannot be represented as the sum of two consecutive integers.

b) If aa is the first of the two consecutive integers, then the problem can be represented as the equation (a+a+n)(n+1)/2=(a+n+1+a+2n)n/2(a+a+n)(n+1)/2 = (a+n+1+a+2n)n/2. By simplifying we see that it is equivalent to a=n2a = n^2. This means that the sum of n+1n+1 consecutive integers, first of which is n2n^2, is the sum of the next nn consecutive integers. So, the desired numbers exist for every nn.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.