Let $a_1=0$, $a_2=1$, and $a_{n+2}=a_{n+1}+a_n$ for all positive integers $n$. Show that there exists an increasing infinite arithmetic progression of integers, which has no number in common in the sequence $\{a_n\}_{n \ge 0}$.
Problem
Source: MOP 2005 Homework - Red Group #27
Tags: arithmetic sequence, number theory unsolved, number theory