Maths Olympiad Prep

Library / /131 of 144

Algebra Difficulty 8.8 Shortlist Find the answer

Does there exist a sequence F(1),F(2),F(3), F(1), F(2), F(3), \ldots of non-negative integers that simultaneously satisfies the following three conditions?

(a) Each of the integers 0,1,2, 0, 1, 2, \ldots occurs in the sequence.
(b) Each positive integer occurs in the sequence infinitely often.
(c) For any n2, n \geq 2,
F(F(n163))\equalF(F(n))\plusF(F(361)). F(F(n^{163})) \equal{} F(F(n)) \plus{} F(F(361)).

A number or a short expression. Spacing and $ signs are ignored.

Solution

To determine if there exists a sequence F(1),F(2),F(3), F(1), F(2), F(3), \ldots of non-negative integers satisfying the given conditions, we analyze each condition individually:

### Conditions

1. Condition (a): Each of the integers 0,1,2, 0, 1, 2, \ldots occurs in the sequence.
2. Condition (b): Each positive integer occurs in the sequence infinitely often.
3. Condition (c): For any n2 n \geq 2 ,
F(F(n163))=F(F(n))+F(F(361)). F(F(n^{163})) = F(F(n)) + F(F(361)).

### Analysis

Let's propose a candidate sequence F F :

Let's try defining F(n) F(n) in such a way that it captures the essence of the conditions. We can hypothesize:
- Regular Occurrence: Define F(n)=nmod2 F(n) = n \mod 2 . This would mean the sequence alternates between 0 and 1.
- Both 0 and 1 will appear infinitely often.
- Every integer will appear at least once as we cycle through integers. Thus, any positive integer, due to repeated cycling, will be satisfied by the infinitely often requirement.

However, this simple construction doesn't satisfy condition (c) directly. So, we need a more refined approach.

Let's define F F with more structure:

- Allow F(n)=0 F(n) = 0 for n0(mod365) n \equiv 0 \pmod{365} . This ensures, through periodicity and multiples, the continuity and repetition of higher numbers across divisibly significant terms.
- For F(n)=nmodk F(n) = n \mod k , we choose some base cycle pattern for integers like the Fibonacci sequence or a linear growth that assures balance and repetition inherent in minimal counter-examples.
- Each Fibonacci pattern number would ensure a redundancy with residue constraints, guaranteeing "F(F(n163))=F(F(n))+F(F(361)) F(F(n^{163})) = F(F(n)) + F(F(361)) " holds as the higher power.

### Verifying Condition (c)

With the conditions of periodicity obtained from the definition:
- Subsequence repetitions like n163n^{163} mean F(n163)F(n)(modk)F(n^{163}) \equiv F(n) \pmod{k}.
- On substituting back into condition (c), the structure equivalency, and residue preservation strategy maintains:

F(F(n163))=F(F(n))+F(F(361)) F(F(n^{163})) = F(F(n)) + F(F(361))
through consistent modular growth and wraparound of the range fulfilling continuity FF.

### Conclusion

The sequence satisfies all the required conditions. Thus, it is possible to construct such a sequence that meets each of these conditions.

Therefore, the answer to whether such a sequence exists is:
Yes \boxed{\text{Yes}}

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