Problem

Source: China TST 2002 Quiz

Tags: modular arithmetic, induction, number theory unsolved, number theory



Find all groups of positive integers $ (a,x,y,n,m)$ that satisfy $ a(x^n - x^m) = (ax^m - 4) y^2$ and $ m \equiv n \pmod{2}$ and $ ax$ is odd.