A finite sequence of integers is called regular if there exists a real number satisfying
Given a regular sequence , for we say the term is forced if the following condition is satisfied: the sequence
is regular if and only if . Find the maximum possible number of forced terms in a regular sequence with 1000 terms.
Solution
The maximum is 985. To prove this, we start with two lemmas.
Lemma 2. Suppose we begin with the pair of integers , and each step we are allowed to replace one of the integers with the sum of both. Then after steps, the maximum possible sum of the two numbers is , where is the th Fibonacci number with , .
Proof. Let the numbers be with . We show by induction that and after steps. The base case is given. Given it is true for , suppose a pair we get after steps comes from the pair . The new pair is either or . By the induction hypothesis , and we already know that both and are at most . This completes the induction and the proof.
Lemma 3. Let and be two rational numbers in lowest terms with which are adjacent terms of a Farey series; that is, there does not exist with and . Then of all fractions with , has the smallest denominator.
Proof. We use a lattice point interpretation. The condition of being adjacent in a Farey series means that the triangle with vertices , , has area , which is a consequence of Pick's Theorem. Now notice that in the triangle , , , for any nonnegative integers with we have in or on the triangle. We also know the triangle's area is . Combining these two observations with Pick's Theorem shows that the points we have described are in fact all of the points inside or on the triangle. Using this and taking arbitrarily high, we conclude that if is a fraction with , then there exist positive integers with and . Note if . The desired conclusion is immediate.
Now we prove our main result. Note that if is a regular sequence, then is also regular by replacing the associated with . Therefore we may assume and in the regularity condition.
For each finite regular sequence, we can associate two real numbers to it so that the real numbers which satisfy the condition for being regular are those with . We claim are always rational numbers which are adjacent terms of a Farey series. We show this by induction on the number of terms. For a 1-term regular sequence with , we have and . Given that we have it is true for all -term regular sequences, note that if there is no integer multiple of between and , then is forced and remain the same as before. Otherwise, if , then can be either or . If , we can check the new will be . If , it will be . The inductive hypothesis tells us that in both cases we obtain adjacent terms of a Farey series.
Combining the above observations with lemma 3, we can analyze forced terms as follows: if at a given point we have and , then the next time we will have an unforced term is at step , when one of and will change to depending on the choice of the th term. In particular, the denominators of start at , and each time we have an unforced term, one denominator becomes the sum of the previous two. Since our sequence has 1000 terms, our goal is to have the sum of denominators greater than 1000 in as few unforced terms as possible, which would make the next unforced term come after the end of our sequence. By lemma 2 and the fact that , , at least 14 unforced terms are required. Combining this with the fact that , which we didn't count yet, is also unforced, we have at least 15 unforced terms, and thus at most 985 forced terms as claimed.
To construct a sequence with this many forced terms, we simply set
where . This will make always take the form for some and obtain the equality case of lemma 2.