Ramanujan And The Cubic Equation 33 + 43 + 53 = 63

 

By Titus Piezas III

 

 

“Politics is for the moment, but an equation is for eternity.” – Albert Einstein1

 

 

Keywords: diophantine equations, cubic quadruples, quadratic forms, algebraic identities, Ramanujan, discriminants.

 

 

Contents:

 

I. Introduction

II. Cubic Quadruples: a3 + b3 + c3 + d3 = 0

III. Derivation: The Hard Way

IV. Derivation: The Easy Way

V. Cubic r-Tuples: a13 + a23 + …+ ar3 = 0

VI. Conclusion: Beyond Cubics

 

 

I. Introduction

 

            In this paper, we will tackle a well-known diophantine problem but focus on its solution in terms of quadratic forms including a very broad identity that covers several known ones.  For example, how do we explain the fact that,

 

            (3x2+5xy-5y2)3 + (4x2-4xy+6y2)3 + (5x2-5xy-3y2)3 = (6x2-4xy+4y2)3

 

which has as its first member the very intriguing equation 33 + 43 + 53 = 63?  Similarly, we have,

 

            (x2+9xy-y2)3 + (12x2-4xy+2y2)3 =  (9x2-7xy-y2)3 + (10x2+2y2)3

 

with 13 + 123 = 93 + 103 as a first instance.  The common sum of the second example, 1729, is associated with a famous anecdote2 involving Ramanujan and Hardy and may be recognized by some as the taxicab number for n = 2, namely the smallest number representable in n ways as a sum of two positive cubes.  These two identities, needless to say, were found by Ramanujan.  No wonder he recognized 1729.

 

            Why do these quadratic forms exist?  It turns out they are particular cases of a more general identity and in this paper we will give this identity which seems to have been missed by Ramanujan.  Before doing so, we can have the usual preliminaries.  We will discuss parametric solutions to the diophantine equation,

 

            a3 + b3 + c3 = d3                      (eq.1)

 

or the equivalent forms,

 

            a3 + b3 = c3 + d3                      (eq.2)

            a3 + b3 + c3 + d3 = 0                (eq.3)

 

This is a rather famous problem and understandably enough as it seems to be the logical next step after the Pythagorean equation a2 + b2 = c2.  Since integer solutions to the aforementioned equation are known as Pythagorean triples, by analogy perhaps it is permissible to call the general class of equations,

 

            a1n + a2n +…+ ar-1n = arn

 

as “nth power r-tuples”, or “the sum of r-1 nth powers of positive or negative integers equal to an nth power”, which itself is a particular instance of a still larger class of equations (equal sums of like powers) though we need not go into that here.  The study of nth power r-tuples is notable in number theory as this was where Euler made a rare wrong conjecture.  He conjectured that it took at least n nth powers to sum up to an nth power and we do now have examples for n up to 8, though skipping n = 6.  While the conjecture was true for n = 3, it turned out to be false for n = 4, with eight counter-example quartic quadruples found so far by D. Bernstein, Noam Elkies, Roger Frye, and Allan MacLeod with the first (though not the smallest) by Elkies in 1988,

 

            26824404 +153656394 +187967604 =206156734

 

and the earlier one for n = 5 found by Lander and Parkin in 1966,

 

            275 + 845 + 1105 + 1335 = 1445

 

It’s an open question whether there is a sextic sextuple (or five sixth powers equal to a sixth power) or even just a sextic 7-tuple, though hopefully the discovery of the latter may be just around the corner.  In general, it is not known if there is an nth power r-tuple for r = n (or even n+1) for all n > 3.  See Jean-Charles Meyrignac’s “Equal Sums Of Like Powers” at http://euler.free.fr/ for more details.

 

For odd powers since we allow positive or negative solutions the form with the greatest symmetry is,

 

            a1n + a2n +…+ arn = 0

 

so what Lander and Parkin found was a quintic quintuple.  There are only three such quintuples found, the second by Bob Scher and Ed Seidl in 1997,

 

            50275 + 62375 +140685 + (-220)5 + (-14132)5 = 0

 

and the third found by Jim Frye only last year, Sept 2004,

 

            555 + 31835 + 289695 + 852825 + (-85359)5 = 0

 

Thus what the author will refer to subsequently as cubic quadruples (a,b,c,d) will be solutions to the equation,

 

            a13 + a23 + a33 + a43 = 0

 

unless indicated otherwise.  By Fermat’s Last Theorem, obviously there are no cubic triples in the integers.

 

 

