olymmath

ISL 2017 N1

    The sequence a0,a1,a2,…a_{0}, a_{1}, a_{2}, \ldots of positive integers satisfies an+1={an, if an is an integer an+3, otherwise  for every n⩾0a_{n+1}=\left\{\begin{array}{ll} \sqrt{a_{n}}, & \text { if } \sqrt{a_{n}} \text { is an integer } \\ a_{n}+3, & \text { otherwise } \end{array} \text { for every } n \geqslant 0\right. Determine all values of a0>1a_{0}>1 for which there is at least one number aa such that an=aa_{n}=a for infinitely many values of nn. (South Africa)

    Dataset text NuminaMath olympiads. Quoted with source.

    Official text: IMO 2017 Shortlist booklet, page 12.

    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/2017/n1 · Tag F0DAX9W03V · Edit this page on GitHub · Keys: j next, k previous