Olympiad Maths Prep

Track / Stage 7 / 113 of 300 #1513 of 2000

Problem 1513

National olympiad second round; IMO P1/P4
Number theory Difficulty 7.2 Prove it

Given that nn and rr are positive integers.
Suppose that
1+2++(n1)=(n+1)+(n+2)++(n+r) 1 + 2 + \dots + (n - 1) = (n + 1) + (n + 2) + \dots + (n + r)
Prove that nn is a composite number.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

1. We start with the given equation:
1+2++(n1)=(n+1)+(n+2)++(n+r) 1 + 2 + \dots + (n - 1) = (n + 1) + (n + 2) + \dots + (n + r)

2. The sum of the first n1n-1 positive integers on the left-hand side (LHS) can be expressed using the formula for the sum of an arithmetic series:
1+2++(n1)=(n1)n2 1 + 2 + \dots + (n - 1) = \frac{(n-1)n}{2}

3. The sum of rr consecutive integers starting from n+1n+1 on the right-hand side (RHS) can be expressed as:
(n+1)+(n+2)++(n+r)=r2(2n+r+1) (n + 1) + (n + 2) + \dots + (n + r) = \frac{r}{2} \left(2n + r + 1\right)

4. Equating the LHS and RHS, we get:
(n1)n2=r2(2n+r+1) \frac{(n-1)n}{2} = \frac{r}{2} \left(2n + r + 1\right)

5. Multiplying both sides by 2 to clear the fractions:
n(n1)=r(2n+r+1) n(n-1) = r(2n + r + 1)

6. Suppose nn is a prime number, let n=pn = p where pp is prime. Then the equation becomes:
p(p1)=r(2p+r+1) p(p-1) = r(2p + r + 1)

7. Since pp is prime, it must divide one of the factors on the RHS, i.e., rr or 2p+r+12p + r + 1.

8. Note that p<2p+r+1p < 2p + r + 1, so p1>rp-1 > r. This implies pp cannot divide rr because r<p1r < p-1.

9. Therefore, pp must divide 2p+r+12p + r + 1. This implies:
2p+r+10(modp) 2p + r + 1 \equiv 0 \pmod{p}
Simplifying, we get:
r+10(modp)    r1(modp) r + 1 \equiv 0 \pmod{p} \implies r \equiv -1 \pmod{p}

10. Since rr is a positive integer, this implies that rr must be at least p1p-1.

11. If rp1r \geq p-1, substituting r=p1r = p-1 into the original equation, we get:
RHSLHS[(p+1)+(p+2)++(2p1)][1+2++(p1)] \text{RHS} - \text{LHS} \geq [(p+1) + (p+2) + \dots + (2p-1)] - [1 + 2 + \dots + (p-1)]
Simplifying, we get:
=[(p+1)1]+[(p+2)2]++[(2p1)(p1)] = [(p+1) - 1] + [(p+2) - 2] + \dots + [(2p-1) - (p-1)]
=p+p++p = p + p + \dots + p
=p(p1) = p(p-1)
>0 > 0
This is a contradiction because the RHS cannot be greater than the LHS.

12. Hence, nn cannot be a prime number. Therefore, nn must be a composite number.

13. Additionally, for n=1n = 1, the LHS is 0 and the RHS is positive, so LHS<RHSLHS < RHS.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.