II. Cubic Quadruples: a3 + b3 + c3 + d3 = 0

 

The smallest numerical solutions to this diophantine equation are (as eq.1),

 

            33 + 43 + 53 = 63

            13 + 63 + 83 = 93

            73 + 143 + 173 = 203

 

and as eq.2,

 

            13 + 123 = 93 + 103

            23 + 163 = 93 + 153

            103 + 273 = 193 + 243

 

where, as was already pointed out, the sum 13 + 123 = 93 + 103 = 1729 is taxicab(2). Taxicab(n) are known for n = 1-5, but n = 6 and above are unknown.  Before we go to Ramanujan’s quadratic identities, we will give various parametrizations.  If we arbitrarily choose a3 + b3 + c3 = d3 (eq.1) as the form to solve, then Euler has completely solved this for positive or negative rational solutions and it is given by,

 

            a = (1-(p-3q)(p2+3q2))r

b = ((p+3q)(p2+3q2)-1)r

c = ((p2+3q2)2-(p+3q))r

d = ((p2+3q2)2-(p-3q))r

 

where the variable r is a scaling factor reflecting the equation’s homogeneity.  (Appropriate sign changes will solve the other forms.)  Note that the prevalence of the expression p2+3q2 is understandable as this solution takes advantage of the multiplicative properties of this algebraic form.  This is also intimately connected to Eisenstein integers, numbers that involve the complex cube roots of unity.

 

It is still an open question however to find the complete characterization of eq.1 for all positive integer solutions, as pointed out by Dickson in the classic “History of the Theory of Numbers, Vol 2”.  For alternative solutions, Hardy and Wright in their “An Introduction to the Theory of Numbers” gave,

 

            a3(a3 + b3)3 = a3(a3 – 2b3)3 + (a3 + b3)3b3 + (2a3 – b3)3b3

            a3(a3 + 2b3)3 = a3(a3 – b3)3 + (a3 – b3)3b3 + (2a3 + b3)3b3

 

Solutions to eq.1 were also given by Francois Vieta as,

 

            a = 2t3-1, b = t(t3-2), c = t3+1, d = t(t3+1)

 

and one found by this author,

 

            n3 + (3n2+2n+1)3 + (3n3+3n2+2n)3 = (3n3+3n2+2n+1)3

 

which automatically implies that any integer will appear as a non-trivial solution to cubic quadruples at least once.  For eq.2, Ramanujan gave the very simple parametrization,

 

            (a + x2y)3 + (bx + y)3 = (ax + y)3 + (b + x2y)3

 

where a2+ab+b2 = 3xy2.  For the more symmetric form (eq.3), we have one by Elkies,

 

            a = -(s+r)t2 +(s2+2r2)t-s3+rs2-2r2s-r3

b = t3-(s+r)t2 +(s2+2r2)t+rs2-2r2s+r3

c = -t3+(s+r)t2 -(s2+2r2)t+2rs>2-r2s+2r3

d = (s-2r)t2 +(r2-s2)t+s3-rs2+2r2s-2r3

 

            As one can see, all of the parametrizations involve at least one cubic polynomial.  What this paper will address will be the case of limiting it to quadratic expressions, in particular, the question asked by Ramanujan which he submitted to the Journal of the Indian Mathematical Society early last century.  In Question 441 of the JIMS he asked,

 

“Show that (3x2+5xy-5y2)3 + (4x2-4xy+6y2)3 + (5x2-5xy-3y2)3 = (6x2-4xy+4y2)3 and find other quadratic expressions satisfying similar relations.”

 

By expanding both sides, one can readily see that it is identically true.  C. Hooley makes use of this identity to provide a lower bound for a certain estimate in his paper “On the numbers that are representable as the sum of two cubes” (1980).  One proposed answer to Ramanujan’s problem was given by S. Narayanan.  Either he knew about or independently rediscovered Vieta’s solution but by defining,

 

            m = 2t3-1, n = t(t3-2), p = t3+1, q = t(t3+1)

 

(compare to Vieta’s), then we get,

 

            (mx2-mxy-py2)3 + (nx2-nxy+qy2)3 + (px2+mxy-my2)3 = (qx2-nxy+ny2)3

 

Interestingly enough, Narayanan’s solution in turn was rediscovered by Marc Chamberland in the context of looking for solutions for eq.1 and not in order to answer Question 441.  His parametrization was, given,

 

             a3 + b3 + c3 = d3 , and c(c2 – a2) = b(d2 – b2)

 

