According to this mathematically historical paper the origin of this observation goes to Fermat and his method of infinite descent, though Mordell (as noted by Weil) was the first to make it explicit in this particular form.
Wadim Zudilin
- 13.5k
- 4
- 58
- 102