olymmath

ISL 2023 A3

  • Answer

Let x1,x2,…,x2023x_{1}, x_{2}, \ldots, x_{2023} be distinct real positive numbers such that an=(x1+x2+⋯+xn)(1x1+1x2+⋯+1xn)a_{n}=\sqrt{\left(x_{1}+x_{2}+\cdots+x_{n}\right)\left(\frac{1}{x_{1}}+\frac{1}{x_{2}}+\cdots+\frac{1}{x_{n}}\right)} is an integer for every n=1,2,…,2023n=1,2, \ldots, 2023. Prove that a2023⩾3034a_{2023} \geqslant 3034. (Netherlands)

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

Official text: IMO 2023 Shortlist booklet, page 5.

Show the answer

3034

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/2023/a3 · Tag 3ZF0Z4N1M5 · Edit this page on GitHub · Keys: j next, k previous