then,

 

            (cx2-cxy-ay2)3 + (bx2-bxy+dy2)3 + (ax2+cxy-cy2)3 = (dx2-bxy+by2)3

 

(Though in his paper it was set as y = 1).  By comparing Narayanan’s and Chamberland’s expressions, one can see that (m,n,p,q) = (c,b,a,d).

 

However, we will give a much more general answer to Ramanujan’s question.  What we would like to know is that given any known cubic quadruple (a,b,c,d), can we use this to find quadratic forms qi such that,

 

q13 + q23 + q33 + q43 = 0?

 

The answer is yes.  To prove this assertion, we give the beautiful identity,

 

Identity 1 (Id.1)

 

(ax2 + v1xy + bwy2)3 + (bx2 -v1xy + awy2)3 + (cx2 + v2xy + dwy2)3 + (dx2 -v2xy + cwy2)3

 

= (a3 + b3 + c3 + d3)(x2 + wy2)3

 

where v1 = -(c2-d2), v2 = (a2-b2), w = (a+b)(c+d).

 

            If the right hand side of the equation is zero, then it automatically gives us a cubic quadruple in terms of quadratic forms.  Thus, we have reduced the problem to simply finding solutions to a3 + b3 + c3 + d3 = 0!   Since the complete positive and negative rational solution to this has already has been given by Euler, then for every cubic quadruple (a,b,c,d) there corresponds a quadratic form parametrization. 

 

            (For those who wish to verify this identity and the three others that will be given later, two of which rather complicated, there is a Microsoft Word file, www.oocities.org/titus_piezas/RamCube.doc so one can easily cut and paste them onto the computer algebra system of your choice, or the free one at www.quickmath.com.)

 

We can note three things.  First, the discriminant fi of a pair of quadratic forms, namely (q1, q2) and (q3, q4), are identical and given by,

 

            f1 = v12-4abw,            and            f2 = v22-4cdw

 

Second, by permuting the values (a,b,c,d), there are 4!=24 possibilities such that a3 + b3 + c3 + d3 = 0.  However, generically there are only three significant and distinct combinations: {(a,b),(c,d)}, {(a,c),(b,d)}, {(a,d),(b,c)}.

 

Example 1:

 

Let a = 3, b = 4, c = 5, d = -6, discriminants = 457, -791.

 

            (3x2+11xy-28y2)3 + (4x2-11xy-21y2)3 + (5x2-7xy+42y2)3 + (-6x2+7xy-35y2)3 = 0

 

Example 2: (Ramanujan’s)

 

Let a = 3, b = 5, c = 4, d = -6, discriminants = 85, -16*5.

 

            (3x2+5xy-5y2)3 + (5x2-5xy-3y2)3 + (4x2-4xy+6y2)3 + (-6x2+4xy-4y2)3 = 0

 

Example 3:

 

Let a = 3, b = -6, c = 4, d = 5, discriminants = -9*23, 321.

 

            (3x2+3xy+18y2)3 + (-6x2-3xy-9y2)3 + (4x2-9xy-15y2)3 + (5x2+9xy-12y2)3 = 0

 

(Note: I find it rather interesting that -23, 321 just so happen to have class number 3, as negative and positive square-free discriminants.  See Mathworld’s list of class numbers.)

 

So Ramanujan’s identity was just one in a triplet with middle terms of opposite parity. Finally, there is no reason to stop with quadruples.  If we let,

 

            a3 + b3 + c3 + d3 = k

 

where k is either 0, 1, or more cubes (not necessarily positive), then we can go beyond Ramanujan’s requirement and find quadratic expressions for r cubes equal to zero.  For example, take the case of four cubes equal to a cube, the few smallest being,

 

            13 + 13 + 53 + 63 = 73

            33 + 33 + 73 + 113 = 123

            13 + 53 + 73 + 123 = 133

 

However, there is the very nice instance 113 + 123 + 133 + 143 = 203 so using our first identity (Id.1) we get,

 

(11x2 + 27xy + 7452y2)3 + (12x2 -27xy + 6831y2)3 + (13x2 -23xy + 8694y2)3 + (14x2 +23 xy + 8073y2)3 = 203(x2 + 621y2)3

 

which is just one possible form, not to mention that we could just as well have used the smaller examples.  One thing which we just pointed was that we took advantage of quadratic forms whose middle terms, given by v1 and v2, were of opposite parity.  However, there are parametrizations where this is not the case.  One such example is a version given by Bruce Reznick,

 

            (3x2-11xy+3y2)3 + (4x2-4xy+6y2)3 + (5x2-5xy-3y2)3 = (6x2-8xy+6y2)3

 

