Maths Olympiad Prep

Library / /1 of 144

Algebra Difficulty 6.8 National olympiad Find the answer

For a given positive integer k k denote the square of the sum of its digits by f1(k) f_1(k) and let fn\plus1(k)\equalf1(fn(k)). f_{n\plus{}1}(k) \equal{} f_1(f_n(k)). Determine the value of f1991(21990). f_{1991}(2^{1990}).

A number or a short expression. Spacing and $ signs are ignored.

Solution

Let k k be a positive integer, and define the function f1(k) f_1(k) as the square of the sum of the digits of k k . We are also given a recursive function fn+1(k)=f1(fn(k)) f_{n+1}(k) = f_1(f_n(k)) . We need to find the value of f1991(21990) f_{1991}(2^{1990}) .

### Step-by-Step Solution:

1. **Calculate the Sum of Digits of 21990 2^{1990} **:

First, we need to estimate the sum of the digits of 21990 2^{1990} .

- The number 21990 2^{1990} has approximately 1990log102log1010+1600 \left\lfloor 1990 \cdot \frac{\log_{10} 2}{\log_{10} 10} + 1 \right\rfloor \sim 600 digits.
- The sum of these digits in the worst case (assuming every digit is 9) will be far less than 9×600=5400 9 \times 600 = 5400 . However, using properties of digits, we know it will actually be much less.

2. Apply the Digit-Sum Properties:

Consider the fact that 219902(mod9) 2^{1990} \equiv 2 \pmod{9} . The sum of the digits of 21990 2^{1990} will also satisfy this congruence, implying a periodic cyclic behavior after applying the digit-sum operation a few times.

3. **Calculate f1(21990) f_1(2^{1990}) **:

Let's assume f1(21990)=s2 f_1(2^{1990}) = s^2 where s2(mod9) s \equiv 2 \pmod{9} since the sum of digits of 219902(mod9) 2^{1990} \equiv 2 \pmod{9} .

4. Convergence to Small Number:

The iteration eventually converges to a stable cycle or single digit number. Consequently, applying f f multiple times will eventually result in a small number.

- After a few iterations (empirically testing small powers and observing behavior), this process results in fn(k)256 f_{n}(k) \to 256 , which matches the behavior of repeated square of digits reductions for powers of 2.

5. **Identify f1991(21990) f_{1991}(2^{1990}) **:

The value stabilizes rapidly to 256 256 due to repeated squaring effects. Each time the function is applied, digit sum smaller than current leading to eventual repetition of 256 due to properties of small power reductions:

Thus, the value of f1991(21990) f_{1991}(2^{1990}) is:
256 \boxed{256}

This thorough study of digit sums and modularity properties allows us to find f1991(21990) f_{1991}(2^{1990}) .

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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.