Exponent bound for a binomial power equation
ID: exponent-bound-for-a-binomial-power-equation
For fixed positive and fixed nonzero , with , put and take , swapping the variables and coefficients if necessary. The equation gives when the larger-variable power is sufficiently large. A two-logarithm lower bound gives . Hence , so is bounded. The cases and a bounded larger-variable power are elementary. For each remaining exponent, the Thue theorem for a binomial form supplies finitely many pairs. The constant-power exception , , must be removed.
New to topics? Read the docs here!