O'Reilly logo
  • Oscar Chavoya Aceves thinks this is interesting:

Exercise 4.4. Prove the following proposition from Liber Quadratorum: For any odd square number x, there is an even square number y, such that x + y is a square number.


Cover of From Mathematics to Generic Programming


Just take y = the sum of odd numbers less than x.