Maths Olympiad Prep

Library / /8 of 36

Number theory Difficulty 5.9 AIME, harder Prove it Italy

Problem:

Let aa and bb be positive integers such that
54a=ab. 54^{a} = a^{b}.
Show that aa is a power of 5454, that is, that there exists a positive integer cc such that a=54ca = 54^{c}.

Solution

Solution:

We observe that 54=23354 = 2 \cdot 3^{3}, and therefore aa is divisible by both 22 and 33, and has no prime factors other than 22 and 33. In other words, aa can be written in the form a=2x3ya = 2^{x} \cdot 3^{y} for suitable positive integers xx and yy. It follows that
54a=(233)2x3y=22x3y332x3yandab=(2x3y)b=2xb3yb 54^{a} = \left(2 \cdot 3^{3}\right)^{2^{x} \cdot 3^{y}} = 2^{2^{x} \cdot 3^{y}} \cdot 3^{3 \cdot 2^{x} \cdot 3^{y}} \quad \text{and} \quad a^{b} = \left(2^{x} \cdot 3^{y}\right)^{b} = 2^{x b} \cdot 3^{y b}
By equating the exponents of 22 and of 33 in the two expressions we deduce that
2x3y=xband32x3y=yb. 2^{x} \cdot 3^{y} = x b \quad \text{and} \quad 3 \cdot 2^{x} \cdot 3^{y} = y b.
Comparing the two equalities we conclude that y=3xy = 3x, and consequently
a=2x3y=2x33x=(233)x=54x, a = 2^{x} \cdot 3^{y} = 2^{x} \cdot 3^{3x} = \left(2 \cdot 3^{3}\right)^{x} = 54^{x},
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 translated into English from en; metadata (topic, difficulty) added by this project.