MathLabs

Problem 2

Determine all triples (a,b,c)(a,b,c) of positive integers such that each of the numbers ab−cab-c, bc−abc-a, and ca−bca-b is a power of 22 (a power of 22 is an integer of the form 2n2^n, where nn is a nonnegative integer).
Step 3 of 8: Case a=2a=2
In plain words

With a=2a=2, the three equations become linear in b,cb,c except for the final product, and its parity leaves only two subcases.

a=2⟹(a,b,c)∈{(2,2,2),(2,2,3),(2,6,11)}a=2\quad\Longrightarrow\quad (a,b,c)\in\{(2,2,2),(2,2,3),(2,6,11)\}
Detailed analysis

The equations are 2b−c=2m2b-c=2^m, 2c−b=2n2c-b=2^n, and bc−2=2pbc-2=2^p. Since n≥1n\ge1, the second equation makes bb even. If p=1p=1, then bc=4bc=4; with 2≤b≤c2\le b\le c this gives (b,c)=(2,2)(b,c)=(2,2). Now suppose p>1p>1. Since bc=2p+2≡2(mod4)bc=2^p+2\equiv2\pmod4 and bb is even, b≡2(mod4)b\equiv2\pmod4 and cc is odd. Thus 2b−c2b-c is odd, so m=0m=0 and 2b−c=12b-c=1, i.e. c=2b−1c=2b-1. Substitution into 2c−b=2n2c-b=2^n gives 3b=2n+23b=2^n+2 and hence 3c=2n+1+13c=2^{n+1}+1. Also bc−2=2pbc-2=2^p becomes (2n−1+1)(2n+1+1)=9(2p−1+1)(2^{n-1}+1)(2^{n+1}+1)=9(2^{p-1}+1). Here p≥np\ge n; reducing this identity modulo 2n−12^{n-1} gives 1≡9(mod2n−1)1\equiv9\pmod{2^{n-1}}, so n≤4n\le4. The case n=1n=1 is impossible in 3b=2n+23b=2^n+2, and n=3n=3 is impossible because b=(2n+2)/3b=(2^n+2)/3 is not an integer. Thus n=2n=2 or 44, yielding (b,c)=(2,3)(b,c)=(2,3) or (6,11)(6,11).