Olympiad Maths Prep

Track / Stage 6 / 66 of 400 #1066 of 2000

Problem 1066

National olympiad, first round
Number theory Difficulty 6.1 Prove it

The following numbers are considered to be written in the ternary system:

12002 110, 2210121 012, 121212,102 102, ABCABC\overline{A B C A B C}.

Show that they are composite numbers - without converting them to the decimal system.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

The second number, except for the others, gives a composite number in any number system whose base is 3 or greater - in other words, in which the digits 0,1,20,1,2 are used, or there are three different digits A,B,CA, B, C to replace them. Indeed, these numbers can be written in a product form:

12002110=120021110,121212=1210101102102=1021001,ABCABC=ABC1001 \begin{aligned} & 12002110=1200211 \cdot 10, \quad 121212=12 \cdot 10101 \\ & 102102=102 \cdot 1001, \quad \overline{A B C A B C}=\overline{A B C} \cdot 1001 \end{aligned}

and neither of the factors written can be 1.

The second number is also a composite number in any bb (integer) base number system because it is an even number. Indeed, by rearrangement, summing up the powers of bb with equal digits, it can be written as:

2(b9+b8+b4+1)+b(b6+b4+b2+1) 2\left(b^{9}+b^{8}+b^{4}+1\right)+b\left(b^{6}+b^{4}+b^{2}+1\right)

(the exponents are understood in the decimal system), and here the value of the second parenthesis is even for odd bb as well, because the powers of an odd number are odd, and the sum of 4 odd numbers is even. With this, we have proven the statement.

Kálmán András (Budapest, Petőfi S. g. II. o. t.)

Remark. The evenness of the second number can also be seen when restricted to the base 3, as in any bb base number system, the divisibility rule for the number one less than the base is the same as the divisibility rule for 9 in the decimal system. Indeed, in determining the latter, we only used the fact that for any positive integer exponent bn1b^{n}-1 is divisible by b1b-1, so bn=(b1)D+1b^{n}=(b-1) D+1, where DD is an integer, and thus, for example, the number

ABC=Ab2+Bb+C=A[(b1)D+1]+B[(b1)+1]+C==(b1)(AD+B)+(A+B+C) \begin{gathered} \overline{A B C}=A b^{2}+B b+C=A \cdot[(b-1) D+1]+B \cdot[(b-1)+1]+C= \\ =(b-1)(A \cdot D+B)+(A+B+C) \end{gathered}

the remainder when divided by b1b-1 is the same as the remainder when the sum of the digits A,B,CA, B, C is divided by b1b-1. In the second number to be examined, the sum of the digits is 12 (understood in the decimal system), which is even, so the number itself is even.

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