olymmath

ISL 2021 N7

    Let a1,a2,a3,…a_{1}, a_{2}, a_{3}, \ldots be an infinite sequence of positive integers such that an+2ma_{n+2 m} divides an+an+ma_{n}+a_{n+m} for all positive integers nn and mm. Prove that this sequence is eventually periodic, i.e. there exist positive integers NN and dd such that an=an+da_{n}=a_{n+d} for all n>Nn>N.

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

    Official text: IMO 2021 Shortlist booklet, page 10.

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