So it seems that our identity, general though it is, is in fact still just a special case of something even more general and that is what we will find in the next section.

 

 

III. Derivation: The Hard Way

 

            The identity (Id.4) we have given so far is a special case.  In this section, we focus on the general case that does not depend on the opposite parity of middle terms.  Let qi be quadratic forms.  Then what we are looking for is a solution to,

 

            q13 + q23 + q33 + q43 = 0       (eq.4)

 

or explicitly,

 

(ax2 + v1xy + v2y2)3 + (bx2 + v3xy + v4y2)3 + (cx2 + v5xy + v6y2)3 + (dx2 + v7xy + v8y2)3 = 0

 

where the vi are unknowns.  One way to solve this is to expand and collect terms in powers of x and y.  We then have the system of equations, call it S1,

 

            p0 = (a3 + b3 + c3 + d3) x6

            p1 = (a2v1 + b2v3 + c2v5 + d2v7) x5y

            p2 = (av12 + a2v2 + bv32 + b2v4 + cv52 + c2v6 + dv72 + d2v8) x4y2

            p3 = (v13 + 6av1v2 + v33 + 6bv3v4 + v53 + 6cv5v6 + v73 + 6dv7v8) x3y3

            p4 = (v12v2 + av22 + v32v4 + bv42 + v52v6 + cv62 + v72v8 + dv82) x2y4

            p5 = (v1v22 + v1v22 + v1v22 + v1v22) xy5

            p6 = (v23 + v43 + v63 + v83) y6

 

Note that this is a rather natural system and we wish to set all the pi = 0.  If a3 + b3 + c3 + d3 = 0, that takes care of p0.  Thus, we have six equations pi and eight unknowns vi.  So it seems our system is under-determined.  However, we can use the “fait accompli” principle (literally, “accomplished fact”): since Ramanujan’s identity already exists, then this system must not be impossible to solve.  What one can do is to use two known values from the identity, and resolve this system of six equations in six unknowns to its resolvent using a computer algebra system.  To the surprise of the author, this equation of a humongous degree had three non-trivial linear factors (plus one repetition), one being Ramanujan’s expected value.  The next thing to ask would be what would happen if two arbitrary values were used.  It again had three linear factors. 

 

            After more experimentation, the conclusion was that two of our vi with odd subscript (in this paper, v1 and v3) must be independent variables, and we just have six equations in six unknowns.  We can then resolve this system into a single equation.  But was the fact that it had linear factors a peculiarity of the cubic quadruple (3,4,5,-6)?  The incredible thing was that later it was realized that for any cubic quadruple (a,b,c,d), it always had a linear factor.  Furthermore, it may have as many as three distinct linear factors, yielding quadratic forms with different discriminants.

 

            To find these factors was no easy task.  Since the resolvent was of a very high degree, it was a hard enough time dealing with numerical values, and much more if symbolic ones were used.  What was needed was a shortcut.  Perhaps one can use the discriminant of the quadratic forms (or in general, of the parametric polynomial) to generate additional information.  Since the author observed that discriminants were always the same for a pair of qi, then we can have two more equations,

 

v12-4av2 = v32-4bv4,    v52-4cv6 = v72-4dv8

 

and we can use these to immediately solve for v4 and v6.  Substituting into p1, p2, we can linearly solve for v7 and v8.  Substituting all the known vi into p3, we get a cubic in v5 (call this polynomial e3) with v2 and v5 as the remaining unknowns.  It was the experience of the author that it was at this point that when using numerical examples this cubic would factor, with one factor linear in v1, v3, v5 (and the other unknown v2 conveniently isolated in the quadratic factor).  If indeed this will always happen for cubic quadruples, then we can eliminate one variable, say d, between a3 + b3 + c3 + d3 = 0 and e3 and see if it factors.

 

            That is easier say than done as factoring polynomials of relatively high degree and with so many symbolic variables (a,b,c,d,v1,v2,v3,v5) cannot be done quickly.  So, we can use a trick that Euler used to find the complete parametrization of cubic quadruples.  It is simply to do a linear substitution that reduces one variable to a lesser degree, namely,

 

            a = p+s,   b = p-s,   c = q-r,   d = q+r

 

Substituting this into a3 + b3 + c3 + d3 = 0, we get,

 

 p3 + q3 + 3qr2 + 3ps2 = 0                      (eq.5)

 

