Does anyone know who was the first to find solutions in integers for $n^2 + (n+1)^2 = k^2$ (almost isosceles Pythagorean triples)? I know that Euler provided formulas for infinitely many $n, k$ that satisfy the equation.
Who proved (if that's the case) that there are no other solutions?