Infinite descent, also named Fermat's descent, is a technique to prove that a diophantine equation has no solutions by construction a 'smaller' solution from a given one.

Infinite descent, also named Fermat's descent, is a technique to prove that a diophantine equation has no solutions by construction a 'smaller' solution from a given one.