with r and s only as second powers.  This slight reduction is all we need and doing the same to the polynomial e3, we eliminate the variable s between the two using resultants.  The resulting polynomial does factor, one given as a quadratic in v5.  Solving this equation we find that its discriminant is given by,

 

            -3p5q2r2(p3 + q3 + 3qr2)(v1-v3)2

 

Using eq.5, we know that this is really,

 

            -3p5q2r2(-3ps2)(v1-v3)2

 

hence is a perfect square and is a linear factor in disguise.  Simplifying, we get v5 in terms of the independent variables v1 and v3 as,

 

            v5 (6pqr) = (p3+q3+3q2r+3p2s)v1 + (p3+q3+3q2r-3p2s)v3

 

and we have our first linear factor!  Using this value for v5 (as well as the other substitutions) for any of the remaining polynomials p4, p5, or p6, one can solve for the last unknown v2 which turns out to be also linearly solvable, though only after some algebraic manipulation, and finally we have all our unknowns!  We now give our second identity,

 

Identity 2 (Id.2)

 

If a3 + b3 + c3 + d3 = 0, then,

 

(ax2 + v1xy + v2y2)3 + (bx2 + v3xy + v4y2)3 + (cx2 + v5xy + v6y2)3 + (dx2 + v7xy + v8y2)3 = 0

 

with the solution (using the simplifying substitution a = p+s, b = p-s, c = q-r, d = q+r),

 

v1, v3 (free variables)

 

            v5 (6pqr) = (p3+q3+3q2r+3p2s)v1 + (p3+q3+3q2r-3p2s)v3

 

            v7 (6pqr) = –(p3+q3-3q2r+3p2s)v1 – (p3+q3-3q2r-3p2s)v3

 

and for even subscripts, first define the variables f1 and f2 as,

 

            f1 = –(4p3+q3)(pv1-sv1-pv3-sv3)2/(12p2qr2)

 

            f2 = –(p3+4q3)(pv1-sv1-pv3-sv3)2/(12pq2r2)

 

where we can express all the vi in terms of these two as,

 

            v12-4av2 = f1,            v32-4bv4 = f1,            v52-4cv6 = f2,            v72-4dv8 = f2

 

and one can easily solve for the vi with even subscripts as they are only linear (and since the vi with odd subscripts are already given).  The new variables (p,q,r,s) can be expressed in terms of the originals as,

 

            p = (a+b)/2,            s = (a-b)/2,     q = (c+d)/2 r = (-c+d)/2

 

            The expressions fi in fact are the discriminants of the quadratic forms qi.  Note that if these are made square-free then they do not depend on v1 and v3 at all and in terms of the original variables, these are simply,

 

            f1 = -(4(a+b)3+(c+d)3)/(3(c+d)),            f2 = -((a+b)3+4(c+d)3)/(3(a+b))

 

 (The explicit forms of the fi were reverse-engineered from the derived expressions of the vi.  As the explicit forms of the vi with even subscripts were unwieldy, it was more aesthetic to express them in terms of the fi.)

 

If we substitute the formulas for the vi into eq.4, what we get is the factorization,

 

            q13 + q23 + q33 + q43 = (a3 + b3 + c3 + d3) P(x,y)

 

or equivalently, q13 + q23 + q33 + q43 = (p3 + q3 + 3qr2 + 3ps2) P(x,y) depending on whether the original or substitute variables were used, though it would need a robust computer algebra system to do this symbolically.  (It takes about 55 seconds on a Pentium 4.)  P(x,y) is a complicated polynomial, not a perfect cube power, whose role is negligible if,

 

 a3 + b3 + c3 + d3 = p3 + q3 + 3qr2 + 3ps2 = 0

 

since then the right hand side of eq.4 vanishes anyway.  Later, we shall see that there may be a still more general identity where the right hand side need not vanish.

 

Example:

 

Let a = 3, b = 5, c = 4, d = -6, so we need to solve the equation,

 

(3x2 + v1xy + v2y2)3 + (5x2 + v3xy + v4y2)3 + (4x2 + v5xy + v6y2)3 + (-6x2 + v7xy + v8y2)3 = 0

 

From the substitution, we find that p = 4, s = -1, q = -1, r = -5.  If we let v1 = 80m and v3 = 80n, (to clear denominators) using the formulas we find all six unknown vi as,

 

            v5 = 64n,     v7 = 4(-5m-21n)

and,

 

            v2 = 5(-35m2+170mn-51n2),               v4 = -425m2+510mn+167n2,

            v6 = 4(125m2-150mn+109n2),                        v8 = 2(-175m2+130mn-207n2)

 

