Maths Olympiad Prep

Library / /395 of 520

Algebra Difficulty 7.3 National olympiad, round 2 Prove it

For a non-constant arithmetic progression (an)(a_n) there exists a natural nn such that an+an+1=a1++a3n1a_{n}+a_{n+1} = a_{1}+…+a_{3n-1} . Prove that there are no zero terms in this progression.

Solution

1. Let the arithmetic progression be denoted by an=a+(n1)da_n = a + (n-1)d, where aa is the first term and dd is the common difference.
2. Given the condition an+an+1=a1+a2++a3n1a_n + a_{n+1} = a_1 + a_2 + \cdots + a_{3n-1}, we need to express both sides in terms of aa and dd.

3. The left-hand side (LHS) is:
an+an+1=(a+(n1)d)+(a+nd)=2a+(2n1)d a_n + a_{n+1} = \left(a + (n-1)d\right) + \left(a + nd\right) = 2a + (2n-1)d

4. The right-hand side (RHS) is the sum of the first 3n13n-1 terms of the arithmetic progression:
a1+a2++a3n1=k=13n1(a+(k1)d) a_1 + a_2 + \cdots + a_{3n-1} = \sum_{k=1}^{3n-1} \left(a + (k-1)d\right)
This sum can be calculated using the formula for the sum of an arithmetic series:
S3n1=(3n1)2(2a+(3n2)d) S_{3n-1} = \frac{(3n-1)}{2} \left(2a + (3n-2)d\right)

5. Equating the LHS and RHS, we get:
2a+(2n1)d=(3n1)2(2a+(3n2)d) 2a + (2n-1)d = \frac{(3n-1)}{2} \left(2a + (3n-2)d\right)

6. Simplifying the equation:
4a+2(2n1)d=(3n1)(2a+(3n2)d) 4a + 2(2n-1)d = (3n-1)(2a + (3n-2)d)
4a+4nd2d=6na+(3n1)(3n2)d 4a + 4nd - 2d = 6na + (3n-1)(3n-2)d
4a+4nd2d=6na+(9n26n3n+2)d 4a + 4nd - 2d = 6na + (9n^2 - 6n - 3n + 2)d
4a+4nd2d=6na+(9n29n+2)d 4a + 4nd - 2d = 6na + (9n^2 - 9n + 2)d

7. Rearranging terms to isolate aa and dd:
4a6na=(9n29n+2)d4nd+2d 4a - 6na = (9n^2 - 9n + 2)d - 4nd + 2d
4a(13n2)=d(9n213n+2) 4a(1 - \frac{3n}{2}) = d(9n^2 - 13n + 2)
4a(13n2)=d(9n213n+2) 4a(1 - \frac{3n}{2}) = d(9n^2 - 13n + 2)

8. Solving for dd:
d=4a(13n2)9n213n+2 d = \frac{4a(1 - \frac{3n}{2})}{9n^2 - 13n + 2}

9. We need to prove that there are no zero terms in the progression. For any term am=a+(m1)da_m = a + (m-1)d to be zero:
a+(m1)d=0 a + (m-1)d = 0
Substituting dd:
a+(m1)4a(13n2)9n213n+2=0 a + (m-1) \frac{4a(1 - \frac{3n}{2})}{9n^2 - 13n + 2} = 0
a(1+(m1)4(13n2)9n213n+2)=0 a \left(1 + (m-1) \frac{4(1 - \frac{3n}{2})}{9n^2 - 13n + 2}\right) = 0

10. Since a0a \neq 0, the term inside the parentheses must be non-zero:
1+(m1)4(13n2)9n213n+20 1 + (m-1) \frac{4(1 - \frac{3n}{2})}{9n^2 - 13n + 2} \neq 0

11. Simplifying the expression inside the parentheses:
1+(m1)46n9n213n+20 1 + (m-1) \frac{4 - 6n}{9n^2 - 13n + 2} \neq 0

12. Since 9n213n+209n^2 - 13n + 2 \neq 0 for all natural nn, and 46n04 - 6n \neq 0 for all natural nn, the term inside the parentheses is non-zero.

13. Therefore, there are no zero terms in the arithmetic progression.

\blacksquare

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.