IMO 2009 Problem 3
- Day 1
Suppose that is a strictly increasing sequence of positive integers such that the subsequences and are both arithmetic progressions. Prove that the sequence is itself an arithmetic progression.
Official text Transcription from MathNet, checked word for word against the official paper. Quoted with source.
Official text: IMO 2009 official English paper, page 1.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.