Maths Olympiad Prep

Library / /20 of 69

Number theory Difficulty 5.7 AIME, harder Prove it Mongolia

Let us consider the equation
(anbn)2=an+mbn+m (a^n - b^n)^2 = a^{n+m} - b^{n+m}
for positive integers nn and mm such that nm1n \ge m \ge 1. Show that this equation has no integer solution (a,b)(a, b) satisfying gcd(a,b)=1\gcd(a, b) = 1 and a>b>1|a| > |b| > 1.

Solution

From the contrary, suppose there exist integers (a,b)(a, b) with gcd(a,b)=1\gcd(a, b) = 1 and a>b>1|a| > |b| > 1 that satisfy the equation
(anbn)2=an+mbn+m (a^n - b^n)^2 = a^{n+m} - b^{n+m}
for nm1n \ge m \ge 1.
We can rewrite the given equation as follows:
(anbn)2=an(ambm)+bm(anbn). (a^n - b^n)^2 = a^n(a^m - b^m) + b^m(a^n - b^n).
This implies that anbna^n - b^n divides ambma^m - b^m. Let S=ambmanbnS = \frac{a^m - b^m}{a^n - b^n}. Then, dividing the equation by anbna^n - b^n, we have:
anbn=anS+bm, a^n - b^n = a^n S + b^m,
that simplifies to:
an(1S)=bm(bnm+1). a^n(1 - S) = b^m(b^{n-m} + 1).
Since b>1|b| > 1 and bnm+10b^{n-m} + 1 \ne 0, we conclude that ana^n divides bnm+1b^{n-m} + 1. Thus,
anbnm+1. a^n \mid b^{n-m} + 1.
Now, consider the inequality:
bn+1(b+1)nanbnm+1. |b|^{n} + 1 \le (|b| + 1)^{n} \le |a|^{n} \le |b|^{n-m} + 1.
This implies: bn+1<bn+1|b|^{n} + 1 < |b|^{n} + 1, which is a contradiction.
Hence, there are no pairs (a,b)(a, b) that satisfy the conditions of the problem.

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.