1. Assume there exists an infinite geometric subsequence in the arithmetic sequence.
Let the arithmetic sequence be a,a+b,a+2b,….
Suppose there exists an infinite geometric subsequence. Let three consecutive terms of this geometric subsequence be a+xb,a+yb,a+zb where x,y,z are integers with x<y<z.
2. Establish the common ratio of the geometric subsequence.
The common ratio k of the geometric subsequence is given by:
k=a+xba+yb=a+yba+zb
3. **Solve for k in terms of x,y,z.**
From the first equality:
k=a+xba+yb
Rearrange to get:
k(a+xb)=a+yb
ka+kxb=a+yb
ka−a=yb−kxb
a(k−1)=b(y−kx)
ba=k−1y−kx
4. **Conclude that ba is rational.**
Since x,y,z are integers, k must be rational. Therefore, k−1y−kx is rational, implying ba is rational.
5. **Assume ba is rational and show the existence of an infinite geometric subsequence.**
Let ba=qp where p and q are integers. Then the arithmetic sequence can be written as:
a=qbp,a+b=qbp+b,a+2b=qbp+2b,…
6. Construct the geometric subsequence.
Consider the terms:
qbp,qbp+b,qbp+2b,…
Factor out qb:
qb(p,p+q,p+2q,…)
This sequence contains all terms of the form qb⋅p(q+1)n for non-negative integers n, which forms a geometric sequence with common ratio q+1.
Conclusion:
The sequence contains an infinite geometric subsequence if and only if ba is rational.