Maths Olympiad Prep

Library / /6 of 6

Algebra Difficulty 7.0 National olympiad Prove it Brazil

Let f(n)f(n) be the smallest number of 11s needed to represent the positive integer nn using only 11s, ++ signs, ×\times signs and brackets. For example, you could represent 8080 with 1313 11s as follows: (1+1+1+1+1)×(1+1+1+1)×(1+1+1+1)(1+1+1+1+1) \times (1+1+1+1) \times (1+1+1+1). Show that 3log3nf(n)5log3n3\log_3 n \le f(n) \le 5\log_3 n for n>1n > 1.

Solution

The upper bound follows by induction. Let SmS_m be the statement that f(n)5log3nf(n) \le 5\log_3 n for n3m+2n \le 3m+2. We have 2=1+12 = 1+1, 3=1+1+13 = 1+1+1, 4=1+1+1+14 = 1+1+1+1, 5=1+1+1+1+15 = 1+1+1+1+1, so f(2)=2f(2) = 2, f(3)=3f(3) = 3, f(4)=4f(4) = 4, f(5)=5f(5) = 5. We have 1=log33<log34<log351 = \log_3 3 < \log_3 4 < \log_3 5, so f(3)<5log33f(3) < 5\log_3 3, f(4)<5log34f(4) < 5\log_3 4 and f(5)<5log35f(5) < 5\log_3 5. Also 24=16>322^4 = 16 > 3^2, so 2<log324=4log322 < \log_3 2^4 = 4\log_3 2. Hence 5log32>4log32>2=f(2)5\log_3 2 > 4\log_3 2 > 2 = f(2). So S1S_1 is true. Suppose SmS_m is true. We have 3m+3=(1+1+1)×(m+1)3m+3 = (1+1+1) \times (m+1), so f(3m+3)3+f(m+1)=3+5log3(m+1)<5(1+log3(m+1))=5log3(3m+3)f(3m+3) \le 3+f(m+1) = 3+5\log_3(m+1) < 5(1+\log_3(m+1)) = 5\log_3(3m+3). Similarly, since 3m+4=1+(3m+3)3m+4 = 1+(3m+3), we have f(3m+4)4+f(m+1)<5log3(3m+3)<5log3(3m+4)f(3m+4) \le 4+f(m+1) < 5\log_3(3m+3) < 5\log_3(3m+4). Similarly, f(3m+5)5+f(m+1)5+5log3(m+1)=5log3(3m+3)<5log3(3m+5)f(3m+5) \le 5+f(m+1) \le 5+5\log_3(m+1) = 5\log_3(3m+3) < 5\log_3(3m+5). So Sm+1S_{m+1} is true. So SmS_m is true for all mm.

Induction also works for the lower bound. In any expression for nn using 11s we either have n=a+bn = a + b, with further expressions for aa and bb, or we have n=abn = a \cdot b with further expressions for aa and bb. In the first case if a=1a = 1, we have to show that 1+log3blog3(b+1)1 + \log_3 b \ge \log_3(b+1), but that is almost obvious since 1+log3b=log3(3b)>log3(b+1)1 + \log_3 b = \log_3(3b) > \log_3(b+1). If a,b>1a, b > 1, then we have to show that log3a+log3blog3(a+b)\log_3 a + \log_3 b \ge \log_3(a+b), which is again obvious, since if ab2a \ge b \ge 2 we have log3a+log3b=log3(ab)log3(2a)log3(a+b)\log_3 a + \log_3 b = \log_3(ab) \ge \log_3(2a) \ge \log_3(a+b). In the second case we can assume that a,b>1a, b > 1 (since there is no benefit in the expression if a=1a = 1 or b=1b = 1), so we have to show that log3a+log3blog3(ab)\log_3 a + \log_3 b \ge \log_3(ab) which is true (we have equality). So all we need are the starting cases. For n=2n = 2, it is clear that f(2)=2f(2) = 2, but 8<98 < 9, so log38<log39\log_3 8 < \log_3 9 or 3log32<2=f(2)3\log_3 2 < 2 = f(2), as required.

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: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.