Determinar todos los pares de enteros positivos $(m, n)$ tal que$$\frac{m^3+n^3}{m^2+n^2+m+n}$$es un número entero.
Esta es una versión más simple de un problema que he hecho hace un par de años. Hay una infinidad de soluciones. Como paramétrico formas para $(m, n)$ que @Ivan Neretin ha proporcionado.
Consideremos $m>n$ debido a la simetría (no Hay ninguna solución para $m=n$). Deje $m=ad$ $n=bd$ co-primer enteros positivos $a$$b$$a>b$. Llegamos$$d^2(a+b)\big(a^2+b^2-ab\big)=k\big[d(a^2+b^2)+a+b\big]. \tag{1}$$
Después de @Geoff Robinson primer comentario, yo estaba buscando posibles valores de$$D=\gcd\big(m+n, m^2+n^2+m+n\big),$$which is$$D=\gcd\big(m+n, (m+n)^2-2mn+m+n\big)=\gcd(m+n, 2mn).$$and$$D=\gcd\big(d(a+b), 2d^2ab)=d \gcd(a+b, 2d).$$ Since $\mcd(a+b, ab)=1$.
A continuación, he utilizado la ecuación (1) y la relación entre el$d$$\gcd(a+b, 2d)$, para encontrar una relación entre el$d$$a+b$. Creo que puede ser la clave para resolver el problema.
Después de mirar los patrones de uso de un código, me di cuenta de que en realidad hay una relación entre el $d$$a+b$. Es interesante que para la mayoría de las soluciones que obtenemos $\gcd(a+b, 2d)=2d$$\frac{d}{a+b}=\frac{1}{4}$.
Respuestas
¿Demasiados anuncios?
Voy a resumir el progreso aquí para evitar los comentarios de convertirse difícil de leer. He hecho esta wiki de la comunidad, así que siéntase libre de añadir ningún progreso.
Paramétrica de soluciones que se encuentran (por Ivan Neretin): $$\begin{align}m = k(2k+1), &\quad n=k(2k-1) \\ m = k(k-1)(k^2+k-1), &\quad n=k(k-1)(k+1)\end{align}$$ Soluciones que se encuentran fuera de los patrones anteriores (cubre todas las soluciones para $n \leq m \leq 2300000$):
m n T/B d a b
30 6 28 6 5 1
1002 654 897 6 167 109
2052 864 1872 108 19 8
2145 1023 1936 33 65 31
3192 1218 2940 42 76 29
3258 1926 2912 18 181 107
3388 1188 3146 44 77 27
5768 2296 5292 56 103 41
6273 451 6242 41 153 11
6372 918 6260 54 118 17
10872 6408 9720 72 151 89
16302 4636 15428 38 429 122
18208 12512 16380 32 569 391
20193 13515 18126 159 127 85
21414 6142 20252 166 129 37
33462 5742 32668 198 169 29
34086 6118 33212 874 39 7
34476 6708 33462 156 221 43
39015 25785 34992 135 289 191
44520 11928 42336 168 265 71
44940 25620 40200 420 107 61
55870 12580 53780 370 151 34
81054 53082 72657 54 1501 983
87363 6273 86946 153 571 41
92736 37408 84992 224 414 167
105490 63910 94325 770 137 83
111120 50160 100800 240 463 209
111948 79572 101080 228 491 349
123820 44280 114800 820 151 54
150048 57312 138240 288 521 199
168280 113960 151200 280 601 407
173652 35148 168200 348 499 101
182505 45195 174570 345 529 131
193830 110370 173394 390 497 283
200784 84372 183312 1068 188 79
218880 112896 196608 2304 95 49
268362 106182 246408 306 877 347
274533 205275 249696 357 769 575
290475 39525 285912 75 3873 527
306360 63940 296240 460 666 139
360780 193620 323400 420 859 461
372372 65100 363258 2604 143 25
405790 186186 367598 4774 85 39
415443 113953 394346 511 813 223
445018 85652 432180 1862 239 46
503244 256212 452392 36 13979 7117
520740 143550 494100 990 526 145
599280 465168 548856 528 1135 881
719448 101928 707296 744 967 137
733800 389400 658125 600 1223 649
802740 237660 757200 1020 787 233
911820 211380 876096 780 1169 271
1005420 304980 946400 780 1289 391
1043610 620490 933100 1290 809 481
1070895 790305 971960 705 1519 1121
1195947 955413 1102240 747 1601 1279
1299892 560604 1183952 1364 953 411
1359402 1203312 1290828 2838 479 424
1420860 243780 1387200 1020 1393 239
1536210 99990 1530150 9090 169 11
1543302 688734 1401372 1494 1033 461
1776373 521883 1676696 379 4687 1377
1777440 219360 1754064 480 3703 457
1835856 673200 1698048 1584 1159 425
1969620 845580 1794690 1020 1931 829
2034960 283560 2001600 16680 122 17
2171580 1255620 1942080 1020 2129 1231
2222580 1816620 2059992 1020 2179 1781
2271720 326040 2232450 1320 1721 247
Condiciones necesarias (por Geoff Robinson): Cualquiera de las $m$ $n$ comparten un factor común, o ambos son impares. Si ambos son impares, entonces $m+n \equiv 0$ mod $4$.
Por otra parte, $m$ $n$ tienen la misma paridad. Prueba: El denominador $B=m^2+n^2+m+n$ es incluso. El numerador $T=m^3+n^3$ es un múltiplo de a $B$, por lo que es aún, por lo $m^3$ $n^3$ tienen la misma paridad, por lo $m$ $n$ tienen la misma paridad.
Esto significa que si $d$ es impar, $a$ $b$ son impares. I (Rosie F) observe que en la mayoría de los casos $d$ es incluso. Pero es bastante raro que cualquiera de las $a$ o $b$ es incluso.
Para la ecuación.
$$x^3+y^3=q(x^2+y^2+x+y)$$
Utilizamos las soluciones de la ecuación de Pell.
$$p^2-(3k-2t)(2t-k)s^2=1$$
A continuación, puede escribir la solución.
$$x=((3k-2t)s+p)2ts$$
$$y=\frac{t}{k-t}(p^2+2(2k-t)ps+(3k-2t)ks^2)$$
$$q=\frac{t^2}{k(k-t)}(p^2+2(3k-2t)ps+(3k-2t)^2s^2)$$
Y otra vez.
$$y=((3k-2t)s-p)2ts$$
$$q=\frac{4(3k-2t)}{k}t^2s^2$$
Todos los números pueden tener cualquier signo.
