olymmath

MN-MO 2000 Problem 1

    Let rad⁡(k)\operatorname{rad}(k) denote the product of prime divisors of a natural number kk (define rad⁡(1)=1\operatorname{rad}(1)=1 ). A sequence (an)(a_n) is defined by setting a1a_1 arbitrarily, and an+1=an+rad⁡(an)a_{n+1}=a_n+\operatorname{rad}(a_n) for n≥1n\ge1 . Prove that the sequence (an)(a_n) contains arithmetic progressions of arbitrary length.

    Dataset text AI-MO AoPS. Quoted with source.

    Solutions

    No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

    Add a solution

    Similar problems

    These problems have the most words in common with this statement.

    Locator mn-mo/2000/p1 · Tag 565MNPEKG1 · Edit this page on GitHub · Keys: j next, k previous