This is the “mother identity” that contains both Ramanujan’s and Reznick’s versions.  By letting, n = -m, and after scaling down variables, we find this reduces to Ramanujan’s,

 

            (3x2+5xy-5y2)3 + (5x2-5xy-3y2)3 + (4x2-4xy+6y2)3 = (6x2-4xy+4y2)3

 

But if we let m = 11/80 and n = 1/16, we have Reznick’s,

 

            (3x2-11xy+3y2)3 + (5x2-5xy-3y2)3 + (4x2-4xy+6y2)3  = (6x2-8xy+6y2)3

 

so a judicious choice of small rational {m,n} can result in integer coefficients.  If we set {a,b,c,d} = {3,4,5,-6} and {3,-6,4,5}, we can have two other “mother identities” with different discriminants.  By making v3 = –v1, these will reduce, after scaling, to examples 1 and 3 given in the previous section.

 

 

IV. Derivation: The Easy Way

 

The alternative way to solve this is a much easier form which takes advantage of certain symmetries and the opposite parity of middle terms.  Instead of eight vi, we use only the three variables, v1, v2, w.  Let,

 

(ax2 + v1xy + bwy2)3 + (bx2 - v1xy + awy2)3 + (cx2 + v2xy + dwy2)3 + (dx2 - v2xy + cwy2)>3 = 0

 

p0 = (a3 + b3 + c3 + d3) x6

            p1 = (a2v1 - b2v1 + c2v2 - d2v2) x5y

            p2 = (a2bw + ab2w + c2dw + cd2w + av12 + bv12 + cv22 + dv22) x4y2

            p2 = w(a2bw + ab2w + c2dw + cd2w + av12 + bv12 + cv22 + dv22) x2y4

            p1 = w2(a2v1 - b2v1 + c2v2 - d2v2) xy5

            p0 = w3(a3 + b3 + c3 + d3) y6

 

As one can see, the expressions are symmetric and if as before a3 + b3 + c3 + d3 = 0, then we really only have the two equations p1 and p2.  Solving for the vi and after simplification, we end up with,

 

            v12 = w(c-d)2(c+d)/(a+b)

 

The function of the third variable w is then apparent as it enables us to make v1 a rational square.  By setting w = (a+b)(c+d), then v1= +/-(c2-d2).  Using the negative case v1= -(c2-d2), we find that v2 = (a2-b2), and so we get our identity (Id.1) given earlier,

 

(ax2 + v1xy + bwy2)3 + (bx2 -v1xy + awy2)3 + (cx2 + v2xy + dwy2)3 + (dx2 -v2xy + cwy2)3

 

= (a3 + b3 + c3 + d3)(x2 + wy2)3

 

            It seems odd Ramanujan didn’t find this identity, considering his facility with algebraic manipulation, and that he was doing research in this area, as well as that it was relatively easy (in hindsight) to find.  Since he usually submitted questions to JIMS the answers of which he already knew, it may be the case that he knew of this identity, or a version of it, and had it written somewhere.  However, this is only a special case of the more general Id.2.  (More accurately, a special case of another version of Id.2, where the vi with even subscripts were in their derived form and more complicated than the ones given here.  In that version, the polynomial P(x,y) when v3 = -v1 factors as a perfect cube and the identity, after scaling, reduces to Id.1.) 

 

 

V. Cubic r-Tuples: a13 + a23 + …+ ar3 = 0

 

            We now have the two identities Id.1 and Id.2, and we pointed out that while the former can be applied to cubic r-tuples, the latter is limited to quadruples.  However, the former in turn is limited to forms with middle terms of opposite parity.  We may want to know if we can find a general identity applicable to r-tuples r > 4 that does not take advantage of parity.  In other words, we are looking for an even more general version of eq.4.  To recall, eq.4 was,

 

            q13 + q23 + q33 + q43 = 0

 

where the qi are quadratic forms.  But now we are after,

 

            q13 + q23 + q33 + q43 =  (a3 + b3 + c3 + d3) P(x, y)3             (eq.6)

 

