Maths Olympiad Prep

Library / /458 of 520

Number theory Difficulty 7.5 National olympiad, round 2 Prove it

Let a,ba,b be real numbers (b0b\ne 0) and consider the infinite arithmetic sequence a,a+b,a+2b,.a, a+b ,a +2b , \ldots. Show that this sequence contains an infinite geometric subsequence if and only if ab\frac{a}{b} is rational.

Solution

1. Assume there exists an infinite geometric subsequence in the arithmetic sequence.

Let the arithmetic sequence be a,a+b,a+2b, a, a+b, a+2b, \ldots .

Suppose there exists an infinite geometric subsequence. Let three consecutive terms of this geometric subsequence be a+xb,a+yb,a+zb a + xb, a + yb, a + zb where x,y,z x, y, z are integers with x<y<z x < y < z .

2. Establish the common ratio of the geometric subsequence.

The common ratio k k of the geometric subsequence is given by:
k=a+yba+xb=a+zba+yb k = \frac{a + yb}{a + xb} = \frac{a + zb}{a + yb}

3. **Solve for k k in terms of x,y,z x, y, z .**

From the first equality:
k=a+yba+xb k = \frac{a + yb}{a + xb}
Rearrange to get:
k(a+xb)=a+yb k(a + xb) = a + yb
ka+kxb=a+yb ka + kxb = a + yb
kaa=ybkxb ka - a = yb - kxb
a(k1)=b(ykx) a(k - 1) = b(y - kx)
ab=ykxk1 \frac{a}{b} = \frac{y - kx}{k - 1}

4. **Conclude that ab \frac{a}{b} is rational.**

Since x,y,z x, y, z are integers, k k must be rational. Therefore, ykxk1 \frac{y - kx}{k - 1} is rational, implying ab \frac{a}{b} is rational.

5. **Assume ab \frac{a}{b} is rational and show the existence of an infinite geometric subsequence.**

Let ab=pq \frac{a}{b} = \frac{p}{q} where p p and q q are integers. Then the arithmetic sequence can be written as:
a=bpq,a+b=bpq+b,a+2b=bpq+2b, a = \frac{bp}{q}, \quad a + b = \frac{bp}{q} + b, \quad a + 2b = \frac{bp}{q} + 2b, \ldots

6. Construct the geometric subsequence.

Consider the terms:
bpq,bpq+b,bpq+2b, \frac{bp}{q}, \quad \frac{bp}{q} + b, \quad \frac{bp}{q} + 2b, \ldots
Factor out bq \frac{b}{q} :
bq(p,p+q,p+2q,) \frac{b}{q} \left( p, p + q, p + 2q, \ldots \right)
This sequence contains all terms of the form bqp(q+1)n \frac{b}{q} \cdot p(q+1)^n for non-negative integers n n , which forms a geometric sequence with common ratio q+1 q+1 .

Conclusion:
The sequence contains an infinite geometric subsequence if and only if ab is rational. \boxed{\text{The sequence contains an infinite geometric subsequence if and only if } \frac{a}{b} \text{ is rational.}}

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.