Re: How many rational-not integral points are there on the curve x^2+y^2-2=

In article <6268ad08-e557-41a9-a6c2-2a5497a05f21@xxxxxxxxxxxxxxxxxxxxxxxxxxx>,
Pubkeybreaker <pubkeybreaker@xxxxxxx> wrote:
On Jun 6, 7:00 am, r...@xxxxxxxxxxxxxx (Rob Johnson) wrote:
In article <20080605.215...@xxxxxxxx>,
I wrote:
In article <48489225$0$30461$afc38...@xxxxxxxxxxxxxxxxxxxx>,
"Peter Webb" <webbfam...@xxxxxxxxxxxxxxxxxxxxxxxxx> wrote:
"Gerry Myerson" <ge...@xxxxxxxxxxxxxxxxxxxxxxxxx> wrote in message
news:gerry-81110B.10205006062008@xxxxxxxxxxxxxxxxxxxxx
In article
<31435907.1212708279758.JavaMail.jaka...@xxxxxxxxxxxxxxxxxxxxxx>,
lantan <lantan10101...@xxxxxxxxx> wrote:

Please tell me where the proof is.

The proof of what?

I don't know whether you saw my earlier post in this thread.
Your curve is a circle, and the point (1, 1) is on it.
Draw a line through (1, 1) with rational slope
and find the coordinates of the other point where that line
meets the circle.

Clever, but wrong (I think).

The intersection of the line with the circle occurs at (x,y). Either both of
x and y are rational, or both are irrational. That's as much as you can say.

I suspect the answer is exactly the set of pythagorean triples, as all such
solutions if they are rational can be multiplied by the lcm of the
denominators to provide a pythagorean triple (Johnson proved that it is at
least the Pythagorean triples, but it seems obvious that this is also all
solutions).

Indeed. Suppose x+iy is a rational point on the circle of radius 2.
Then |x+iy|/|1+i| = 1. Therefore,

x+iy (x+iy)(1-i) (x+y) + i(y-x)
---- = ----------- = --------------
1+i 2 2

is a rational point on the circle of radius 1, that is, a point
derived from a Pythagorean Triple. Thus,

(x+y) + i(y-x)
x+iy = -------------- (1+i)
2

Follow up question: how many rational points are on the circle of
radius 3?

Instead of "circle of radius 2" and "circle of radius 3", I should
have said "circle of radius sqrt(2)" and "circle of radius sqrt(3)".

In particular, the followup question should be: how many rational
points are on the circle of radius sqrt(3)?

Rob Johnson <r...@xxxxxxxxxxxxxx>

Where is the center??? Assuming it is the origin, the answer is none.
Integers that are 3 mod 4 are not the sum of two squares.

I should have been more explicit, but I was assuming that we were
talking about curves such as that mentioned in the title, where the
center is the origin.

You are correct that no integer that is 3 mod 4 is the sum of two
squares. However, this does not answer the question of whether there
are any rational pairs (x,y) so that x^2 + y^2 = 3. This is related
to the diophantine equation x^2 + y^2 = 3 z^2.

Rob Johnson <rob@xxxxxxxxxxxxxx>
take out the trash before replying
to view any ASCII art, display article in a monospaced font
.

Relevant Pages

  • Re: How many rational-not integral points are there on the curve x^2+y^2-2=
    ... Your curve is a circle, and the point is on it. ... Integers that are 3 mod 4 are not the sum of two squares. ...
    (sci.math)
  • Re: hotpad instructions
    ... are three points on these triangles -- which points do we put together? ... I made a cardboard circle template 8" in diameter. ... Again, I cut a LOT of squares at a time, but for one hotpad you need four ... Take the muslin circle and fold in half and half again to find the ...
    (rec.crafts.textiles.quilting)
  • Re: Simple, stupid question
    ... This would produce a curve that is tangent to the sides of the ... > circle, ... Hence a circle drawn with AW as radius for example, ... In fact it is possible to get the desired projection in front of the ...
    (sci.math)
  • Re: inscribed regular n-gons
    ... inscribe a regular n-gon so easily, and even if you can, there may be ... must C be a circle? ... While the curve in the animation is not convex, ...
    (sci.math)
  • Re: The perimeter and area of an ellipse
    ... acceptable approximation for the perimeter in some circumstances, ... Regarding the area of an ellipse, ... Given the formula for the area of a circle, ... The sum of the areas of these squares will be ...
    (sci.math)