If we limit ourselves to quadruples, P(x,y) does not matter as the right hand side vanishes.  However, as we mentioned earlier, if we do not wish for this side to vanish, if a3 + b3 + c3 + d3 = k where k is one or more cubes (whether positive or negative), then we need to define P(x,y).  In other words, we need to solve the general equation,

 

            (ax2 + v1xy + v2y2)3 + (bx2 + v3xy + v4y2)3 + (cx2 + v5xy + v6y2)3 + (dx2 + v7xy + v8y2)3 = (a3 + b3 + c3 + d3)(x2 + v9xy + v10y2)3                        (eq.7)

 

            If we expand this and collect powers similar to what we did earlier, then we now have ten unknowns but only six equations.  However, if we use the same assumptions earlier, that two of the vi are independent variables and pairs of qi share the same discriminants (on the left hand side) hence giving two more equations, then we really have a system of eight equations in eight unknowns, call it S2, and should be resolvable to a single equation.  Does the resolvent of S2 generically have a non-trivial linear factor?  Heuristic evidence indicates it may be the case.  It is hoped an interested reader can tackle this question as there may be more elegant methods to solve systems of equations.

 

            For certain (a,b,c,d) not a cubic quadruple, we did manage to solve eq.7.  These involve identities of form,

 

            (t-p)3 + (t+p)3 + (t-q)3 + (t+q)3 = k

 

or equivalently, 2t(3p2 + 3q2 + 2t2) = k, which one can observe satisfies a+b = c+d.  A numerical example was one given earlier, the nice equation 113 + 143 + 123 + 133 = 203. 

 

The author though had to use further conditions based on numerical experimentation, namely that all four qi on the left hand side had the same discriminant and that the property of the (a,b,c,d) carries over to the qi,

 

            q1+q2 = q3+q4

 

and this gave more useful linear relations within the system.  Then with a similar approach used earlier, we find our third identity,

 

Identity 3 (Id.3)

 

If a+b = c+d, (satisfied by a = t-p, b = t+p, c = t-q, d = t+q) then,

 

(ax2 + v1xy + v2y2)3 + (bx2 + v3xy + v4y2)3 + (cx2 + v5xy + v6y2)3 + (dx2 + v7xy + v8y2)3 = (a3 + b3 + c3 + d3)(x2 + v9xy + v10y2)3

 

where,  v1, v3 (free variables)

 

            v5 (2qt) = -(p2+q2+pt-qt)v1 -(p2+q2-pt-qt)v3

 

v7 (2qt) = (p2+q2+pt+qt)v1 +(p2+q2-pt+qt)v3

 

            v9 = (v1 + v3)/(2t)

 

and for the others, first define the discriminants gi as,

 

            g1 = (p2+q2-t2)(pv1+tv1+pv3-tv3)2/(4q2t2)            (LHS)

 

            g2 = -(pv1+tv1+pv3-tv3)2/(4q2t2)                   (RHS)

 

then,

 

            v12-4av2 = g1,            v32-4bv4 = g1,            v52-4cv6 = g1,            v72-4dv8 = g1,            v92-4v10 = g2,

 

where the vi with even subscript can easily be solved for.  Finally,

 

            p = (-a+b)/2,  q = (-c+d)/2,  t = (a+b)/2 = (c+d)/2

 

Note that the formulas are very suggestive of the ones found earlier, though cannot be derived by simply setting p = q = t in the earlier formulas.

 

Example:

 

Let a = 11, b = 14, c = 12, d = 13,

 

            (11x2 + v1xy + v2y2)3 + (14x2 + v3xy + v4y2)3 + (12x2 + v5xy + v6y2)3 + (13x2 + v7xy + v8y2)3 = 203(x2 + v9xy + v10y2)3

 

so p = 3/2, q = 1/2, t = 25/2.  Let v1 = 50m and v3 = 50n (to clear denominators) and we find the other vi as,

 

            v5 = -30(2m-3n),  v7 = 10(11m-4n),  v9 = 2(m+n)

 

and,

 

            v2 = 5(2203m2-3444mn+1353n2)        v4 = 10(861m2-1353mn+536n2)

            v6 = 10(1012m2-1601mn+637n2)           v8 = 5(1901m2-2948mn+1151n2)

            v10 = 5(157m2-246mn+97n2)

 

            Finally, our fourth identity, by letting v3 = -v1 of Id.3 and after scaling, we get the simpler,

 

Identity 4 (Id. 4)

 

If a+b = c+d, then,

 

            (ax2 - v1xy + by2)33 + (bx2 + v1xy + ay2)3 + (cx2 + v2xy + dy2)3 + (dx2 - v2xy + cy2)3 = (a3 + b3 + c3 + d3)(x2 + y2)3

 

where v1 = -(c-d), v2 = -(a-b), though this again has middle terms with opposite parity. 

 

There are many other particular equations with the same property as the example, a few of which are,

 

