IV. Waring-like Problems1. SummaryThe following identities are good for
Waring-like problems since they involve rational, instead of integral, terms. Known results are, "Any non-zero rational N, in an infinite number of non-trivial ways, is the sum/difference:
1) of 2 rational 2nd powers (easy)
2) of 3 rational 3rd powers (Ryley)
3) of 4 rational 4th powers (Norrie)
4) of 6 rational 5th powers (Choudhry)
5) of 8 rational 6th powers (Piezas)
6) of 8 rational 7th powers (Choudhry)
7) of 12 rational 8th powers (Choudhry)."
It would be nice if it would be proven in a general way that, "...any rational N is non-trivially the sum/difference of k rational kth powers", but these are the best results so far. If you know of others, pls submit them. (An update on sums of increasing kth powers is given at the end of this section.)2. Form: a^{2}+b^{2}+c^{2}+d^{2} = NBy
Langrange's Four-Square Theorem, any positive integer N is the sum of four integral squares. If we extend this to rational numbers, then,Theorem: "Any positive rational N is the sum of four
rational squares in an infinite number of ways."Proof: x
_{1}^{2}+x_{2}^{2}+x_{3}^{2}+x_{4}^{2} = (y_{1}^{2}+y_{2}^{2}+y_{3}^{2}+y_{4}^{2})(z_{1}^{2}+z_{2}^{2}+z_{3}^{2}+z_{4}^{2})^{2}
where {x
with initial solution _{1}^{2}+y_{2}^{2}+y_{3}^{2}+y_{4}^{2} = N and four arbitrary^{ }z. _{i}^{ }Since there is always y for any positive rational N, then by dividing the eqn with the square factor of the RHS, one can find an infinite number of _{i}x. This is just a particular case of a general identity involving _{i}n sums of squares discussed more here.
Ryley's Theorem: “Any non-zero rational number N is the sum of three rational cubes in an infinite number of non-trivial ways.” (S. Ryley, 1825)Proof: (p^{3}+qr)^{3} + (-p^{3}+pr)^{3} + (-qr)^{3} = N (6Nvp^{2})^{3}, where {p,q,r}= {N^{2}+3v^{3}, N^{2}-3v^{3}, 36N^{2}v^{3}}, for arbitrary v.Corollary: "Any positive rational N is the sum of three positive rational cubes in an infinite number of ways."Since
v is an arbitrary variable, one can choose it such that all the terms are positive. For small integral N, the ranges roughly are:N = 1: v = {1.32 - 1.42}
N = 2: v = {1.20 - 1.40}
N = 3: v = {2.8 - 3.0}
N = 4: v = {3.4 - 3.7}
and so on.
Q: Does anyone know how to calculate v and express it in terms of N such that all terms are positive?(Update, 11/11/09): Laurent Bartholdi from
sci.math.research gave the answer. Setting x = N^{2} and y = v^{3} for ease of notation, one gets the constraints,
x-3y < 0 x x
which define 6 lines in the {x,y} plane delimiting two regions. These regions are,
a) 1 < b) 1+Sec[4π/9] <
where the exact values in terms of the
a) 0.333N b) 2.253N
For ex, for N = 163, then 20.7 < v < 27.3, and 39.2 < v < 44.4, and one can choose an infinite number of rational
(Update, 4/19/10): It is easily seen that Ryley's Identity is a 6th-deg polynomial in the constant N. A
(m
for arbitrary
(27m
(
Proof: ((1+18N-27N
where the RHS is then divided by its cubic factor.
4. Form: x^{4}+y^{4}-(z^{4}+t^{4}) = N
((2a+b)c
where b = c
^{8}-d^{8}, for arbitrary {c,d}.5. Form: x_{1}^{5}+x_{2}^{5}+x_{3}^{5}+x_{4}^{5}+x_{5}^{5}+x_{6}^{5} = N(Update, 11/17/09):
Choudhry's Fifth Powers Theorem: “Any rational number N is the sum of six rational fifth powers in an infinite number of non-trivial ways.” Proof:(x+a)
where,
{a,b,c,d,e,f,m} = {-v
Since the RHS is only Note: Method 1 below was when I didn't had access yet to Choudhry's paper, "Representation of every rational number as an algebraic sum of fifth powers of rational numbers", so I came up with my own. As this update is after the one for Seventh Powers, this incorporates some insights from that section. Method 2 is Choudhry's (yielding the identity above) after he gave me a copy of his paper.Method 1. Proof (Piezas): Expand the system,F(x): = (x+a)
^{5}+(x+b)^{5}+(mx+mc)^{5}-(x+d)^{5}-(x+e)^{5}-(mx+mf)^{5} and collecting powers of x, this resolves to,
F(x): = 5P
_{1}x^{4} + 10P_{2}x^{3} + 10P_{3}x^{2} + 5P_{4}x + P_{5} where P
_{k} = a^{k}+b^{k}+m^{5}c^{k}-(d^{k}+e^{k}+m^{5}f^{k}), for k = {1,2,3,4,5}. The objective is to eliminate all terms of F(x) other than the linear term x, or to find {a,b,c,d,e,f,m} such that,a
^{k}+b^{k}+m^{5}c^{k} = d^{k}+e^{k}+m^{5}f^{k}, for k = 1,2,3,5 (eq.1)which is just an
Equal Sums of Like Powers problem. Once found, since x is arbitrary, let x = 5^{4}P_{4}^{4} N. Thus,F(x): = 5 ^{5}P_{4}^{5} N Dividing by the numerical factor, any rational
N then is the sum of six rational fifth powers as claimed. The problem, of course, is if there are non-trivial values such that eq.1 can be solved. It turns out this system can be reduced to an elliptic curve, hence N in fact is the sum of six rational fifth powers in an infinite number of ways. To see this, let,{a,b,c,d,e,f,m
^{5}} = {p+q, r+s, 1+t, -p+q, -r+s, -1+t, n}where the symmetry of terms simplifies the system considerably. Then let {q, t, r} = {(-rs-nt)/p, (rs-h)/r, -(n+p)} with,
s = (-5n
^{2}-4np+16p^{2}+5n^{4}+16n^{3}p-4n^{2}p^{2}-60np^{3}-60p^{4}) / (60hn+120hp) and the multi-grade system (eq.1) is solved if {n,p} satisfies the curve,
p(n+p)(n
^{2}+3np+3p^{2}-1) = 3h^{2}where
n must be the 5th power of a rational. One value I found is n = 2^{5} = 32 with an initial rational point p = 50/9, from which others can then be calculated. This gives an initial set of 9-digit solns to the eqn,a ^{k}+b^{k}+32c^{k} = d^{k}+e^{k}+32f^{k}, for k = 1,2,3,5 as {a,b,c,d,e,f} = {-225,478,523; -172,632,729; 112,165,576; -291,996,273; -277,027,261; 100,192,381}
thus providing an algebraic identity proving Choudhry's Fifth Powers Theorem. (
End proof.) The approach can be extended to higher odd powers, with a corresponding increase of the complexity of the system to be solved, but Choudhry found an elegant soln for Seventh Powers discussed in the next section. Note: It is not really necessary to eliminate the constant term P_{5} of F(x) or, equivalently, to solve eq.1 for k = 5. However, since it can be done, then might as well do it anyway.(Update, 12/21/09):
Method 2: Choudhry sent me a copy of his paper and it turns out he used a similar approach. After some modification, the method is essentially equivalent to using the form,F(x): = (x+a)
Collecting powers of x, this is,
F(x): = 5P
where P
a
Choudhry found a remarkable identity to do this, given by,
{a,b,c,d,e,f,m} = {-v
which reduces F(x) to the simple form,
F(x): = -40v
Given a constant Q: Can it be reduced to any N as And if the theorem can be reduced for five rational 5th powers in an infinite number of ways?any N, this would imply that x_{1}^{5}+x_{2}^{5}+x_{3}^{5}+x_{4}^{5}+x_{5}^{5} = 0 has an infinite number of non-trivial rational solns, since only 3 are known so far.6a. Form: x _{1}^{6}+x_{2}^{6}+x_{3}^{6}-(y_{1}^{6}+y_{2}^{6}+y_{3}^{6}) = N(Update, 11/30/09): To prove that any N is the sum and difference of six 6th powers, analogous to Norrie's Theorem for 4th powers, one way is to use a similar method as in 5th powers. Expanding,
F(x): = (x+a) and collecting powers of x, this resolves to,
F(x): = 6P
_{1}x^{5} + 15P_{2}x^{4} + 20P_{3}x^{3} + 15P_{4}x^{2} + 6P_{5}x + P_{6} where P _{k} = a^{k}+m^{6}b^{k}+n^{6}c^{k}-(d^{k}+m^{6}e^{k}+n^{6}f^{k}), for k = {1,2,3,4,5,6}. The objective is to eliminate all terms of F(x) other than the linear and constant term, or to find {a,b,c,d,e,f,m,n} such that,
a
^{k}+m^{6}b^{k}+n^{6}c^{k} = d^{k}+m^{6}e^{k}+n^{6}f^{k}, for k = 1,2,3,4 (Sys.1)Thus, what will be left is,
F(x): = 6P
_{5}x + P_{6} = Nwhere x is then easily solved for any N. However, this author has not been able to find non-trivial {a,b,c,d,e,f} and {m,n}, if any, that solves Sys.1, though it can be shown if one of {m,n} = 1, then the system is trivial.
Note: To simplify Sys.1, one can again do the substitution,{a,b,c,d,e,f} = {p+q, r+s, t+u, p-q, r-s, t-u},
though it still yields no non-trivial factor of small degree. However, another approach might prove (or disprove) the conjecture that any N is the sum and difference of six 6th powers. (
End update.)
(Update: 12/11/09):
Proof: Using a similar approach as Choudhry's for 7th powers, expand,
F(x): = (x+a)
^{6}+(mx+mb)^{6}+(x-c)^{6}+(mx-md)^{6}-(x-a)^{6}-(mx-mb)^{6}-(x+c)^{6}-(mx+md)^{6}and collecting powers of x, this resolves to,
F(x): = 12P
_{1}x^{5} + 40P_{3}x^{3} + 12P_{5}x where P
_{k} = a^{k}+m^{6}b^{k}-c^{k}-m^{6}d^{k}, for k = {1,3,5}. To get rid of the x^{5} and x^{3} terms, find {a,b,c,d,m} such that, ^{6}b = c+m^{6}d (eq.1) a
^{3}+m^{6}b^{3} = c^{3}+m^{6}d^{3} (eq.2)Eq.2 can be completely solved using the modified Binet formula given by,{a,b} = {1-m
^{6}n(p-3q), m^{6}n^{2}-(p+3q)}{c,d} = {1-m
^{6}n(p+3q), m^{6}n^{2}-(p-3q)}where
n = p^{2}+3q^{2} for arbitrary m,p,q. To solve eq.1 as well, m = 1 must be avoided as the system becomes trivial but {p,q} must be chosen such that p^{2}+3q^{2} = 1. This is given by,{p,q} = {(u
^{2}-3v^{2} )/(u^{2}+3v^{2}), 2uv/(u^{2}+3v^{2})}for arbitrary
u,v, and m, and avoiding m = 1. After the x^{5} and x^{3} terms are eliminated, since x is arbitrary, let x = (12P_{5})^{5} N. Thus, F(x): = (12P
_{5})^{6} N Dividing by the numerical factor,
N then is the sum/difference of eight rational 6th powers in an infinite number of ways as claimed. (End proof)
7. Form: x _{1}^{7}+x_{2}^{7}+x_{3}^{7}+x_{4}^{7}+ ... +x_{8}^{7} = N(Update, 11/10/09):
Choudhry's Seventh Powers Theorem: “Any non-zero rational number N is the sum of eight rational 7th powers in an infinite number of non-trivial ways.” Proof: Expand the equation,
F(x): = (x+a)
^{7}+(x-a)^{7}+(mx+b)^{7}+(mx-b)^{7}-(x+c)^{7}-(x-c)^{7}-(mx+d)^{7}-(mx-d)^{7}and collecting powers of
x, this resolves to,F(x): = 42(a
^{2}+m^{5}b^{2}-c^{2}-m^{5}d^{2})x^{5} + 70(a^{4}+m^{3}b^{4}-c^{4}-m^{3}d^{4})x^{3} + 14(a^{6}+mb^{6}-c^{6}-md^{6})x To get rid of the x
^{5} and x^{3} terms, find {a,b,c,d,m} such that, a
^{2}+m^{5}b^{2} = c^{2}+m^{5}d^{2}a
^{4}+m^{3}b^{4} = c^{4}+m^{3}d^{4}and only the linear term is left. Since x is arbitrary, let x = 14
^{6}(a^{6}+mb^{6}-c^{6}-md^{6})^{6} N. Thus, F(x): = 14
^{7}(a^{6}+mb^{6}-c^{6}-md^{6})^{7} N Dividing by the numerical factor, N then is the sum of eight rational seventh powers as claimed. (
End proof) Choudhry chose m = 2 and found {a,b,c,d} with 33-digits! I'm assuming there might be smaller solns, so I posted the problem in sci.math.symbolic to see if someone can find one, for any m > 1.
a a
can be reduced to solving an elliptic curve. Euler’s complete soln to eq.1 (see Form 10 of
(pr+mqs)
If we apply these values for {a,b,c,d} on eq.2 as well, it reduces to the eqn,
(mp
which have rational solns if (mp
(h
For h = 2, Choudhry found the 16-and-17-digit soln {p,q} = {5911167604843137, 12317476831120126} which gives his 33-digit {a,b,c,d}. It might be interesting to know if eq.3 has
small solns for some other rational h > 1.Note 2: Update (11/16/09) D. Rusin gave a very thorough analysis here and, as a first step, simplified it to a problem of Equal Sums of Like Powers. By letting {b,d} = {Bm, Dm}, one is to solve,a
^{k}+m^{7}B^{k} = c^{k}+m^{7}D^{k}, for k = 2,4 (eq.4)Then, by a series of clever transformations, he reduced this system to the rather simple elliptic curve,
V
^{2} = U(U+1)(U+q^{2})where q = (1-m
^{7}) / (1+m^{7}) and using Maple's APECS and Magma, eventually gave an explicit soln {U,V}, apparently the smallest, and the same as what Choudhry found. From this initial point, an infinite more can be calculated proving that any rational N is the sum of eight rational 7th powers in an infinite number of ways. For other m such that eq.4 has non-trivial solns, because of its symmetry, it suffices to look within the interval m = {0 to 1}. In addition to m = 2 (or equivalently m = 1/2), Rusin found possible candidates m = {3/4, 1/5, 2/5, 3/5, 4/5, 1/6, 2/7} though solns, if any, must be large. (End update.)Note 3: When N = 0, the theorem gives a trivial result, hence does not prove there are an infinite number of non-trivial solns to eight 7th powers equal to zero, though many have been found already.Q: Can this be reduced to
seven rational seventh powers?(Update, 1/30/10): Choudhry
8. Form: x– _{1}^{8}+x_{2}^{8}+...+x_{6}^{8} (y
_{1}^{8}+y_{2}^{8}+...+y_{6}^{8}) = N Choudhry's Eighth Powers Theorem: “Any non-zero rational number N is the sum and difference of twelve rational 8th powers in an infinite number of non-trivial ways."
Proof: Choudhry’s method is equivalent to solving the equation,
U
U U
for variables {a,b,c,d} and {p
{p {a,b,c,d} = {t
such that,
M = 2
for arbitrary {t,x,y}. Note how the exponents match up as 1+7 = 3+5 = 8, 12+12 = 4+20 = 24, as well as 4+132 = 20+116 = 52+84 = 136. (
M = (2ty)
Dividing by the factor, then any non-zero N is the sum and difference of twelve rational 8th powers in an infinite number of ways as claimed. (Using another approach, it may be possible to reduce this to ten or even
x
Note: My thanks to Choudhy for providing a copy of his paper "On Sums of Eighth Powers", Journal of Number Theory, Vol 39, Sept 1991. (End update.)9. Form: x_{1}^{11}+x_{2}^{11}+x_{3}^{11}+x_{4}^{11}+ ... +x_{12}^{11} = NUsing Choudhry's and Rusin's approach for 7th powers, if there is a non-trivial soln {x
_{i}, y_{i}} to the system S,_{11}ax
_{1}^{k}+bx_{2}^{k}+cx_{3}^{k} = ay_{1}^{k}+by_{2}^{k}+cy_{3}^{k}, for k = 2,4,6,8for some rational {a,b,c} = {p
^{11}, q^{11}, r^{11}}, then any rational N is the sum of 12 rational 11th powers. Multi-grade systems valid for k = {2,4,6,8} or even k = {2,4,6,8,10} are known (see the section on Tenth Powers) so it might be possible, with certain assumptions, that S can be reduced to an elliptic curve as well. As a numerical experiment, one may test this by using small {p,q,r} < 11, like Choudhry's m = 2, excluding the case p = q = r, and testing values {x_{11}_{i}, y_{i}} below some reasonable bound. In general, the conjecture would be that any rational N is the sum of at most 4m rational (4m-1)th powers (with Ryley's Theorem reducing the cubic case to just three cubes), with the problem reducible to a system of equal sums of like powers.(Update, 4/20/10): Enrico Jabara gave a polynomial soln to x
(2
More generally, as a variant of the easier
N = ± x
N = ± x
where the
N = ± x
it is yet unknown what is the ending power
Source: |