Maths Olympiad Prep

Library / /452 of 520

Algebra Difficulty 4.5 AIME Prove it

Given a sequence {an}\{a_n\} with the sum of the first nn terms denoted as SnS_n, it satisfies the equation Sn=npannp+nS_n = npa_n - np + n where nNn \in \mathbb{N}^* and pp is a constant, also a1a2a_1 \neq a_2.
(Ⅰ) Find the value of pp;
(Ⅱ) Prove that the sequence {an}\{a_n\} is an arithmetic sequence.

Solution

(Ⅰ) We start from the equation Sn=npannp+nS_n = npa_n - np + n,

For n=1n = 1, we have S1=a1=pa1p+1S_1 = a_1 = pa_1 - p + 1,
which simplifies to (1p)(1a1)=0(1 - p)(1 - a_1) = 0.
Thus, we get p=1p = 1 or a1=1a_1 = 1.

For n=2n = 2, we have S2=a1+a2=2pa22p+2S_2 = a_1 + a_2 = 2pa_2 - 2p + 2,
If p=1p = 1, then a1+a2=2a22+2=2a2a_1 + a_2 = 2a_2 - 2 + 2 = 2a_2, and this implies a1=a2a_1 = a_2, which contradicts our initial condition that a1a2a_1 \neq a_2. Therefore, p1p \neq 1,
and it follows that a1=1a_1 = 1. Since a1a2a_1 \neq a_2, we also have a21a_2 \neq 1.
Substituting a1=1a_1 = 1 into the equation for n=2n = 2, we solve for pp and obtain p=12\boxed{p = \frac{1}{2}}.

(Ⅱ) Substituting p=12p = \frac{1}{2} into Sn=npannp+nS_n = npa_n - np + n, we get 2Sn=n(an+1)2S_n = n(a_n + 1).
When n2n \geq 2, let's consider the sum of first (n1)(n - 1) terms: 2Sn1=(n1)(an1+1)2S_{n-1} = (n - 1)(a_{n-1} + 1).

Subtract the second equation from the first one to get:
2Sn2Sn1=n(an+1)(n1)(an1+1).2S_n - 2S_{n-1} = n(a_n + 1) - (n - 1)(a_{n-1} + 1).

The left-hand side simplifies to 2an2a_n and the right-hand side simplifies to (n2)an(n1)an1+1(n - 2)a_n - (n - 1)a_{n-1} + 1, which gives us
(n2)an(n1)an1+1=0.(n - 2)a_n - (n - 1)a_{n-1} + 1 = 0.

Similarly, the next term of the sequence satisfies:
(n1)an+1nan+1=0.(n - 1)a_{n+1} - na_n + 1 = 0.

Subtracting these two latest equations gives us:
an+12an+an1=0,a_{n+1} - 2a_n + a_{n-1} = 0,

which implies that an+1an=anan1\boxed{a_{n+1} - a_n = a_n - a_{n-1}} for n2n \geq 2.

This condition shows that the differences between consecutive terms of the sequence are constant, which is the characteristic property of an arithmetic sequence. Therefore, the sequence {an}\{a_n\} is indeed an arithmetic sequence.

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.