93 + 233 + 133 + 193 = 283

            133 + 233 + 153 + 213 = 303

 

Equations whose terms are in arithmetic progression also belong to this class.  One interesting example mentioned by Dave Rusin in a related context (connected to a certain elliptic curve) is given by,

 

            313 + 333 + 353 + 373 + 393 + 413 = 663

 

which gives a plethora of possible relations such as 31+37=33+35, 31+41=33+39, etc.

 

 

VI. Conclusion: Beyond Cubics

 

            Before we conclude our paper, there are some points that can be discussed.  First, given the quadratic form identity qi3 + q23 + q43 + q43 = 0, is it always the case that the discriminant is the same for at least a pair of qi or can they all be different?  It seems discriminants play a certain role in polynomial solutions of equal sums of like powers and it might be fruitful to take a second look at known parametrizations in terms of this point.  Second, can the system of equations we called S1 have more than three distinct linear solutions?  Note that for (3,4,5,-6) there are actually four linear solutions, though with one repetition.  Third, does the equation q13 + q23 + q33 + q43 =  (a3 + b3 + c3 + d3) q53 (eq.7) as S2 always have a linear solution?  So many questions and to think these came about because of Ramanujan’s parametrization involving 33 + 43 + 53 = 63.  It seems there is more to this equation (and others of its kind) than meets the eye.

 

And as if these questions were not enough, there is still more room for investigation.  The interesting thing is that Ramanujan had another magic trick up his sleeve in the form of a quadratic form identity for a different power, this time for fourth powers given by,

 

            (2x2-12xy-6y2)4 + (2x2+12xy-6y2)4 + (3x2+9y2)4 + (4x2-12y2)4 + (4x2+12y2)4 = (5x2+15y2)4

 

with the first instance the very nice 24 + 24 + 34 + 44 + 44 = 54.

 

It seems our cubic identity has a big brother, a general quartic identity and fortunately we have found its explicit form.  But that is another story.

 

 

--End--

 

© 2005

Titus Piezas III

Sept 1, 2005

http://www.oocities.org/titus_piezas/ramanujan.html ® Click here for an index

tpiezasIII@uap.edu.ph ® (Remove “III” for email)

 

Notes:

 

  1. In addition to the “saying” E = mc2, Einstein was noted for his many aphorisms, one of which was his sentiment regarding quantum mechanics, namely that “God does not play dice with the universe.”.  The significance of the saying cited at the start of this paper can be appreciated considering that in 1952, after the death of Israel’s first president Chaim Weizmann, the Israeli Cabinet offered the presidency to Einstein, which he politely refused.  Perhaps the quotation would partly explain that refusal.

 

  1. The anecdote regarding 1729 is well-known.  Ramanujan was hospitalized in Putney and Hardy came in for a visit.  In Hardy’s words, “…I had ridden in taxi-cab no. 1729, and remarked that the number seemed to me rather a dull one, and that I hoped it was not an ill omen.  ‘No,’ he replied, ‘it is a very interesting number; it is the smallest number expressible as a sum of two cubes in two different ways.’”.  And thus this story immortalized this particular integer.

 

 

References:

 

  1. Berndt and Bhargava, “Ramanujan – For Lowbrows”, Amer. Math. Monthly, Vol 100, 644-656, 1993.
  2. Berndt, Choi, and Kang, “The Problem’s Submitted by Ramanujan to the Journal of the Indian Mathematical Society”.
  3. Chamberland, Marc, “Families of Solutions of a Cubic Diophantine Equation”, Fibonacci Quarterly, Vol 38, June-July 2000.
  4. Elkies, Noam, “Complete Cubic Parametrization of the Fermat Cubic Surface w3 + x3 + y3 + z3 = 0”, www.math.harvard.edu/~elkies/4cubes.html
  5. Hooley, C, “On the numbers that are representable as the sum of two cubes”, J. Reine Angew. Math, 314 (1980), 146-173.
  6. Reznick, Bruce, “Analytic Number Theory Seminar Notes”, 2000, http://www.math.uiuc.edu/~reznick/92100notes.pdf
  7. Rusin, Dave, “Sum of Consecutive Cubes Equals A Cube”, http://www.math.niu.edu/~rusin/known-math/97/cube.sum
  8. Weisstein, Eric et al, http://mathworld.wolfram.com/DiophantineEquation3rdPowers.html
  9. Womack, Tom, “Equal Sums of Powers” (dissertation), www.tom.womack.net/maths/dissert.pdf
  10. et al