MathDB
Kazakhstan National Olympiad 2017, Final Round, 11-Grade, P3

Source: Kazakhstan National Olympiad 2017, Final Round, 11-Grade, P3

March 18, 2017
Sequencealgebra

Problem Statement

{an}\{a_n\} is an infinite, strictly increasing sequence of positive integers and aanan+an+3a_{a_n}\leq a_n+a_{n+3} for all n1n\geq 1. Prove that, there are infinitely many triples (k,l,m)(k,l,m) of positive integers such that k<l<mk<l<m and ak+am=2ala_k+a_m=2a_l