Maths Olympiad Prep

Library / /16 of 24

, 2015

Algebra Difficulty 7.1 National olympiad, round 2 Prove it Argentina

We say that a natural number is of type 1 (respectively type 2) if each of its digits at even (respectively odd) position is greater than or equal to each of its adjacent digits. Positions are counted from left to right; leading zeros are not allowed (the first digit is assumed nonzero). One-digit numbers are considered to be both of type 1 and of type 2. Decide if it is true that:

a) Each number a>1a > 1 of type 1 can be represented as a=b+ca = b + c with bb, cc numbers of type 2.

b) Each number a>1a > 1 of type 2 can be represented as a=b+ca = b + c with bb, cc numbers of type 1.

Solution

The answer is yes for part a) and no for part b).

Consider a number a>1a > 1 of type 1. If aa is a 1-digit number then a=(a1)+1a = (a - 1) + 1 is the desired representation since a1a - 1 and 11 are 1-digit numbers, hence type 2 numbers by definition.

Let aa have at least two digits. Write it in the form a=u1v1u2v2u3v3a = u_1 v_1 u_2 v_2 u_3 v_3 \ldots where u1,u2,u_1, u_2, \ldots and v1,v2,v_1, v_2, \ldots are its digits at odd and even position respectively. We have u1>0u_1 > 0 for the first digit u1u_1, also v1u1>0v_1 \geq u_1 > 0 since aa is of type 1.

Now let b=u10u20u30b = u_1 0 u_2 0 u_3 0 \ldots be the number obtained by replacing all digits at even positions by 00. This is a type 2 number because ui0u_i \geq 0 for all ii.

Next, construct number cc as follows: delete the first digit u1u_1 from aa, then replace all remaining digits u2,u3,u_2, u_3, \ldots at odd positions by zeros. In other words c=v10v20v30c = v_1 0 v_2 0 v_3 0 \ldots; the first digit v1v_1 is nonzero. Clearly cc is also of type 2, and it has one digit less than bb (and a). Now it follows from the rule of addition that a=b+ca = b + c, so part a) is done.

For part b) we show that the type 2 number 109109 is not representable as the sum of two type 1 numbers. Suppose on the contrary that such a representation exists. If one summand is among 1,,91, \ldots, 9 then the other is among 100,,108100, \ldots, 108, and the latter numbers are not of type 1. So let both summands be 2-digit numbers, and let 10u+v10u + v be one of them, with 0<uv90 < u \leq v \leq 9 as 10u+v10u + v is of type 1. The other summand is then b=109(10u+v)=10(10u)+(9v)b = 109 - (10u + v) = 10(10 - u) + (9 - v). Because 110u91 \leq 10 - u \leq 9 and 09v80 \leq 9 - v \leq 8, the digits of bb are 10u10 - u and 9v9 - v in this order. However 10u>9v10 - u > 9 - v because uvu \leq v, hence bb is not a type 1 number, contrary to the assumption.

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.