En el documento Caracterización de la suma de dos cubos Kevin Broughan da el teorema pertinente,
Teorema: Dejemos que $N$ sea un número entero positivo. Entonces la ecuación $N = x^3 + y^3$ tiene una solución en números enteros positivos $x,y$ si y sólo si se cumplen las siguientes condiciones:
-
Existe un divisor $m|N$ con $N^{1/3}\leq m \leq (4N)^{1/3}.$
-
Y $\sqrt{m^2-4\frac{m^2-N/m}{3}}$ es un número entero.
La secuencia de enteros $F(n)$ ,
$$\begin{aligned} F(n) &= a^3+b^3 = (2 n + 6 n^2 + 6 n^3 + n^4)^3 + (n + 3 n^2 + 3 n^3 + 2 n^4)^3\\ &= c^3+d^3 = (1 + 4 n + 6 n^2 + 5 n^3 + 2 n^4)^3 + (-1 - 4 n - 6 n^2 - 2 n^3 + n^4)^3 \end{aligned}$$
para los enteros $n>3$ aparentemente es expresable como una suma de dos positivo cubos enteros en exactamente y sólo de dos maneras.
$$\begin{aligned} F(4) &= 744^3+756^3 = 945^3+15^3\\ F(5) &= 1535^3+1705^3 = 2046^3+204^3\\ &\;\vdots\\ F(60) &=14277720^3+26578860^3 = 27021841^3+12506159^3 \end{aligned}$$
Usando el teorema de Broughan, he probado $F(n)$ de $n=4-60$ y, por $n$ sólo tiene dos soluciones $m$ , lo que implica que en ese rango es una suma de dos cubos de sólo dos maneras. ¿Puede alguien con un ordenador más rápido y mejor código probarlo para un rango superior y ver cuándo (si es que lo hace) se rompe la afirmación propuesta? Por cierto, tenemos las bonitas relaciones,
$$a+b = 3n(n+1)^3$$
$$c+d = 3n^3(n+1)$$
Nota : $F(60)$ ya es mucho más allá del alcance de taxi $T_3$ que es el menor número que es la suma de dos cubos enteros positivos en tres formas.
$$T_3 \approx 444.01^3 = 167^3+436^3 = 228^3+423^3 = 255^3+414^3$$
(Utilizando el teorema, se obtienen 3 valores para $m$ .)
1 votos
Una búsqueda informática debería encontrar rápidamente más ejemplos. Como se requiere que las raíces sean positivas, si encuentras que 192837465 (o lo que sea) es la suma de cubos de dos formas, sólo necesitas examinar las sumas de cubos de números hasta $\sqrt[3]{192837465}$ para verificar que ningún otro par suma 192837465. Esto es fácil.
2 votos
El ordenador encuentra al instante más ejemplos $4104 = 2^3+16^3 = 9^3+15^3, 13832 = 8\cdot 1729, 20683 = 10^3+27^3 = 19^3+24^3$ , 32832, 39312, 40033, .
1 votos
PARA SU INFORMACIÓN : OEIS A001235
0 votos
@mathlove gracias, aunque esa es una lista de números que tiene al menos dos representaciones como suma de dos cubos. Veo que algunos de los ejemplos de MJD también están en esa lista.
0 votos
@MJD gracias, he incluido algunas de tus conclusiones en mi post.
5 votos
He aquí los mil primeros ejemplos .
0 votos
@HowDoIMath: Ver Leonhard Euler , Disquitiones Artithmeticae Vol. I, Cap. $272$ , Pag. $556-576$ .
0 votos
Sólo para añadir que también hay soluciones en las que $a^3 - b^3$ puede ser la suma de dos cubos de dos maneras diferentes, para $a, b \in \mathbb{Z}^+$ . $$46^3 - 37^3 = 46683 = 27^3 + 30^3 = 3^3 + 36^3$$ $$87^3 - 79^3 = 165464 = 38^3 + 48^3 = 20^3 + 54^3$$ $$202^3 - 171^3 = 3242197 = 85^3 + 138^3 = 76^3 + 141^3$$ Pensé que merecía la pena mencionarlo :)
0 votos
Y $229^3 - 192^3 = 4931101 = 102^3 + 157^3 = 76^3 + 165^3$ y otro $256^3 - 255^3 = 195841 = 22^3 + 57^3 = 9^3 + 58^3$
0 votos
Y $419^3 - 362^3 = 26122131 = 235^3 + 236^3 = 107^3 + 292^3$ y también $391^3 - 382^3 = 4033503 = 87^3 + 150^3 = 24^3 + 159^3$ y sólo una más, $453^3 - 397^3 = 30388904 = 234^3 + 260^3 = 26^3 + 312^3$
0 votos
Ah, y $517^3 - 436^3 = 55306557 = 285^3 + 318^3 = 6^3 + 381^3$ . Hay infinitas