As far as I can remember (may have read long ago), the Russian mathematician B. Delaunay has proven that x=3, y=5 is the only solution of the Diophantine equation
y虏 = x鲁 - 2 in natural numbers.
A question about rational solutions of this interesting equation was asked recently:
http://answers.yahoo.com/question/index;...
Using the common tangent-chord method:
http://en.wikipedia.org/wiki/Elliptic_cu...
http://en.wikipedia.org/wiki/Mordell-Wei...
I found x = 1290/1000 = 1.29, y = 383/1000 = 0.383
Next rational points I found on this elliptic curve have enormously huge denominators, so I'm extremely curious whether a solution with a denominator less than 1000 exists (x and y to be expressed as positive fractions, at least one of them irreducible, with common denominator d, 1<d<1000).
Any analytical or computer-aided approach to do eventually the work is acceptable. Scythian, thanks for the efforts, would You please give details about Your program - I tried one recently, using arithmetical libraries for operations on super long integers (requiring much more than 64 bits memory storage), but didn't find other solutions either, and abandoned. No idea how promising this approach could be. I just ran a computer program to find solutions other than x=3,y=5 and x=1290/1000, y=383/1000, for denominators 鈮?60鲁 and did not find any. I looked for integer solutions to y虏 - x鲁 + 2n^6 = 0, where n鲁 would be the denominator, as in
(y/n鲁)虏 = (xn/n鲁)鲁 - 2
Addendum: It was a simple, brute force program, with 3 nested "For" loops, beginning a For loop for n from 1 to 100, followed by another For for y from 1 to 1000 and For for x from 1 to 1000. It took the better part of an hour, and this was just a preliminary trial to get a feel for it. I can run a more exhaustive trial overnight. Oh yeah, it was included in the coding to disregard the 2 known solutions.
By the way, number theory is one of my weak subjects. I am not well versed in Diophantine theory.
Addendum 2: Using a slightly modifed computer search method, there exists no other solutions for any x' < 10,000, where x = x'n, and n is the denominator. I can push it up to x' < 100,000, but it would probably take all night. I doubt if I'll find anything, given the extreme scarcity of solutions.
Addendum 3: After fidding around with this problem, I have found another rational solution which is as follows:
(66234835 / 5000211)虏 = (164323 / 29241)鲁 - 2
Addendum 4: I made use of an extremely interesting property of elliptic curves which is that if any line intersects it in 3 places, and 2 of them are rational, the 3rd is rational also. Remember that this elliptic curve has both positive and negative values (because of y虏), so I picked the points (129/100, -383/1000), (3,5) instead of (129/100, 383/1000), (3,5), because the latter's first point is actually a tangent, so that there is no 3rd point. It's straightfoward to find the equation for the straight line, and then make it equal to 鈭?x鲁 -2), ending up with a cubic equation with massive rational coefficients. But the wonderful thing is, you already know two of the factors---the other two solutions! (x - 3) and (x - 129/100). Voila, you're left with (x - 164323 / 29241), and the rest follows. So, I learned something new today about elliptic curves, even as I knew they're supposed to have a lot of interesting properties.
Addendum 5: The property described above would be true for any polynomial curve that would preserve the degree of the polynomial to be solved to find such points of intersection. And in this case, I can keep drawing more such lines and get Delauney-like solutions, as for yet another example:
(15230044576037327107200537568897 / 11623520729117946174953656293000)虏 = (794845361623184880769 / 513127310073606144900)鲁 - 2 Interesting. Before i look at the links some observations:
Set y=p/q lowest terms, x=r/s lowest terms, then
p^2s^3 = r^3q^2 - 2q^2s^3 gives s^3 | q^2, q^2 | s^3
and s^3 = q^2 = t^6, giving a diophantine equation
(*)............. p^2 = r^3 - 2t^6. For which you have found
p=383, r=129, t= 10. The values for the denominators
are generally q=t^3 and s=t^2 ; t=1 gives p=5,r=3.
At this point i don't know about 1<t<10. Visit later
ty for the problem. Since i have no computer programs, i
will have to see what i can get formally from (*):
r^3 = p^2+2t^6 = (p+t^3 * 2^.5*i)(p-t^3*2^.5*i)
= (a + b*2^.5*i)^3*(a - b*2^.5*i)^3.
Equating real and imaginary coefficients we get,
p = a^3 - 6ab^2
r = a^2 + 2b^2
t^3 = 3a^2b - 2b^3 = b(3a^2 - 2b^2)
for some integers a and b (necessarily coprime since
(p,r) =1 ) forcing b =c^3 and (3a^2 - 2b^2) = d^3
again for integers c and d. Recall that t^3 is also
the larger of the denominators in the original equation
with the rational numbers p/q and r/s, the smaller being
t^2.
This analysis may or may not be completable by these
elementary methods but the formulas for p,r,t^3 may
help to characterize the computer search. If more formal
stuff occurs to me i'll post it later. Just a note:
We can recast your solution:
x=1290/1000 and y =383/1000 in the form,
{(3(128) - 1)/ 10^3 }^2 = {(128 + 1)/ 10^2 }^3 - 2
for t = 10. |
