Maths Olympiad Prep

Library / UkraineMO /34 of 57

UkraineMO

Algebra Difficulty 5.9 AIME, harder Prove it Ukraine

For each pair of integers a,ba, b a non-negative integer a∗ba*b is defined such that it satisfies the following two conditions:
1) (a+b)∗b=a∗b+1(a+b)*b = a*b+1;
2) (a∗b)⋅(b∗a)=0(a*b) \cdot (b*a) = 0.
Find values of the expressions 2016∗1212016*121 and 2016∗1442016*144.

Solution

Answer: 2016∗121=162016 * 121 = 16, 2016∗144=132016 * 144 = 13.

Suppose there are two positive integers a,ba, b. Let us rewrite them as follows: a=bq+ra = bq + r, where qq is a non-negative integer, rr is a positive integer and r≤br \le b. We prove that under such conditions a∗b=qa*b = q.

If in the second condition ∀a∈N\forall a \in \mathbb{N} we put a=ba = b, then we will obtain a∗a=0a*a = 0. If we suppose that a∗b=0a*b = 0, and in condition 1) put a1+b1=aa_1 + b_1 = a, b1=bb_1 = b, then we obtain
(a1+b1)∗b1=a1∗b1+1 or a∗b=(a−b)∗b+1. (a_1 + b_1)*b_1 = a_1*b_1 + 1 \text{ or } a*b = (a-b)*b + 1.
But this contradicts the definition of the operation, because in such case for positive integers a−ba-b and bb the operation is not defined, because then (a−b)∗b=−1(a-b)*b = -1, which is impossible. Thus, for a>ba > b b∗a=0b*a = 0.

Now suppose a>ba > b and a=bq+ra = bq + r, q,r∈Nq, r \in \mathbb{N}, r≤br \le b. Then
r∗b=0⇒(r+b)∗b=r∗b+1=1⇒((r+b)+b)∗b=(r+b)∗b+1=2⇒…(r+qb)∗b=((r+(q−1)b)+b)∗b+1=q−1+1=q, \begin{align*} & r*b = 0 \Rightarrow (r + b)*b = r*b + 1 = 1 \Rightarrow ((r + b) + b)*b = (r + b)*b + 1 = 2 \Rightarrow \dots \\ & \qquad (r + qb)*b = ((r + (q-1)b) + b)*b + 1 = q-1 + 1 = q, \end{align*}

Finally we obtain
2016=121⋅16+80⇒2016∗121=16,2016=144⋅14=144⋅13+144⇒2016∗144=13. \begin{aligned} 2016 &= 121 \cdot 16 + 80 &\Rightarrow 2016 * 121 &= 16, \\ 2016 &= 144 \cdot 14 = 144 \cdot 13 + 144 &\Rightarrow 2016 * 144 &= 13. \end{aligned}

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

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.