MathDB
y^2+z^2+1 cannot be a power of 7

Source: 2019 Baltic Way P19

November 18, 2019
number theory

Problem Statement

Prove that the equation 7x=1+y2+z27^x=1+y^2+z^2 has no solutions over positive integers.