Maths Olympiad Prep

Library / Baltic Way competition problems /24 of 45

Baltic Way competition problems

Number theory Difficulty 5.8 AIME, harder Prove it Baltic Way

Let mm and nn be positive integers, assumed relatively prime. Determine all possible values of
gcd(2m−2n,2m2+mn+n2−1). \text{gcd}(2^m - 2^n, 2^{m^2+mn+n^2} - 1).

Solution

We may assume m≥nm \ge n. It is well known that
gcd(2p−1,2q−1)=2gcd(p,q)−1, \text{gcd}(2^p - 1, 2^q - 1) = 2^{\text{gcd}(p,q)} - 1,
so that
gcd(2m−2n,2m2+mn+n2−1)=gcd(2m−n−1,2m2+mn+n2−1)=2gcd(m−n,m2+mn+n2)−1. \begin{aligned} \text{gcd}(2^m - 2^n, 2^{m^2+mn+n^2} - 1) &= \text{gcd}(2^{m-n} - 1, 2^{m^2+mn+n^2} - 1) \\ &= 2^{\text{gcd}(m-n, m^2+mn+n^2)} - 1. \end{aligned}
Next, consider a divisor d∣m−nd \mid m-n. We must have gcd(m,d)=1\text{gcd}(m, d) = 1, since mm and nn are relatively prime. It follows that 0≡m2+mn+n2≡3m2(modd)0 \equiv m^2 + mn + n^2 \equiv 3m^2 \pmod{d} is equivalent to d∣3d \mid 3, and we infer that
gcd(m−n,m2+mn+n2)=gcd(m−n,3), \text{gcd}(m - n, m^2 + mn + n^2) = \text{gcd}(m - n, 3),
which is 1 or 3.
Hence gcd(2m−2n,2m2+mn+n2−1)\text{gcd}(2^m - 2^n, 2^{m^2+mn+n^2} - 1) may only assume the values 1 and 7. Both values are possible, since m=2,n=1m = 2, n = 1 gives
gcd(22−21,222+2⋅1+12−1)=gcd(2,27−1)=1, \text{gcd}(2^2 - 2^1, 2^{2^2+2 \cdot 1+1^2} - 1) = \text{gcd}(2, 2^7 - 1) = 1,
and m=1,n=1m = 1, n = 1 gives
gcd(21−21,212+1⋅1+12−1)=gcd(0,23−1)=7. \text{gcd}(2^1 - 2^1, 2^{1^2+1 \cdot 1+1^2} - 1) = \text{gcd}(0, 2^3 - 1) = 7.

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.