|
COMMENTS
|
The sequence has infinitely many terms. In fact, for any integer t > 0, we have (6*t^2)^3 + (6*t^3-1)^3 = (6*t^3+1)^3 - 2 and hence pi((6*t^2)^3+(6*t^3-1)^3) = pi((6*t^3+1)^3) since neither (6*t^3+1)^3 nor (6*t^3+1)^3-1 is prime.
Concerning the equation pi(x^3+y^3) = pi(z^3) with 0 < x <= y < z, there are exactly 70 solutions with z <= 2700. They are (x,y,z) = (5,6,7),(6,8,9),(7,10,11),(9,10,12),(15,33,34),(23,44,46),(24,47,49),(43,58,65),(41,86,89),(47,91,95),(64,94,103),(95,106,127),(71,138,144),(73,144,150),(54,161,163),(135,138,172),(128,188,206),(55,235,236),(135,235,249),(197,212,258),(159,256,275),(142,276,288),(146,288,300),(192,282,309),(161,297,312),(96,383,385),(252,345,385),(390,391,492),(334,438,495),(372,426,505),(426,486,577),(297,619,641),(353,650,683),(242,720,729),(244,729,738),(150,749,751),(602,659,796),(161,833,835),(470,825,873),(566,823,904),(668,876,990),(514,947,995),(744,852,1010),(791,812,1010),(509,1120,1154),(852,972,1154),(236,1207,1210),(216,1295,1297),(459,1293,1312),(915,1259,1403),(484,1440,1458),(488,1458,1476),(300,1498,1502),(368,1537,1544),(511,1609,1626),(420,1652,1661),(1278,1458,1731),(1132,1646,1808),(1033,1738,1852),(1241,1808,1985),(1010,1897,1988),(1582,1624,2020),(294,2057,2059),(237,2106,2107),(732,2187,2214),(575,2292,2304),(577,2304,2316),(1518,2141,2370),(1611,2189,2448),(432,2590,2594).
Recall Fermat's Last Theorem, which asserts that the Diophantine equation x^n + y^n = z^n with n > 2 and x,y,z > 0 has no solution. In 1936 K. Mahler discovered that
(9*t^3+1)^3 + (9*t^4)^3 - (9*t^4+3*t)^3 = 1.
Conjecture: (i) For any integers n > 3 and x,y,z > 0 with {x,y} not equal to {1,z}, we have |x^n+y^n-z^n| >= 2^n-2, unless n = 5, {x,y} = {13,16} and z = 17.
(ii) For any integer n > 3 and x,y,z > 0 with {x,y} not containing z, there is a prime p with x^n+y^n < p < z^n or z^n < p < x^n+y^n, unless n = 5, {x,y} = {13,16} and z = 17.
(iii) For any integers n > 3, x > y >= 0 and z > 0 with x not equal to z, there always exists a prime p with x^n-y^n < p < z^n or z^n < p < x^n-y^n.
We have verified part (i) of the conjecture for n = 4..10 and 0 < x,y,z <= 1700.
|