Four. (20 points) In the sequence , are given non-zero integers, .
(1) If , find ;
(2) Prove: From , it is always possible to select infinitely many terms to form two different constant subsequences.
Solution
(1) It is easy to see,
Notice that, starting from the 20th term, every three consecutive terms periodically take the values .
(2) First, we prove: the sequence must have a "0" term after a finite number of terms.
Assume does not have a "0" term.
Since , then for , we have .
If , then
If $a_{n+1}a_{2 n+2} \\
a_{2 n+2}, & a_{2 n+1}0$ leads to a contradiction.
Therefore, must have a "0" term.
If the first "0" term is , let , then starting from the -th term, every three consecutive terms periodically take the values , i.e.,
where .
Thus, the sequence can select infinitely many terms to form two different constant subsequences.
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.