Sequences of real numbers
Source: USAJMO 2015 Problem 1
April 28, 2015
AMCUSA(J)MOUSAJMO
Problem Statement
Given a sequence of real numbers, a move consists of choosing two terms and replacing each with their arithmetic mean. Show that there exists a sequence of 2015 distinct real numbers such that after one initial move is applied to the sequence -- no matter what move -- there is always a way to continue with a finite sequence of moves so as to obtain in the end a constant sequence.