Problem

Source: 2019 Baltic Way P19

Tags: number theory



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