Re: [math-fun] Little math competition problem
On Thursday 08 October 2009 21:10:02 Dan Asimov wrote:
Find all rational solutions of
x^2 + y^2 + z^2 + 3(x + y + z) + 5 = 0.
Since no one else has bitten yet, here's a solution after some spoiler space. THIS SPACE INTENTIONALLY LEFT BLANK THIS SPACE INTENTIONALLY LEFT BLANK THIS SPACE INTENTIONALLY LEFT BLANK THIS SPACE INTENTIONALLY LEFT BLANK THIS SPACE INTENTIONALLY LEFT BLANK THIS SPACE INTENTIONALLY LEFT BLANK THIS SPACE INTENTIONALLY LEFT BLANK THIS SPACE INTENTIONALLY LEFT BLANK THIS SPACE INTENTIONALLY LEFT BLANK THIS SPACE INTENTIONALLY LEFT BLANK THIS SPACE INTENTIONALLY LEFT BLANK THIS SPACE INTENTIONALLY LEFT BLANK THIS SPACE INTENTIONALLY LEFT BLANK THIS SPACE INTENTIONALLY LEFT BLANK THIS SPACE INTENTIONALLY LEFT BLANK THIS SPACE INTENTIONALLY LEFT BLANK THIS SPACE INTENTIONALLY LEFT BLANK THIS SPACE INTENTIONALLY LEFT BLANK THIS SPACE INTENTIONALLY LEFT BLANK THIS SPACE INTENTIONALLY LEFT BLANK THIS SPACE INTENTIONALLY LEFT BLANK There are no rational solutions. Let x=a/n etc. with minimal n. Then we're solving x^2 + y^2 + z^2 + 3n(x+y+z) + 5n^2 = 0; not all of x,y,z,n are even. If 4|n then 4|x^2+y^2+z^2, whence x,y,z are all even, contradiction. If n is odd then x^2+3nx etc. are all even, so the LHS is odd, hence nonzero; contradiction. So n=2m, m odd. Complete the squares, writing u=x+3m etc.; we get u^2+v^2+w^2 = 7m^2 but the RHS is 7 (mod 8) which the LHS cannot be. (We could replace the last three paragraphs with "Now just try all possibilities for x,y,z,n mod 4 and observe that none of them works.") -- g
Didn't bother to answer, since it seemed obvious that this was a sphere with imaginary radius: (x + 3/2)^2 + (y + 3/2)^2 + (z + 3/2)^2 = -7/4. R. On Fri, 9 Oct 2009, Gareth McCaughan wrote:
On Thursday 08 October 2009 21:10:02 Dan Asimov wrote:
Find all rational solutions of
x^2 + y^2 + z^2 + 3(x + y + z) + 5 = 0.
Since no one else has bitten yet, here's a solution after some spoiler space.
THIS SPACE INTENTIONALLY LEFT BLANK
THIS SPACE INTENTIONALLY LEFT BLANK
THIS SPACE INTENTIONALLY LEFT BLANK
THIS SPACE INTENTIONALLY LEFT BLANK
THIS SPACE INTENTIONALLY LEFT BLANK
THIS SPACE INTENTIONALLY LEFT BLANK
THIS SPACE INTENTIONALLY LEFT BLANK
THIS SPACE INTENTIONALLY LEFT BLANK
THIS SPACE INTENTIONALLY LEFT BLANK
THIS SPACE INTENTIONALLY LEFT BLANK
THIS SPACE INTENTIONALLY LEFT BLANK
THIS SPACE INTENTIONALLY LEFT BLANK
THIS SPACE INTENTIONALLY LEFT BLANK
THIS SPACE INTENTIONALLY LEFT BLANK
THIS SPACE INTENTIONALLY LEFT BLANK
THIS SPACE INTENTIONALLY LEFT BLANK
THIS SPACE INTENTIONALLY LEFT BLANK
THIS SPACE INTENTIONALLY LEFT BLANK
THIS SPACE INTENTIONALLY LEFT BLANK
THIS SPACE INTENTIONALLY LEFT BLANK
THIS SPACE INTENTIONALLY LEFT BLANK
There are no rational solutions.
Let x=a/n etc. with minimal n. Then we're solving x^2 + y^2 + z^2 + 3n(x+y+z) + 5n^2 = 0; not all of x,y,z,n are even.
If 4|n then 4|x^2+y^2+z^2, whence x,y,z are all even, contradiction.
If n is odd then x^2+3nx etc. are all even, so the LHS is odd, hence nonzero; contradiction.
So n=2m, m odd. Complete the squares, writing u=x+3m etc.; we get u^2+v^2+w^2 = 7m^2 but the RHS is 7 (mod 8) which the LHS cannot be.
(We could replace the last three paragraphs with "Now just try all possibilities for x,y,z,n mod 4 and observe that none of them works.")
On Saturday 10 October 2009 21:14:22 Richard Guy wrote:
Didn't bother to answer, since it seemed obvious that this was a sphere with imaginary radius:
(x + 3/2)^2 + (y + 3/2)^2 + (z + 3/2)^2 = -7/4. R.
Ah yes, very nice that you can do it mod oo as well as mod 2. I feel very stupid for even trying the mod 2 way. D'oh! -- g
Except that -7/4 -3*9/4=-34/4. You want the + sign. Victor Sent from my iPhone On Oct 10, 2009, at 6:18 PM, Gareth McCaughan <gareth.mccaughan@pobox.com
wrote:
On Saturday 10 October 2009 21:14:22 Richard Guy wrote:
Didn't bother to answer, since it seemed obvious that this was a sphere with imaginary radius:
(x + 3/2)^2 + (y + 3/2)^2 + (z + 3/2)^2 = -7/4. R.
Ah yes, very nice that you can do it mod oo as well as mod 2. I feel very stupid for even trying the mod 2 way. D'oh!
-- g
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com http://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun
participants (3)
-
Gareth McCaughan -
Richard Guy -
Victor Miller