Maths Olympiad Prep

Library / /312 of 377

Algebra Difficulty 5.5 AIME, harder Prove it United States

Problem:

Let \otimes be a binary operation that takes two positive real numbers and returns a positive real number. Suppose further that \otimes is continuous, commutative (ab=ba)(a \otimes b = b \otimes a), distributive across multiplication (a(bc)=(ab)(ac))(a \otimes (b c) = (a \otimes b)(a \otimes c)), and that 22=42 \otimes 2 = 4. Solve the equation xy=xx \otimes y = x for yy in terms of xx for x>1x > 1.

Solution

Solution:

Answer: y=2y = \sqrt{2}

We note that (abk)=(ab)k\left(a \otimes b^{k}\right) = (a \otimes b)^{k} for all positive integers kk. Then for all rational numbers pq\frac{p}{q} we have abpq=(ab1q)p=(ab)pqa \otimes b^{\frac{p}{q}} = \left(a \otimes b^{\frac{1}{q}}\right)^{p} = (a \otimes b)^{\frac{p}{q}}. So by continuity, for all real numbers a,ba, b, it follows that 2a2b=(22)ab=4ab2^{a} \otimes 2^{b} = (2 \otimes 2)^{a b} = 4^{a b}. Therefore given positive reals x,yx, y, we have

xy=2log2(x)2log2(y)=4log2(x)log2(y)x \otimes y = 2^{\log_{2}(x)} \otimes 2^{\log_{2}(y)} = 4^{\log_{2}(x) \log_{2}(y)}.

If x=4log2(x)log2(y)=22log2(x)log2(y)x = 4^{\log_{2}(x) \log_{2}(y)} = 2^{2 \log_{2}(x) \log_{2}(y)} then log2(x)=2log2(x)log2(y)\log_{2}(x) = 2 \log_{2}(x) \log_{2}(y) and 1=2log2(y)=log2(y2)1 = 2 \log_{2}(y) = \log_{2}\left(y^{2}\right). Thus y=2y = \sqrt{2} regardless of xx.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.