olymmath

ISL 2021 A7

    Let n⩾1n \geqslant 1 be an integer, and let x0,x1,…,xn+1x_{0}, x_{1}, \ldots, x_{n+1} be n+2n+2 non-negative real numbers that satisfy xixi+1−xi−12⩾1x_{i} x_{i+1}-x_{i-1}^{2} \geqslant 1 for all i=1,2,…,ni=1,2, \ldots, n. Show that x0+x1+⋯+xn+xn+1>(2n3)3/2x_{0}+x_{1}+\cdots+x_{n}+x_{n+1}>\left(\frac{2 n}{3}\right)^{3 / 2}

    Official text Transcription from NuminaMath olympiads, checked word for word against the official paper. Quoted with source.

    Official text: IMO 2021 Shortlist booklet, page 5.

    Solutions

    Official solution Solution 1 by the IMO Problem Selection Committee

    The terms of the source let olymmath link to this solution but not copy it. Read the solution (IMO official site).

    Locator isl/2021/a7 · Tag YCXCAVVFZW · Edit this page on GitHub · Keys: j next, k previous