Results 1 to 2 of 2

Math Help - prove

  1. #1
    Newbie
    Joined
    Jul 2009
    Posts
    23

    prove

    prove that the system

    (x^6)+(x^3)+(x^3)y)+y= (147^157)

    (x^3)+((x^3)y)+(y^2)+y+(z^9)=(157^147)

    has no solutions in integers x, y and z.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Apr 2009
    From
    Atlanta, GA
    Posts
    408

    Brute Force

    x^6+x^3+x^3y+y= 147^{157}
    x^3+x^3y+y^2+y+z^9=157^{147}

    The first equation (x^3)^2+(y+1)x^3+(y-147^{157})=0 is quadratic, so x^3=\frac12(-(y+1)\pm\sqrt{(y+1)^2+4y-4*147^{157}})

    So x^3 can be substituted in the second equation x^3(y+1)+y^2+y+z^9=157^{147}. After simplifying, we arrive at...

    4\left(z^9+\frac12(y^2-1-2*157^{147})\right)^2=8y^3+(17-4*147^{157}+2*157^{147})y^2+ (6-8*147^{157})y-2(2*147^{157}+2*(157^{147})^2+3*157^{147}-1)

    (Someone may want to check my algebra for small errors.)

    Since the LHS is a perfect square, it would be sufficient to show that no integer values of y allow the RHS to be a perfect square. One approach may be to attempt to factor the RHS as a perfect square minus a small constant, and then show that there are only a finite number of squares who differ by that constant -- the smaller the better. This may be implausible by hand.

    Hope this brute force progress helps!
    Last edited by Media_Man; October 13th 2009 at 05:17 AM. Reason: entered caveat
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Prove a/b and a/c then a/ (3b-7c)
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: March 23rd 2010, 05:20 PM
  2. prove,,,
    Posted in the Number Theory Forum
    Replies: 1
    Last Post: March 1st 2010, 09:02 AM
  3. Prove |w + z| <= |w| +|z|
    Posted in the Algebra Forum
    Replies: 3
    Last Post: February 28th 2010, 05:44 AM
  4. Replies: 2
    Last Post: August 28th 2009, 02:59 AM
  5. How to prove that n^2 + n + 2 is even??
    Posted in the Algebra Forum
    Replies: 3
    Last Post: November 30th 2008, 01:24 PM

Search Tags


/mathhelpforum @mathhelpforum