Daily

Random

Practice set

Baltic Way 2024 · Problem 5

Algebra

Find all positive real numbers λ\lambda such that every sequence a1,a2,…a_{1}, a_{2}, \ldots of positive real numbers satisfying

an+1=λ⋅a1+a2+…+anna_{n+1}=\lambda \cdot \frac{a_{1}+a_{2}+\ldots+a_{n}}{n}

for all n≥20242024n \geq 2024^{2024} is bounded. Remark: A sequence a1,a2,…a_{1}, a_{2}, \ldots of positive real numbers is bounded if there exists a real number MM such that ai<Ma_{i}<M for all i=1,2,…i=1,2, \ldots

Change pool

When you’re ready

Review material becomes available with the next Daily.

Review

Topics

Sequences and recurrences · Equations and inequalities

Solutions

Solution

First we will show that for all λ>1\lambda>1 every such sequence is unbounded. Note that an=λ⋅a1+a2+…+an−1n−1a_{n}=\lambda \cdot \frac{a_{1}+a_{2}+\ldots+a_{n-1}}{n-1} implies

an(n−1)λ=a1+a2+…+an−1\frac{a_{n}(n-1)}{\lambda}=a_{1}+a_{2}+\ldots+a_{n-1}

for all n>20242024n>2024^{2024}. Therefore

an+1=λ⋅a1+a2+…+ann=λ(a1+a2+…+an−1n+ann)=λ(an(n−1)λn+ann)=an(n−1n+λn)=an(1+λ−1n)\begin{aligned} a_{n+1} & =\lambda \cdot \frac{a_{1}+a_{2}+\ldots+a_{n}}{n} \\ & =\lambda\left(\frac{a_{1}+a_{2}+\ldots+a_{n-1}}{n}+\frac{a_{n}}{n}\right) \\ & =\lambda\left(\frac{a_{n}(n-1)}{\lambda n}+\frac{a_{n}}{n}\right) \\ & =a_{n}\left(\frac{n-1}{n}+\frac{\lambda}{n}\right) \\ & =a_{n}\left(1+\frac{\lambda-1}{n}\right) \end{aligned}

Hence for all n>20242024n>2024^{2024} and positive integers kk we have

an+k=an⋅(1+λ−1n)(1+λ−1n+1)…(1+λ−1n+k−1).a_{n+k}=a_{n} \cdot\left(1+\frac{\lambda-1}{n}\right)\left(1+\frac{\lambda-1}{n+1}\right) \ldots\left(1+\frac{\lambda-1}{n+k-1}\right) .

This implies that

an+kan=(1+λ−1n)(1+λ−1n+1)…(1+λ−1n+k−1)>λ−1n+λ−1n+1+…+λ−1n+k−1=(λ−1)⋅(1n+1n+1+…+1n+k−1).\begin{aligned} \frac{a_{n+k}}{a_{n}} & =\left(1+\frac{\lambda-1}{n}\right)\left(1+\frac{\lambda-1}{n+1}\right) \ldots\left(1+\frac{\lambda-1}{n+k-1}\right) \\ & >\frac{\lambda-1}{n}+\frac{\lambda-1}{n+1}+\ldots+\frac{\lambda-1}{n+k-1} \\ & =(\lambda-1) \cdot\left(\frac{1}{n}+\frac{1}{n+1}+\ldots+\frac{1}{n+k-1}\right) . \end{aligned}

As the sequence (1+12+13+…+1m)m≥1\left(1+\frac{1}{2}+\frac{1}{3}+\ldots+\frac{1}{m}\right)_{m \geq 1} is unbounded and λ−1>0\lambda-1>0, the ratio an+kan\frac{a_{n+k}}{a_{n}} is unbounded, implying that the sequence (an)n≥1\left(a_{n}\right)_{n \geq 1} is also unbounded. Now it remains to show that for all λ≤1\lambda \leq 1 every such sequence is bounded. To this end, define M=max⁡(a1,a2,…,a20242024)M=\max \left(a_{1}, a_{2}, \ldots, a_{20242024}\right). We will show by induction on nn that an≤Ma_{n} \leq M for all nn. This holds trivially for n=1,2,…,20242024n=1,2, \ldots, 2024^{2024}. For the induction step, assume the desired inequality for some n≥20242024n \geq 2024^{2024} and note that

an+1=λ⋅a1+a2+…+ann≤a1+a2+…+ann≤max⁡(a1,a2,…,an)=Ma_{n+1}=\lambda \cdot \frac{a_{1}+a_{2}+\ldots+a_{n}}{n} \leq \frac{a_{1}+a_{2}+\ldots+a_{n}}{n} \leq \max \left(a_{1}, a_{2}, \ldots, a_{n}\right)=M

The required result follows.

Contest context

Results from Baltic Way 2024

11 teams

Mean score
2.8 / 5
Scores of 4 or 5
5 / 11
Estonia
5 / 5

Score distribution

03
10
21
32
42
53
All team scores
TeamScore
Poland3 / 5
Estonia5 / 5
Germany5 / 5
Ukraine4 / 5
Latvia4 / 5
Norway2 / 5
Lithuania0 / 5
Sweden5 / 5
Denmark0 / 5
Finland3 / 5
Iceland0 / 5