On solving the Diophantine equation $x^ 3+y^ 3+z^ 3=k$ on a vector computer
HTML articles powered by AMS MathViewer
- by D. R. Heath-Brown, W. M. Lioen and H. J. J. te Riele PDF
- Math. Comp. 61 (1993), 235-244 Request permission
Abstract:
Recently, the first author has proposed a new algorithm for solving the Diophantine equation ${x^3} + {y^3} + {z^3} = k$, where k is a given nonzero integer. In this paper we present the detailed versions of this algorithm for some values of k given below, and we describe how we have optimized and run the algorithm on a Cyber 205 vector computer. A vectorized version of the Euclidean algorithm was written, which is capable of solving the equations ${w_i}{x_i} \equiv 1 \bmod {n_i},i = 1,2, \ldots$, at vector speed. Moreover, the basic double-precision arithmetic operations $( + , - , \times ,/)$ were vectorized. The following cases were implemented and run: $k = 3,30,2,20,39$, and 42. For $k = 3$ a range was searched which includes the cube $|x|,|y|,|z| \leq {10^8}$; this considerably extends an earlier search in the cube $|x|,|y|,|z| \leq {2^{16}}$. No solutions were found apart from the known ones (1, 1, 1) and $(4,4, - 5)$. For $k = 30$, which probably is, with $k = 3$, the case which has attracted most attention in the literature, no solution was found. It is the smallest case for which no solution is known and for which one has not been able to find a proof that no solution exists. For $k = 2$ a parametric form solution is known, but we also found one which does not belong to this parametric form, viz., $(1214928,3480205, - 3528875)$. For $k = 20$, several new large solutions were found in addition to several known ones; this case served as a (partial) check of the correctness of our program. Finally, for $k = 39$ we found the first solution: $(134476,117367, - 159380)$. Hence, this case can be dropped from the list of values of k $(k = 30,33,39,42, \ldots )$ for which no solution is known (yet).References
- J. W. S. Cassels, The rational solutions of the diophantine equation $Y^2=X^3-D$, Acta Math. 82 (1950), 243–273. MR 35782, DOI 10.1007/BF02398279
- V. L. Gardiner, R. B. Lazarus, and P. R. Stein, Solutions of the diophantine equation $x^{3}+y^{3}=z^{3}-d$, Math. Comp. 18 (1964), 408–413. MR 175843, DOI 10.1090/S0025-5718-1964-0175843-9
- D. R. Heath-Brown, Searching for solutions of $x^3+y^3+z^3=k$, Séminaire de Théorie des Nombres, Paris, 1989–90, Progr. Math., vol. 102, Birkhäuser Boston, Boston, MA, 1992, pp. 71–76. MR 1476729, DOI 10.1007/978-1-4757-4269-5_{6}
- Donald E. Knuth, The art of computer programming. Vol. 2, 2nd ed., Addison-Wesley Series in Computer Science and Information Processing, Addison-Wesley Publishing Co., Reading, Mass., 1981. Seminumerical algorithms. MR 633878
- D. H. Lehmer, On the Diophantine equation $x^3+y^3+z^3=1$, J. London Math. Soc. 31 (1956), 275–280. MR 78397, DOI 10.1112/jlms/s1-31.3.275
- J. C. P. Miller and M. F. C. Woollett, Solutions of the Diophantine equation $x^3+y^3+z^3=k$, J. London Math. Soc. 30 (1955), 101–110. MR 67916, DOI 10.1112/jlms/s1-30.1.101
- L. J. Mordell, On an infinity of integer solutions of $ax^3+ay^3+bz^3=bc^3$, J. London Math. Soc. 30 (1955), 111–113. MR 67917, DOI 10.1112/jlms/s1-30.1.111
- Manny Scarowsky and Abraham Boyarsky, A note on the Diophantine equation $x^{n}+y^{n}+z^{n}=3$, Math. Comp. 42 (1984), no. 165, 235–237. MR 726000, DOI 10.1090/S0025-5718-1984-0726000-9 J. J. F. M. Schlichting, Double precision BLAS, Algorithms and Applications on Vector and Parallel Computers (H. J. J. te Riele, Th. J. Dekker, and H. A. van der Vorst, eds.), North-Holland, Amsterdam, 1987, pp. 229-249.
Additional Information
- © Copyright 1993 American Mathematical Society
- Journal: Math. Comp. 61 (1993), 235-244
- MSC: Primary 11Y50; Secondary 11D25
- DOI: https://doi.org/10.1090/S0025-5718-1993-1202610-5
- MathSciNet review: 1202610