10.1. Constraint: a+b = nc, d+e = nf
The complete soln for the case n = 1 is given by,
a^{k} + b^{k} + (a+b)^{k} = c^{k} + d^{k} + (c+d)^{k}, k = 2,4
where a^{2}+ab+b^{2} = c^{2}+cd+d^{2}. By modifying it slightly to the form,
a^{k} + b^{k} + (ab)^{k} = c^{k} + d^{k} + (cd)^{k}
makes it valid for k = 1 as well. One soln is, define {m,n} = {p3q, p+3q}, then for k = 1,2,4,
(2pmr)^{k} + (2prn)^{k} + (mnr)^{k} = (2pnr)^{k} + (2prm)^{k} + (nmr)^{k}
for arbitrary {p,q,r}.
(Update, 1/25/10): Wroblewski
Given,
(a^{2})^{k} + (b^{2})^{k} + (a^{2}+b^{2})^{k} = (c^{2})^{k} + (d^{2})^{k} + (c^{2}+d^{2})^{k}, for k = 2,4 (eq.1)
or equivalently,
a^{4}+a^{2}b^{2}+b^{4} = c^{4}+c^{2}d^{2}+d^{4}
then we get the [k.8.8] identity,
[ap+cq, ap+cq, bp+dq, bp+dq, dp+aq, dpaq, cp+bq, cpbq]^{k} = [ap+dq, ap+dq, bp+cq, bp+cq, cp+aq, cpaq, dp+bq, dpbq]^{k}, for k = 1,2,4,8
(Notice how {c,d} of the LHS is replaced by {d,c} in the RHS.) for arbitrary {p,q} and some constants {a,b,c,d}, hence giving an identity in terms of linear forms. An example is {a,b,c,d} = {1, 26, 17, 22}, though Choudhry has given a 7th deg identity for,
a^{4}+ma^{2}b^{2}+b^{4} = c^{4}+mc^{2}d^{2}+d^{4} for arbitrary m. See Form 3 here. To find a [8.7.7], since {p,q} are arbitrary, one can equate appropriate x_{p} = y_{q} so a pair of terms cancel out. Note: Eq. 1, or more generally its unsquared version, is at the core of the Ramanujan 6108 Identity. (End update.)
(Update, 2/3/10): Choudhry
Gave a soln to a^{k}+b^{k}+c^{k} = d^{k}+e^{k}+f^{k}, k = 1,2,4, for integer {a,b,c,d,e,f} with the interesting property that one term is equal to 1.
(p+v)^{k} + (q+v)^{k} + (p+q2v)^{k} = (pq+2uv)^{k} + (p+q2uv1)^{k} + 1^{k}
where {p,q} = {2u^{2}v+uv, 4uv+3v+1}.
Source: On Representing 1 as the sum or difference of kth powers of integers, The Mathematics Student, Vol. 70, 2001.
Note: Since this also has a+b+c = d+e+f = 0, its terms obey the beautful RamanujanHirschhorn Theorem given below. (End update.)
Ramanujan
(a+b+c)^{k} + (b+c+d)^{k} + (ad)^{k} = (c+d+a)^{k} + (d+a+b)^{k} + (bc)^{k}
if ad = bc, for k = 2,4.
This form appears in the beautiful 6108 and 375 Identities,
Ramanujan
64[(a+b+c)^{6}+(b+c+d)^{6}+(ad)^{6}(c+d+a)^{6}(d+a+b)^{6}(bc)^{6}][(a+b+c)^{10}+(b+c+d)^{10}+(ad)^{10}(c+d+a)^{10}(d+a+b)^{10}(bc)^{10}] = 45[(a+b+c)^{8}+(b+c+d)^{8}+(ad)^{8}(c+d+a)^{8}(d+a+b)^{8}(bc)^{8}]^{2}
M. Hirschhorn
25[(a+b+c)^{3}(b+c+d)^{3}(ad)^{3}+(c+d+a)^{3}(d+a+b)^{3}+(bc)^{3}][(a+b+c)^{7}(b+c+d)^{7}(ad)^{7}+ (c+d+a)^{7}(d+a+b)^{7}+(bc)^{7}] = 21[(a+b+c)^{5}(b+c+d)^{5}(ad)^{5}+(c+d+a)^{5}(d+a+b)^{5}+(bc)^{5}]^{2}
where for both, ad = bc, with the discovery of the latter inspired by the former. These can be generalized as,
RamanujanHirshhorn
Theorem 1a: If a^{k}+b^{k}+c^{k} = d^{k}+e^{k}+f^{k}, k = 2,4 (eq.1) where a+b+c = d+e+f = 0, then,
64(a^{6}+b^{6}+c^{6}d^{6}e^{6}f^{6})(a^{10}+b^{10}+c^{10}d^{10}e^{10}f^{10}) = 45(a^{8}+b^{8}+c^{8}d^{8}e^{8}f^{8})^{2} (eq.2)
25(a^{3}+b^{3}+c^{3}d^{3}e^{3}f^{3})(a^{7}+b^{7}+c^{7}d^{7}e^{7}f^{7}) = 21(a^{5}+b^{5}+c^{5}d^{5}e^{5}f^{5})^{2} (eq.3)
Proof: By doing the substitution {a,b,c,d,e,f} = {p, q, pq, r, s, rs}, all three equations have the common factor p^{2}+pq+q^{2}(r^{2}+rs+s^{2}) = 0 so the problem is reduced to finding expressions {p,q,r,s} that satisfy this. (End proof) It has a complete soln. Let {p,q,r,s} = {u+v, u+v, x+y, x+y}, and the condition becomes,
u^{2}+3v^{2} = x^{2}+3y^{2}
with the complete soln to u^{2}+nv^{2} = x^{2}+ny^{2} as, (ac+nbd)^{2} + n(bcad)^{2} = (acnbd)^{2} + n(bc+ad)^{2}. There are also interesting relations using odd powers k = 1,3,
Piezas
Theorem 1b: If a^{k}+b^{k}+c^{k} = d^{k}+e^{k}+f^{k} for k = 1,3 (eq.1) where a+b+c = d+e+f = 0, then,
9abc(a^{6}+b^{6}+c^{6}d^{6}e^{6}f^{6}) = 2(a^{9}+b^{9}+c^{9}d^{9}e^{9}f^{9}) (eq.2) Proof: Doing the same substitution {a,b,c,d,e,f} = {p, q, pq, r, s, rs}, the two equations have the common factor pq(p+q)rs(r+s) = 0. (End proof) This is also discussed in Form 13 of Third Powers. Another uses k = 1,3,5, Piezas
Theorem 2: If a^{k}+b^{k}+c^{k}+d^{k} = e^{k}+f^{k}+g^{k}+h^{k}, k = 1,3,5 where a+b+c+d = e+f+g+h = 0, then,
7(a^{4}+b^{4}+c^{4}+d^{4}e^{4}f^{4}g^{4}h^{4})(a^{9}+b^{9}+c^{9}+d^{9}e^{9}f^{9}g^{9}h^{9}) = 12(a^{6}+b^{6}+c^{6}+d^{6}e^{6}f^{6}g^{6}h^{6})(a^{7}+b^{7}+c^{7}+d^{7}e^{7}f^{7}g^{7}h^{7})
which again has a complete soln. For higher powers,
Theorem 3: If a^{k}+b^{k}+c^{k}+d^{k} = e^{k}+f^{k}+g^{k}+h^{k}, k = 2,4,6, define n as, a^{4}+b^{4}+c^{4}+d^{4} = n(a^{2}+b^{2}+c^{2}+d^{2})^{2 }then,
25(a^{8}+b^{8}+c^{8}+d^{8}e^{8}f^{8}g^{8}h^{8})(a^{12}+b^{12}+c^{12}+d^{12}e^{12}f^{12}g^{12}h^{12}) = 12(n+1)(a^{10}+b^{10}+c^{10}+d^{10}e^{10}f^{10}g^{10}h^{10})^{2}
Theorem 4: If a^{k}+b^{k}+c^{k}+d^{k}+e^{k} = f^{k}+g^{k}+h^{k}+i^{k}+j^{k}, k = 2,4,6,8 define n as a^{4}+b^{4}+c^{4}+d^{4}+e^{4} = n(a^{2}+b^{2}+c^{2}+d^{2}+e^{2})^{2 }then,
72(a^{10}+b^{10}+c^{10}+d^{10}+e^{10}f^{10}g^{10}h^{10}i^{10}j^{10})(a^{14}+b^{14}+c^{14}+d^{14}+e^{14}f^{14}g^{14}h^{14}i^{14}j^{14}) = 35(n+1)(a^{12}+b^{12}+c^{12}+d^{12}+e^{12}f^{12}g^{12}h^{12}i^{12}j^{12})^{2}
and so on based on higher systems k = 2,4,…2m. Also, buried in the musty pages of an old journal, there is a similarly beautiful identity, Sinha's 246 Identity,
Sinha
5[a^{2}+b^{2}+c^{2}]*[(a+b+c)^{4} + (a+bc)^{4} + (ab+c)^{4} + (a+b+c)^{4}  (2a)^{4}  (2b)^{4}  (2c)^{4}] = [(a+b+c)^{6} + (a+bc)^{6} + (ab+c)^{6} + (a+b+c)^{6}  (2a)^{6}  (2b)^{6}  (2c)^{6}]
which this author realized could be extended (and no further) as,
5[a^{2}+b^{2}+c^{2}+d^{2}]* [(a+b+cd)^{4} + (a+bc+d)^{4} + (ab+c+d)^{4} + (a+b+c+d)^{4}  (2a)^{4}  (2b)^{4}  (2c)^{4}  (2d)^{4}] = [(a+b+cd)^{6} + (a+bc+d)^{6} + (ab+c+d)^{6} + (a+b+c+d)^{6}  (2a)^{6}  (2b)^{6}  (2c)^{6}  (2d)^{6}]
One can see that Sinha’s is just the case d=0. How this was derived will be discussed in the section on Eighth Powers.
V. Tariste
(23x57y)^{k} + (40x+6y)^{k} + (17x+63y)^{k} = (23x+57y)^{k} + (40x6y)^{k} + (17x63y)^{k}
The identity is in fact valid for k =2,4. There is nothing really special about these particular values as these can be generalized as,
Piezas
Let {u_{1}, u_{2}, u_{3}, c} = {a+2b, 2a+b, ab, a+b}, then for k = 2,4,
(ax+u_{1}y)^{k} + (bxu_{2}y)^{k} + (cxu_{3}y)^{k} = (axu_{1}y)^{k} + (bx+u_{2}y)^{k} + (cx+u_{3}y)^{k}
(ax+u_{2}y)^{k} + (bxu_{3}y)^{k} + (cx+u_{1}y)^{k} = (ax+u_{3}y)^{k} + (bx+u_{1}y)^{k} + (cx+u_{2}y)^{k}
And as sums of one side,
(ax+u_{1}y)^{k} + (bxu_{2}y)^{k} + (cxu_{3}y)^{k} = (a^{k}+b^{k}+c^{k})(x^{2}+3y^{2})^{k/2}
(ax+u_{2}y)^{k} + (bxu_{3}y)^{k} + (cx+u_{1}y)^{k} = (a^{k}+b^{k}+c^{k})(x^{2}+3xy+3y^{2})^{k/2}
Furthermore,
(ax^{2}+2u_{1}xy3ay^{2})^{k} + (bx^{2}2u_{2}xy3by^{2})^{k} + (cx^{2}2u_{3}xy3cy^{2})^{k} = (a^{k}+b^{k}+c^{k})(x^{2}+3y^{2})^{k}
where the last is a template identity that can generate quadratic parametrizations using an initial soln, as long as it satisfies the condition a+b = c. For example, the smallest soln, 2^{4}+2^{4}+4^{4}+3^{4}+4^{4 }= 5^{4}, was used by Ramanujan. Another, found by this author, is 50^{4}+50^{4}+100^{4}+4^{4}+15^{4} = 103^{4} which yields,
(50x^{2}+300xy150y^{2})^{4} + (50x^{2}300xy150y^{2})^{4} + (100x^{2}300y^{2})^{4} + (4x^{2}+12y^{2})^{4} + (15x^{2}+45y^{2})^{4} = 103^{4}(x^{2}+3y^{2})^{4} and so on for others involving a+b = c. Note that the expressions {a+2b, 2a+b, ab, a+b} are intimately connected to the form x^{2}+3y^{2} since,
(a+2b)^{2} + 3a^{2} = (2a+b)^{2} + 3b^{2} = (ab)^{2} + 3(a+b)^{2} = 4(a^{2}+ab+b^{2})
However, for general n, given the system,
a+b = nc; d+e = nf
a^{2}+b^{2}+c^{2} = d^{2}+e^{2}+f^{2} a^{4}+b^{4}+c^{4} = d^{4}+e^{4}+f^{4}
and the substitution {a,b,c,d,e,f} = {p+q,r+s, t+u, tu, rs, pq}, where set t = 1 without loss of generality, solve for {p,s,u} and substitute these into the last eqn. This will have a quadratic factor in r with discriminant D,
D:= (1+n^{2})^{2}q^{4 }+ 8n(2+n^{2})q^{3 } 2(176n^{2}+n^{4})q^{2 } 8n(2+n^{2})q + (1+n^{2})^{2}
which must be made a square. Since this quartic polynomial has a square leading and constant term, this is easily done. Two small solns are,
q_{1} = 2/n, q_{2} = (n1)/(n+1)_{ }
Though these lead to a trivial soln, they can be used to compute other rational points on the curve. A nontrivial point found using Fermat’s method is,
q_{3} = (n^{6}+2n^{4}+n^{2}4)/(4n(n^{2}+1)^{2})
10.2. Constraint: a+b ≠ c; d+e ≠ f
Birck, Sinha
Theorem 1: If a^{k}+b^{k}+c^{k} = d^{k}+e^{k}+f^{k}, k = 2,4
where a+b ≠ ±c; d+e ≠ ±f, then,
(a+b+c)^{k} + (a+b+c)^{k} + (ab+c)^{k} + (a+bc)^{k} + (2e)^{k} + (2f)^{k} + (2g)^{k} = (d+e+f)^{k} + (d+e+f)^{k} + (de+f)^{k} + (d+ef)^{k} + (2a)^{k} + (2b)^{k} + (2c)^{k}
for k = 1,2,4,6,8.
This author found an extension of this to tenth powers and will be discussed later. The proof for this particular theorem of Birck will be discussed on the section on Eighth Powers. From this, Sinha derived a version applicable to odd exponents,
T. Sinha
Theorem 2: If a^{k}+b^{k}+c^{k} = d^{k}+e^{k}+f^{k}, k = 2,4 (or Q_{1})
where a+bc = 2(d+ef) and a+b ≠ c, d+e ≠ f, then,
(2a3h)^{k} + (2ah)^{k} + (2b3h)^{k} + (2bh)^{k} + (2f+h)^{k} = (2c+h)^{k} + (2c+3h)^{k} + (2dh)^{k} + (2eh)^{k} + (3h)^{k}
for k = 1,3,5,7, where 2h = d+ef.
To solve Q_{1} and the side conditions, Sinha gave a system of linear relations (modified by this author to be consistent with the others), call it S,
a+bc = 2(d+ef) (a+b)(de) = 0; 13a+13b+11c+4f = 0
These can then define three of the variables. For example, solving for {a,c,f}, and substituting into Q_{1} for either k = 2 or 4, this forces the remaining three variables, say they are {x,y,z}, into a quadratic eqn of form,
a_{1}x^{2} + a_{2}y^{2 }+ a_{3}z^{2 }+ a_{4}xy + a_{5}xz + a_{6}yz = 0
One can solve this by using an identity of Desboves’ (found in the section on Second Powers) that needs an initial soln {x,y,z}. Another approach, producing more aesthetic results, is that since this is a quadratic in any of the variables, say z, for rational solns its discriminant must be made a square,
b_{1}x^{2}+b_{2}xy+b_{3}y^{2} = t^{2}
where the b_{i} are in terms of the a_{i}. Thus, if one can find a system of useful linear relations between the {a,b,c,d,e,f}, the problem will be reduced to solving this eqn. As this author found out, there are at least two systems S,
These then yield polynomial solns to Sinha's problem as,
1. (5x+2y+z)^{k} + (5x+2yz)^{k} + (6x4y)^{k} = (9xy)^{k} + (x+3y)^{k} + (16x2y)^{k}
where 126x^{2}5y^{2} = z^{2}, D = 9(70). (Sinha’s)
2. (6x+3y)^{k} + (4x+9y)^{k} + (2x12y)^{k} = (x+3y+3z)^{k} + (x+3y3z)^{k} + (6x6y)^{k}
where x^{2}+10y^{2} = z^{2}, D = 10.
where D is the discriminant of the conditional eqn and some manipulation was done to attain these simple forms. Since all have a square leading coefficient, these can be transformed to the form u^{2}+dv^{2} = w^{2} which has a complete soln.
Note 1: Any other linear relations or S that is not merely a permutation of variables and change of signs? For ex, the first pair (a+b)±(de) = 0 is equivalent to either of the ff: (a+b)±(d+f), (ac)±(de), (ac)±(d+f), while the second pair (ab) ± (d+e) = 0 is the same as (ab)±(df), (a+c)±(d+e), (a+c)±(df). I do not know if the above four solns are the only ones in terms of binary quadratic forms.
Note 2: Sinha’s theorem can be expressed more concisely as given,
(a+3c)^{k} + (b+3c)^{k} + (a+b2c)^{k} = (c+d)^{k} + (c+e)^{k} + (2c+d+e)^{k},
for k = 2,4, then,
a^{k} + b^{k} + (a+2c)^{k} + (b+2c)^{k} + (c+d+e)^{k} = (a+bc)^{k} + (a+b+c)^{k} + d^{k} + e^{k} + (3c)^{k}
for k = 1,3,5,7, (excluding the trivial case c = 0).
Piezas
There can be more solns to Q_{1} with a+bc = 2(d+ef) though now an elliptic curve has to be solved. The linear relation used is either case of (a+b) = ±(d+e). The general form is,
(y+t)^{k} + (y+t)^{k} + p^{k} = (z±t)^{k} + (z±t)^{k} + q^{k},
where t is chosen so the eqn satisfies a+bc = 2(d+ef). For the positive case,
(y+t)^{k} + (y+t)^{k} + (482t)^{k} = (12x+t)^{k} + (12x+t)^{k} + (24)^{k}, where t = 13x^{2}, and y^{2} = 2x^{4}+100x^{2}+46
This elliptic curve has trivial solns x = {1,3,5,7} but from these we can find nontrivial ones such as 4307x = 2367, and so on. For the negative case,
(y+t)^{k} + (y+t)^{k} + (2u+6v)^{k} = (zt)^{k} + (zt)^{k} + (2u)^{k}, where t = u+v,
and u,v must satisfy the simultaneous eqns u^{2}+6v^{2} = y^{2} and u^{2}+12uv+24v^{2} = z^{2}. Solving the first as {u,v} = {p^{2}6, 2p}, the second becomes,
p^{4}+24p^{3}+84p^{2}144p^{4}+36 = z^{2}
with integral solns p = {6,4,2,0,1,3,5} from which rational ones can be derived though this has to be checked for triviality.
Ramanujan
3^{4} + (2v^{4}1)^{4} + (4v^{5}+v)^{4} = (4v^{4}+1)^{4} + (6v^{4}3)^{4} + (4v^{5}5v)^{4}
This has the nice form of involving a constant term and can be generalized as,
Piezas
For any constant n,
(2n)^{k} + (n+p)^{k} + (np)^{k} = (2r)^{k} + (q+r)^{k} + (qr)^{k}, k = 2,4
{p,q,r} = {mx^{2}+nx+3m, mx^{2}+nx3m, 2mx+n},
and three free variables {m,n,x}. Example, let n = 1, x = 2, so,
2^{k} + (7m+3)^{k} + (7m+1)^{k} = (3m1)^{k} + (5m+3)^{k} + (8m+2)^{k}, k = 2,4
though for any {m,n,x} this family belongs to the case a+b = c, d+e = f so can’t be used for Sinha’s problem.
R. Norrie
(a^{4}2)^{4}b^{4} + a^{4}(b^{4}+2)^{4} + (2a^{3}b)^{4} = (a^{4}+2)^{4}b^{4} + a^{4}(b^{4}2)^{4} + (2ab^{3})^{4}
10.3. Constraint: a+b±c = n(d+e±f)
Piezas
It turns out the system,
a+b±c = n(d+e±f) (eq.1) a^{2}+b^{2}+c^{2} = d^{2}+e^{2}+f^{2} (eq.2) a^{4}+b^{4}+c^{4} = d^{4}+e^{4}+f^{4} (eq.3)
also has a soln for any n of which Sinha’s problem was just the special case n = 2. The general problem is equivalent to finding rational points on a certain elliptic curve (though this curve may be degenerate for some n). To show this, first express the variables in the form,
{a,b,c,d,e,f} = {p+q, r+s, t+u, tu, rs, pq}
reducing the degrees of eq.2 and 3, a trick which will be also useful when dealing with sixth powers. As the explicit expressions are a bit messy, only the steps will be given:
Example: Using Sinha’s problem n = 2, and the negative case a+bc = 2(d+ef), doing the substitutions, we get,
3pqr+3q3t+u = 0 (eq.1) pq+rs+tu = 0 (eq.2) p^{3}q+pq^{3}+r^{3}s+rs^{3}+t^{3}u+tu^{3} = 0 (eq.3)
Solve for {p,u} and substitute into eq.3. One factor will be a quadratic in r. The squarefree discriminant D of this is of form,
D: = c_{1}s^{4}+c_{2}s^{3}+c_{3}s^{3}+c_{4}s+c_{5}^{2} = y^{2}
with a square constant term and where the c_{i} are polynomials in {q,t}. Four small solns are: s = {q, qt, q+t, (qt)/7}.
These may then be used to generate subsequent ones. For general n, using s = q+t with t = 1, a quadratic form soln can be found for the + case of eq.1 as,
{a,b,c} = {1+2nq+r, n(1+2q), 1+nr} {d,e,f} = {n+q+nq+r, 1n+qnqr, 1+2q}
where r = q+(n+1)q^{2}, for arbitrary {n,q}. This also satisfies {ab+c, d+ef} = {0,0} though one can also find parametric ones such that this is not the case.
10.4. Constraint: na+b+c = d+e+nf
Piezas
Just like the previous, this has a soln for any n. The inspiration for this form is the smallest polynomial soln to the sixth power multigrade a^{k}+b^{k}+c^{k} = d^{k}+e^{k}+f^{k}, k = 2,6 which, among others, surprisingly obeys the side condition 3a+b+c = d+e+3f. (Other n for sixth powers obeying na+b+c = d+e+nf are now known.) For the quartic version, for general n again this can be reduced to finding rational points on an elliptic curve. Let,
na+b+c = d+e+nf (eq.1) a^{2}+b^{2}+c^{2} = d^{2}+e^{2}+f^{2} (eq.2) a^{4}+b^{4}+c^{4} = d^{4}+e^{4}+f^{4} (eq.3)
and likewise {a,b,c,d,e,f} = {p+q, r+s, t+u, tu, rs, pq},
Example: Using s = p+t with t = 1 yields,
{a,b,c} = {2n3p+np, nn^{2}+3p+np, n(1+n2p)} {d,e,f} = {n(1+n2p), n+n^{2}+3pnp, 2n+3p+np}
for arbitrary {n,p}, with this particular soln also satisfying {a+bc, de+f} = {0,0}.
10.5. Constraint: na+b = e+nf
Piezas
For n = 1, this can be seen as the case n = 0 of a+b+nc = nd+e+f of the system above, and can be completely solved as polynomials thus providing a fourparameter soln to a^{k}+b^{k}+c^{k} = d^{k}+e^{k}+f^{k}, for k = 2,4. Interestingly, this ultimately involves solving the simple equation x^{2}+my^{2} = z^{2}. Furthermore, any soln implies a^{k}+b^{k}+c^{k}+d^{k} = e^{k}+f^{k}+g^{k}+h^{k} for k = 1,2,3,5.
Theorem: If (p+u)^{k} + (pu)^{k} + (2q)^{k} = (p+v)^{k} + (pv)^{k} + (2r)^{k}, for k = 2,4, then,
(p+2q)^{k} + (p2q)^{k} + (p+2r)^{k} + (p2r)^{k} = (2p+u)^{k} + (2pu)^{k} + (2p+v)^{k} + (2pv)^{k}, for k = 1,2,3,5
The complete soln is given by the simultaneous eqns,
3p^{2}+q^{2}+3r^{2} = u^{2} 3p^{2}+3q^{2}+r^{2} = v^{2}
Proof: Just solve for {u,v} in terms of {p,q,r}. This is simpler than it looks since the complete parametrization to both is in linear forms. Alternatively, one can just directly solve the form,
a^{k}+b^{k}+c^{k} = d^{k}+e^{k}+f^{k} for k = 2,4 (or Q_{1})
with a+b = d+e, eliminate e,f using resultants, giving the final eqn,
2a^{2}+5ab+2b^{2}2c^{2}3ad3bd+3d^{2} = 0
Solving this for a, its discriminant must be made a square and after suitable transformations, turns out to involve the eqn,
x_{1}^{2}+nx_{2}^{2} = x_{3}^{2}+nx_{4}^{2}
which has a complete soln. Sparing the reader some algebra, the final eqn, with e = a+bd, is solved as,
{a,b,c,d,e} = {3pr4qr+2ps+qs, 5qrps, 3pr+qs, 3qr+ps, 3pr2qr+qs}
It remains to find f. Substituting these values into Q_{1}, one ends up with a quadratic function to be made a square. To simplify matters, let,
{f, r,s} = {(4p+2q)z, (2p+q)^{2}y, 2x+(6p+q)(p+2q)y}
and this final condition becomes,
x^{2}6q(3p+q)(p^{2}q^{2})y^{2} = z^{2}
This is an eqn of form x^{2}+ny^{2} = z^{2} which can be completely solved as {x,y,z} = {u^{2}nv^{2}, 2uv, u^{2}+nv^{2}} so we now have a fourparameter soln in the variables {p,q,u,v}. For a specific example, let {p,q} = {0,1} and we get the nice identity,
(5y)^{k} + (x2y)^{k} + (x+2y)^{k} = x^{k} + (3y)^{k} + z^{k},
if x^{2}+24y^{2} = z^{2}. (And so on for all p,q.) An alternative formulation can be given as,
Theorem: If (pq+r)^{k} + (p+qr)^{k} + x^{k} = (p+q+r)^{k} + (pqr)^{k} + y^{k}, for k = 2,4, then,
(2p+q+r)^{k} + (2pqr)^{k} + (2pq+r)^{k} + (2p+qr)^{k} = (p+x)^{k} + (px)^{k} + (p+y)^{k} + (py)^{k}, k = 1,2,3,5
Note that the k = 2,4 system still has x_{1}+x_{2} = y_{1}+y_{2}. The complete soln is given by,
{r,p} = {(x^{2}y^{2})/(8q), s/(24q)}, where s^{2} = 192q^{4} +96(x^{2}+y^{2})q^{2}3(x^{2}y^{2})^{2}
so the problem is to find {q,x,y} which makes the quartic a square. However, we already know that this variant of Q_{1} has a polynomial soln so after a little reverse algebra, we find,
{q,s,x,y} = {vw/2, 6vw(2t+vw), uw+v, uwv}, with w = (3tv+z)/(2u^{2}2v^{2}), if 4(u^{2}v^{2})^{2} + 3(4u^{2}v^{2})t^{2} = z^{2}
Just like before, the last condition is of the form x^{2}+dy^{2} = z^{2} and is easily solved completely as,
t = 4mn(u^{2}v^{2})/(m^{2}3(4u^{2}v^{2})n^{2})
for free variables {m,n,u,v}. Given the constraint na+b = e+nf on Q_{1}, we have discussed the case n = 1. For general n,
na+b = e+nf (eq.1) a^{2}+b^{2}+c^{2} = d^{2}+e^{2}+f^{2} (eq.2) a^{4}+b^{4}+c^{4} = d^{4}+e^{4}+f^{4} (eq.3) nb+c = (nd+f) (eq.4)
where again {a,b,c,d,e,f} = {p+q, r+s, t+u, tu, rs, pq} and the fourth eqn is optional. Solve for {u,s} in eq.1,2. Substituted into eq.3 this becomes the quadratic in q,
v_{1}q^{2} = v_{2}t^{2}, where v_{1} = (pnr)^{3}(pn^{3}r)t^{2}, v_{2} = (p^{3}nr^{3})(pnr)t^{2}
Thus the objective is to find v_{1}v_{2} = y^{2 }which is only a quartic in t. Four small solns are: t = {p+r, pr, (pnr)/(n+1), (pnr)/(n1)}.
Nontrivial soln can be computed from these trivial ones. If the fourth eqn is also to be used, solve for q and eq.3 becomes a quadratic in t with a discriminant D that is only a quartic in p,r. Without loss of generality, let r =1 and this is,
D:= (4+n^{2})^{2}p^{4 } 4n(4+5n^{2})p^{3 }+ 2(4+3n^{2}+4n^{4})p^{2 } 4n(5+4n^{2})p + (1+4n^{2})^{2}
Since this has a square leading and constant term, this is easily solved with three small solns: p = {n, 1/n, 1/n}.
10.6. Constraint: a+d = n(c+f)
Lastly, we have the system,
a+d = n(c+f) (eq.1) a^{2}+b^{2}+c^{2} = d^{2}+e^{2}+f^{2} (eq.2) a^{4}+b^{4}+c^{4} = d^{4}+e^{4}+f^{4} (eq.3)
Let {a,b,c,d,e,f} = {p+q, r+s, t+u, tu, rs, pq}. Solve for u,p. Substituted into eq.3, this has a quadratic factor in r. The squarefree discriminant D of this is a quartic in s. Small solns to finding rational points on the curve D = y^{2} are: s = {q+t, qt, (1+n)q+(1n)t}.
Note 1: Any other system consisting of Q_{1} and one linear relation between the terms (or two, as long as both are new) which would suffice to reduce the problem to solving a quadratic or an elliptic curve? Note 2: There is another system but it involves a quadratic relation between the terms,
J. Chernick
If pq(p^{2}q^{2}) = rs(r^{2}s^{2}), then (p^{2}+q^{2})^{k} + (r^{2}s^{2})^{k} + (2rs)^{k} = (2pq)^{k} + (r^{2}+s^{2})^{k} + (p^{2}q^{2})^{k}, for k = 2,4.
This can be rephrased as,
If a^{2}+b^{2} = f^{2}, and c^{2} = d^{2}+e^{2}, and ab = de, then a^{k}+b^{k}+c^{k} = d^{k}+e^{k}+f^{k}, for k = 2,4. A soln was given by Gloden as,
{a,b,c,d,e,f} = {p^{2}q^{2}, p^{2}+r^{2}, 2pq, p^{2}+q^{2}, p^{2}r^{2}, 2pr}, where p^{2} = q^{2}+qr+r^{2}, and can be solved by {p,q,r} = {u^{2}+uv+v^{2}, u^{2}v^{2}, 2uv+v^{2}}.
This form is useful for solving a special case of Descartes' Circle Theorem when all variables are squares,
2(w^{4}+x^{4}+y^{4}+z^{4}) = (w^{2}+x^{2}+y^{2}+z^{2})^{2}
discussed in the next page, Form 18.
