Maths Olympiad Prep

Library / /9 of 10

Algebra Difficulty 9.0 IMO level Prove it United States

A finite sequence of integers a1,a2,,ana_1, a_2, \dots, a_n is called regular if there exists a real number xx satisfying
kx=akfor 1kn. \lfloor kx \rfloor = a_k \quad \text{for } 1 \le k \le n.
Given a regular sequence a1,a2,,ana_1, a_2, \dots, a_n, for 1kn1 \le k \le n we say the term aka_k is forced if the following condition is satisfied: the sequence
a1,a2,,ak1,b a_1, a_2, \dots, a_{k-1}, b
is regular if and only if b=akb = a_k. 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 (1,1)(1, 1), and each step we are allowed to replace one of the integers with the sum of both. Then after kk steps, the maximum possible sum of the two numbers is Fk+3F_{k+3}, where FnF_n is the nnth Fibonacci number with F0=0F_0 = 0, F1=1F_1 = 1.

Proof. Let the numbers be a,ba, b with a<ba < b. We show by induction that aFk+1a \le F_{k+1} and bFk+2b \le F_{k+2} after kk steps. The base case is given. Given it is true for kk, suppose a pair we get after k+1k+1 steps comes from the pair a,ba, b. The new pair is either a,a+ba, a+b or b,a+bb, a+b. By the induction hypothesis a+bFk+1+Fk+2=Fk+3a+b \le F_{k+1}+F_{k+2} = F_{k+3}, and we already know that both aa and bb are at most Fk+2F_{k+2}. This completes the induction and the proof. \square

Lemma 3. Let ab\frac{a}{b} and cd\frac{c}{d} be two rational numbers in lowest terms with 0ab<cd10 \le \frac{a}{b} < \frac{c}{d} \le 1 which are adjacent terms of a Farey series; that is, there does not exist pq\frac{p}{q} with ab<pq<cd\frac{a}{b} < \frac{p}{q} < \frac{c}{d} and q<max(b,d)q < \max(b, d). Then of all fractions pq\frac{p}{q} with ab<pq<cd\frac{a}{b} < \frac{p}{q} < \frac{c}{d}, a+cb+d\frac{a+c}{b+d} has the smallest denominator.

Proof. We use a lattice point interpretation. The condition of ab,cd\frac{a}{b}, \frac{c}{d} being adjacent in a Farey series means that the triangle with vertices (0,0)(0,0), (a,b)(a,b), (c,d)(c,d) has area 12\frac{1}{2}, which is a consequence of Pick's Theorem. Now notice that in the triangle (0,0)(0,0), (na,nb)(na,nb), (nc,nd)(nc,nd), for any nonnegative integers k,mk, m with k+mnk+m \le n we have (ka+mc,kb+md)(ka+mc, kb+md) in or on the triangle. We also know the triangle's area is n22\frac{n^2}{2}. 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 nn arbitrarily high, we conclude that if pq\frac{p}{q} is a fraction with ab<pq<cd\frac{a}{b} < \frac{p}{q} < \frac{c}{d}, then there exist positive integers k,mk, m with p=ka+mcp = ka + mc and q=kb+mdq = kb + md. Note gcd(p,q)=1\text{gcd}(p, q) = 1 if gcd(k,m)=1\text{gcd}(k, m) = 1. The desired conclusion is immediate. \square

Now we prove our main result. Note that if a1,a2,,ana_1, a_2, \dots, a_n is a regular sequence, then a1+m,a2+2m,,an+nma_1 + m, a_2 + 2m, \dots, a_n + nm is also regular by replacing the associated xx with x+mx+m. Therefore we may assume a1=0a_1 = 0 and 0x<10 \le x < 1 in the regularity condition.

For each finite regular sequence, we can associate two real numbers r,sr, s to it so that the real numbers xx which satisfy the condition for being regular are those with rx<sr \le x < s. We claim r,sr, s 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 a1=0a_1 = 0, we have r=0r = 0 and s=1s = 1. Given that we have it is true for all nn-term regular sequences, note that if there is no integer multiple of 1n+1\frac{1}{n+1} between rr and ss, then an+1a_{n+1} is forced and r,sr, s remain the same as before. Otherwise, if r<kn+1<sr < \frac{k}{n+1} < s, then an+1a_{n+1} can be either ana_n or an+1a_n + 1. If an+1=ana_{n+1} = a_n, we can check the new r,sr, s will be r,kn+1r, \frac{k}{n+1}. If an+1=an+1a_{n+1} = a_n + 1, it will be kn+1,s\frac{k}{n+1}, s. 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 r=abr = \frac{a}{b} and s=cds = \frac{c}{d}, then the next time we will have an unforced term is at step b+db+d, when one of rr and ss will change to a+cb+d\frac{a+c}{b+d} depending on the choice of the b+db+dth term. In particular, the denominators of r,sr, s start at (1,1)(1,1), 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 F16=987F_{16} = 987, F17=1597F_{17} = 1597, at least 14 unforced terms are required. Combining this with the fact that a1a_1, 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
ak=kφfor 1k1000, a_k = \lfloor k\varphi \rfloor \quad \text{for } 1 \le k \le 1000,
where φ=5120.618...\varphi = \frac{\sqrt{5}-1}{2} \approx 0.618.... This will make r,sr, s always take the form FkFk+1\frac{F_k}{F_{k+1}} for some kk and obtain the equality case of lemma 2.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.