ÖMO 2005

Prove: if an infinte arithmetic sequence ( $a_n=a_0+nd$ ) of positive real numbers contains two different powers of an integer $a>1$ , then the sequence contains an infinite geometric sequence ( $b_n=b_0q^n$ ) of real numbers.