Maths Olympiad Prep

Library / /37 of 520

Number theory Difficulty 5.2 AIME, harder Find the answer

18. (NOR) Let a,ba, b be natural numbers with 1ab1 \leq a \leq b, and M=[a+b2]M=\left[\frac{a+b}{2}\right]. Define the function f:ZZf: \mathbb{Z} \rightarrow \mathbb{Z} by f(n)={n+a, if n<Mnb, if nM f(n)= \begin{cases}n+a, & \text { if } n<M \\ n-b, & \text { if } n \geq M\end{cases} Let f1(n)=f(n),fi+1(n)=f(fi(n)),i=1,2,f^{1}(n)=f(n), f^{i+1}(n)=f\left(f^{i}(n)\right), i=1,2, \ldots. Find the smallest natural number kk such that fk(0)=0f^{k}(0)=0.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

18. Clearly, it suffices to consider the case (a,b)=1(a, b)=1. Let SS be the set of integers such that MbxM+a1M-b \leq x \leq M+a-1. Then f(S)Sf(S) \subseteq S and 0S0 \in S. Consequently, fk(0)Sf^{k}(0) \in S. Let us assume for k>0k>0 that fk(0)=0f^{k}(0)=0. Since f(m)=m+af(m)=m+a or f(m)=mbf(m)=m-b, it follows that kk can be written as k=r+sk=r+s, where rasb=0r a-s b=0. Since aa and bb are relatively prime, it follows that ka+bk \geq a+b. Let us now prove that fa+b(0)=0f^{a+b}(0)=0. In this case a+b=r+sa+b=r+s and hence fa+b(0)=(a+bs)asb=(a+b)(as)f^{a+b}(0)=(a+b-s) a-s b=(a+b)(a-s). Since a+bfa+b(0)a+b \mid f^{a+b}(0) and fa+b(0)Sf^{a+b}(0) \in S, it follows that fa+b(0)=0f^{a+b}(0)=0. Thus for (a,b)=1(a, b)=1 it follows that k=a+bk=a+b. For other aa and bb we have k=a+b(a,b)k=\frac{a+b}{(a, b)}.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.