1997 IMO Problems/Problem 5

Revision as of 17:39, 6 October 2023 by Tomasdiaz (talk | contribs) (Solution)

Problem

Find all pairs $(a,b)$ of integers $a,b \ge 1$ that satisfy the equation

$a^{b^{2}}=b^{a}$

Solution

Case 1: $(1 \le a \le b)$

$(a^{b})^{b}=b^{a}$

Looking at this expression since $b \ge a$ then $a^{b} \le b$.

Here we look at subcase $a>1$ which gives $a^{b}>b$ for all $(1 < a \le b)$. This contradicts condition $a^{b} \le b$, and thus $a$ can't be more than one giving the solution of $a=1$ with $b \ge 1$. So we substitute the value of $a=1$ into the original equation to get $1^{b^2}=b^{1}$ which solves to $b=1$ and our first pair $(a,b)=(1,1)$


Case 2: $(1 \le b < a)$

$a^{b^2}=b^{a}$

since $a>b$, then $b^{2}<a$ and we multiply both sides of the equation by $b^{-2b^{2}}$ to get:

$b^{-2b^{2}}a^{b^2}=b^{-2b^{2}}b^{a}$

$(ab^{-2})^{b^{2}}=b^{a-2b^{2}}$

Since $b^{2}<a$, then $(ab^{-2})^{b^{2}}>1$ and $b^{a-2b^{2}}>0$. This gives $a-2b^{2}>1$

This implies that $a>2b^{2}$ for $b>1$

Let $a=kb^{2}$ with $k \in \mathbb{Z} ^{+}$. Since $a>2b^{2}$, then $k \ge 3$

$(kb^{2}b^{-2})^{b^{2}}=b^{kb^{2}-2b^{2}}$

$k^{b^{2}}=b^{(k-2)b^{2}}$

$k=b^{k-2}$, which gives $b \ge 2$

subcase $k=3$:

$3=b^{3-2}=b$ and $a=kb^{2}=(3)(3)^{2}=27$. which provides 2nd pair $(a,b)=(27,3)$

subcase $k=4$:

$4=b^{4-2}=b^{2}$, thus $b=2$ and $a=kb^{2}=(4)(2)^{2}=16$. which provides 3rd pair $(a,b)=(16,2)$

subcase $k \ge 5$:

$k=b^{k-2}$, thus $b=k^{1/(k-2)}$ which decreases with $k$ and approaches $1$ as $k \to \infty$ . From subcase $k=4$, we know that $b=2$, thus for subcase $k \ge 5$, $1<b<2$. Therefore this subcase has no solution.

Final solution is $(a,b)=(1,1); (27,3); (16,2)$

~ Tomas Diaz

Alternate solutions are always welcome. If you have a different, elegant solution to this problem, please add it to this page.