Page 1 of 2 12 LastLast
Results 1 to 15 of 17

Math Help - Diophantine equation .

  1. #1
    Junior Member
    Joined
    Dec 2010
    From
    Tétouan/Morocco
    Posts
    44

    Diophantine equation .

    Hi everyone !
    Solve in N˛ this diophantine equation :
    y^2=x^3-5x
    Good luck !
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor Also sprach Zarathustra's Avatar
    Joined
    Dec 2009
    From
    Russia
    Posts
    1,506
    Thanks
    1
    Quote Originally Posted by Tarask View Post
    Hi everyone !
    Solve in N˛ this diophantine equation :
    y^2=x^3-5x
    Good luck !
    Try to draw this function...

    You will see that you need to check only values of x between -2 and 2.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Dec 2010
    From
    Tétouan/Morocco
    Posts
    44
    Hi !
    I actually do have a solution using graphs , equation of tangents , but it is too long and of course not beautiful at all !
    I wanted a more "algebraic" solution , and i started this way :
    if x=0 then y=0
    suppose that x and y are different from 0
    If x<0
    y^2=x^3-5x since y˛ is positif and x is negatif x˛-5 must be negatif and we get
    if x=-2 we get y˛=2 which is impossible , and if x=-1 we get y=2 or y=-2
    so (-1,2) and (-1,-2) are solutions.
    We now have to treat the case of x>0 , and here is where i got stuck !
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Banned
    Joined
    Oct 2009
    Posts
    4,261
    Quote Originally Posted by Also sprach Zarathustra View Post
    Try to draw this function...

    You will see that you need to check only values of x between -2 and 2.

    I can't see why: (5,10)\,,\,(5,-10) are solutions, say...

    Tonio
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor Also sprach Zarathustra's Avatar
    Joined
    Dec 2009
    From
    Russia
    Posts
    1,506
    Thanks
    1
    Quote Originally Posted by tonio View Post
    I can't see why: (5,10)\,,\,(5,-10) are solutions, say...

    Tonio

    Me too...
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Junior Member
    Joined
    Dec 2010
    From
    Tétouan/Morocco
    Posts
    44
    Hi again !
    thanks for paying attention to my exercice !
    Here is what Wolfram gave me
    it also gave me that the only integer solutions are the ones i found , really weird !!!! I think we should use the gcd !
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Super Member PaulRS's Avatar
    Joined
    Oct 2007
    Posts
    571
    For x,y  > 0 :

    We have that x\cdot (x^2 - 5) is a square, now of course \text{gcd}(x,x^2-5) divides x\cdot x + (-1)\cdot (x^2 - 5) = 5 thus \text{gcd}(x,x^2-5) is either 1 or 5 (in case that 5|x )

    So we separate in the 2 cases:

    Case 1: \text{gcd}(x,x^2-5) = 1.

    Here it immediately follows that both x and x^2-5 should be squares for their product to be a square.

    However, note that x^2-5 if x is big enough (since the "distance" between 2 consecutive squares increases) it can't be an square since x^2 is already an square. How big is big enough? note that for x>3 it will be impossible, and in fact you can see we get no solutions for this case.

    Case 2: \text{gcd}(x,x^2-5) = 5.

    Here x = 5\cdot k thus y^2 = 5^2\cdot k \cdot (5\cdot k^2 - 1)

    Thus \left(\displaystyle\frac{y}{5}\right)^2 = k \cdot (5\cdot k^2 - 1) but now of course k and 5\cdot k^2 - 1 are coprime and so they both must be squares.

    If k=1 we have a solution ( x = 5 ; y=10 ).

    k = a^2 then we want 5\cdot a^4 -1 = b^2

    mmmm... stuck.
    Follow Math Help Forum on Facebook and Google+

  8. #8
    MHF Contributor Also sprach Zarathustra's Avatar
    Joined
    Dec 2009
    From
    Russia
    Posts
    1,506
    Thanks
    1
    An Idea...

    We need to prove that there are only solutions of the form: (a,2a) {and (a,-2a)}.

    ...and if we prove that we can make a conclusion that the only solution are: (0,0),(-1,2),(-1,-2),(5,10),(5,-10).
    {by solving: a^3-4a^2-5a=0}
    Follow Math Help Forum on Facebook and Google+

  9. #9
    Junior Member
    Joined
    Dec 2010
    From
    Tétouan/Morocco
    Posts
    44
    Quote Originally Posted by Also sprach Zarathustra View Post
    An Idea...

    We need to prove that there are only solutions of the form: (a,2a) {and (a,-2a)}.

    ...and if we prove that we can make a conclusion that the only solution are: (0,0),(-1,2),(-1,-2),(5,10),(5,-10).
    {by solving: a^3-4a^2-5a=0}
    Using parity may be ?
    Follow Math Help Forum on Facebook and Google+

  10. #10
    MHF Contributor Also sprach Zarathustra's Avatar
    Joined
    Dec 2009
    From
    Russia
    Posts
    1,506
    Thanks
    1
    By showing that \sqrt{2n(4n^2-5)} is not an integer we will conclude that a is must to be odd.

    e.i:
    ...hence(after proving the above) a is odd, say a=2n+1 it easy to show that y as integer must be even:
    y=\sqrt{(2n+1)^3-5(2n+1)}=\sqrt{4(2n+1)(n^2+n-1)}=2\sqrt{(2n+1)(n^2+n-1)}
    Follow Math Help Forum on Facebook and Google+

  11. #11
    Junior Member
    Joined
    Dec 2010
    From
    Tétouan/Morocco
    Posts
    44
    Quote Originally Posted by Also sprach Zarathustra View Post
    By showing that \sqrt{2n(4n^2-5)} is not an integer we will conclude that a is must to be odd.
    Well if we consider the functions f such that f(x)=8x^3-10x and g such that g(x)=x^2 we find that their graphs never meet if i'm not wrong of course ....
    Follow Math Help Forum on Facebook and Google+

  12. #12
    MHF Contributor Also sprach Zarathustra's Avatar
    Joined
    Dec 2009
    From
    Russia
    Posts
    1,506
    Thanks
    1
    Quote Originally Posted by Tarask View Post
    Well if we consider the functions f such that f(x)=8x^3-10x and g such that g(x)=x^2 we find that their graphs never meet if i'm not wrong of course ....
    Interesting!
    Follow Math Help Forum on Facebook and Google+

  13. #13
    Junior Member
    Joined
    Dec 2010
    From
    Tétouan/Morocco
    Posts
    44
    Quote Originally Posted by Also sprach Zarathustra View Post
    Interesting!
    Thanks !
    By the way , as i said , i have a solution using graphs , it is similar to what we did !
    It's in french , if you are interested in it , i'll publish the file so that you can take a look at it
    Follow Math Help Forum on Facebook and Google+

  14. #14
    MHF Contributor Also sprach Zarathustra's Avatar
    Joined
    Dec 2009
    From
    Russia
    Posts
    1,506
    Thanks
    1
    Quote Originally Posted by Tarask View Post
    Thanks !
    By the way , as i said , i have a solution using graphs , it is similar to what we did !
    It's in french , if you are interested in it , i'll publish the file so that you can take a look at it
    I will be glad to look at it.
    My French is like your Hebrew... Merci mon ami.
    Follow Math Help Forum on Facebook and Google+

  15. #15
    Junior Member
    Joined
    Dec 2010
    From
    Tétouan/Morocco
    Posts
    44
    Quote Originally Posted by Also sprach Zarathustra View Post
    I will be glad to look at it.
    My French is like your Hebrew... Merci mon ami.
    Your french is good apparently , but for me , i don't know a single word of Hebrew
    Here is the file http://www.animath.fr/IMG/pdf/cours-arith1.pdf see page 68-.. (i hope that the mods and admins don't mind )
    Follow Math Help Forum on Facebook and Google+

Page 1 of 2 12 LastLast

Similar Math Help Forum Discussions

  1. [SOLVED] Diophantine equation
    Posted in the Number Theory Forum
    Replies: 0
    Last Post: July 23rd 2011, 09:51 PM
  2. Diophantine equation
    Posted in the Number Theory Forum
    Replies: 4
    Last Post: July 23rd 2011, 10:13 AM
  3. Diophantine equation
    Posted in the Number Theory Forum
    Replies: 2
    Last Post: May 30th 2010, 12:44 PM
  4. Diophantine Equation? Or something?
    Posted in the Number Theory Forum
    Replies: 2
    Last Post: March 1st 2010, 03:10 PM
  5. diophantine equation
    Posted in the Number Theory Forum
    Replies: 1
    Last Post: December 8th 2008, 04:37 PM

Search Tags


/mathhelpforum @mathhelpforum