EGMO 2023 Problem 1

There are $n \geqslant 3$ positive real numbers $a_{1}, a_{2}, \ldots, a_{n}$. For each $1 \leqslant i \leqslant n$ we let $b_{i}=\frac{a_{i-1}+a_{i+1}}{a_{i}}$ (here we define $a_{0}$ to be $a_{n}$ and $a_{n+1}$ to be $a_{1}$ ). Assume that for all $i$ and $j$ in the range 1 to $n$, we have $a_{i} \leqslant a_{j}$ if and only if $b_{i} \leqslant b_{j}$.

Prove that $a_{1}=a_{2}=\cdots=a_{n}$.