MathDB
Sequence of positive integers, are they all equal 2?

Source: Kazakhstan National Olympiad 2024 (9 grade -- P6), (10-11 grade -- P5)

March 21, 2024
algebra

Problem Statement

An integer m3m\ge 3 and an infinite sequence of positive integers (an)n1(a_n)_{n\ge 1} satisfies the equation an+2=2an+1m1+anm1man+1.a_{n+2} = 2\sqrt[m]{a_{n+1}^{m-1} + a_n^{m-1}} - a_{n+1}. for all n1n\ge 1. Prove that a1<2ma_1 < 2^m.