Properties [of Diophantine equations]

(All variables are assumed positive.)

• 2x+3y==a. There are Ceiling[a/2] + Ceiling[2 a/3] - (a+1) solutions, the one with smallest x being {Mod[2*a+2, 3]+1, 2*Floor[(2a+2)/3]-(a+2)}. Linear equations like this were already studied in antiquity. (Compare page 915.)

• x^^{2}==y^^{2}+a. Writing a in terms of distinct factors as r s, {r+s, r-s}/2 gives a solution if it yields integers—which happens when Abs[a] > 4 and Mod[a,4]!=2.

• x^^{2}==a y^^{2}+1 (Pell equation). As discussed on page 944, whenever a is not a perfect square, there are always an infinite number of solutions given in terms of ContinuedFraction[Sqrt[a]]. Note that even when the smallest solution is not very large, subsequent solutions can rapidly get large. Thus for example when a=13, the second solution is already {842401, 233640}.

• x^^{2}==y^^{3}+a (Mordell equation). First studied in the 1600s, a complete theory of this so-called elliptic curve equation was only developed in the late 1900s—using fairly sophisticated algebraic number theory. The picture below shows as a function of a the minimum x that solves the equation. For a=68, the only solution is x=1874; for a=1090, it is x=149651610621. The density of cases with solutions gradually thins out as a increases (for 0<a<=10000 there are 2468 such cases). There are always only a finite number of solutions (for 0 <a<=10000 the maximum is 12, achieved for a=8900).

• x^^{2}==a y^^{3}+1. Also an elliptic curve equation.

• x^^{3}==y^^{4}+x y + a. For most values of a (including specifically a=1) the continuous version of this equation defines a surface of genus 3, so there are at most a finite number of integer solutions. (An equation of degree d generically defines a surface of genus (d-1)(d-2)/2.) Note that x^^{3} ==y^^{4}+a is equivalent to x^^{3}==z^^{2}+a by a simple substitution.

• x^^{2}==y^^{5}+a y +3. The second smallest solution to x^^{2} == y^^{5} + 5*y + 3 is {45531, 73}. As for the equations above, there are always at most a finite number of integer solutions.

• x^^{3}+y^^{3}==z^^{2}+a. For the homogenous case a=0 the complete solution was found by Leonhard Euler in 1756.

• x^^{3}+y^^{3}==z^^{3}+a. No solutions exist when a=9n±4; for a=n^^{3} or 2n^^{3} infinite families of solutions are known. Particularly in its less strict form x^^{3}+y^^{3}+z^^{3}==a with x, y, z positive or negative the equation was mentioned in the 1800s and again in the mid-1900s; computer searches for solutions were begun in the 1960s, and by the mid-1990s solutions such as {283059965, 2218888517, 2220422932} for the case a= -30 had been found. Any solution to the difficult case x^^{3}+y^^{3}==z^^{3}-3 must have Mod[x,9]==Mod[y,9]==Mod[z,9]. (Note that x^^{2}+y^^{2}+z^^{2}==a always has solutions except when a=4^^{s} (8n+7), as mentioned on page 135.)