NTIC Rational Points on Conics

Section 15.1 Rational Points on Conics

Subsection 15.1.1 Rational points on the circle

Remember that in Section 3.4 we thought of Pythagorean triples as solutions to

x^{2} + y^{2} = z^{2} .

🔗

Now, let’s divide the whole Pythagorean thing by

z^{2} :

\frac{x^{2}}{z^{2}} + \frac{y^{2}}{z^{2}} = 1 \Rightarrow {(\frac{x}{z})}^{2} + {(\frac{y}{z})}^{2} = 1 .

🔗

Since we can always get any two rational numbers to have a common denominator, what that means is the Pythagorean problem is the same as finding all rational solutions to the simpler formula

a^{2} + b^{2} = 1,

🔗

which seems to be a very different problem. Let’s investigate this.


    
        
xxxxxxxxxx
 
1
var('x,y')
2
@interact
3
def _(slope=-2/3):
4
    plot1=implicit_plot(x^2+y^2-1, (x,-1.5,1.5), (y,-1.5,1.5), plot_points=100)
5
    plot2=plot(slope*(x-1),x,-1.5,1.5)
6
    plot3=point(((slope^2-1)/(slope^2+1), -2*slope/(slope^2+1)), rgbcolor=(1,0,1), pointsize=20)
7
    show(plot1+plot2+plot3 + point((1,0), rgbcolor=(0,0,0), pointsize=20), figsize=[5,5], aspect_ratio=1)

    
    
    
    
        
            
                Language:
                
            
        
    
    




    
    
        
        Messages

🔗

In the interact above, the blue line intersects the circle

x^{2} + y^{2} = 1

in the point

(1, 0)

and has rational slope denoted by slope. If you change the variable slope, then the line will change.

🔗

It is not a hard exercise to see that the line through two rational points on a curve will have rational slope, nor what its formula is, so that every rational point on the circle is gotten by intersecting

(1, 0)

with a line with rational slope. This is not necessarily visible in Figure 15.1.1!

described in detail following the image — 🔗
Figure 15.1.1. Intersecting a circle with a line of slope $- 2 / 3$

🔗

It is a little harder to show that intersecting such a line with the circle always gives a rational point, but this is also true! It is also far more useful, as it gives us a technique to find all rational points and hence all Pythagorean triples.

🔗

Fact 15.1.2.

🔗

All lines with rational slope through

(1, 0)

intersect the unit circle in a second rational point.

Proof.

In fact, we can do even better than prove this; we can get a formula for the points.

First, any line with slope

t

has formula

y = t (x - 1) .

We can then obtain all intersections with the circle

x^{2} + y^{2} = 1

by plugging in

y,

so:

x^{2} + (t (x - 1))^{2} = 1 \Rightarrow x^{2} + t^{2} x^{2} - 2 x t^{2} + t^{2} = 1

We will skip the algebra (see Exercise 15.7.1) showing that the quadratic formula yields the two answers

\frac{t^{2} \pm 1}{t^{2} + 1} .

Note that

\frac{t^{2} + 1}{t^{2} + 1} = 1

gives the point

(1, 0)

which we already knew. The other, new, point is

\frac{t^{2} - 1}{t^{2} + 1} = x;

plugging this in gives

y = t (\frac{t^{2} - 1}{t^{2} + 1} - 1) = \frac{- 2 t}{t^{2} + 1} .

In summary, every rational slope

t

gives us the point

(\frac{t^{2} - 1}{t^{2} + 1}, \frac{- 2 t}{t^{2} + 1}) .

🔗

Even the inputs

t = 0

and

t = \infty

have an appropriate interpretation in this framework. Such a description of the (rational) points of the circle is called a parametrization. Plug in various

t

and see what you get!

🔗

Remark 15.1.3.

🔗

You could start the whole process with

(- 1, 0)

(0, 1),

use all lines through it with rational slopes, and get a different parametrization.

🔗

Subsection 15.1.2 Parametrization in general

🔗

But will this always work? Certainly not every curve gets rational points by intersecting rational slope lines with it.

🔗

Example 15.1.4.

🔗

Consider the curve given by

y = x^{3}

and the point

(0, 0) .

A rational slope line through that point would be

y = \frac{p}{q} x .

Substituting we get

\frac{p}{q} x = x^{3} ⟹ \frac{p}{q} x - x^{3} = 0 ⟹ x (\frac{p}{q} - x^{2}) = 0

🔗

which clearly will have irrational

x

-coordinates for most choices of the slope

p / q .

🔗

In the quadratic context it works, though! Here is an amazing fact we will not prove.

🔗

Fact 15.1.5.

🔗

Suppose you have a curve given by a quadratic equation with rational coefficients which contains at least one rational point. Then all lines with rational slope (including vertical

The long reason for this is projective space; the short and not-quite-rigorous reason is that

\infty = 1 / 0

is a rational fraction, right? … Right?

lines) through that point on the curve intersect the curve in only rational points, and all rational points on the curve are generated in this way.

🔗

Example 15.1.6.

🔗

Here’s an example with

x^{2} + 3 y^{2} = 1 .

🔗

As in the proof of Fact 15.1.2, the line going through

(1, 0)

has equation

y = t (x - 1) .

Here, the ellipse has equation

x^{2} + 3 y^{2} = 1,

so that we must solve the equation

x^{2} + 3 t^{2} (x - 1)^{2} = 1 \Rightarrow x^{2} + 3 t^{2} x^{2} - 6 t^{2} x + 3 t^{2} - 1 = 0

🔗

for

x

to find a parametrization of

x

in terms of

t .

Figure 15.1.7 might help visualize the process.

🔗

Solving this equation seems daunting. Here are two strategies (see Exercise 15.7.2 to try them).

We already know that there is a solution $x = 1,$ so that $x - 1$ must be a factor of the expression! So we could factor it out if we wished.
Alternately, we could use the quadratic formula and discard the solution $x = 1 .$

🔗

In either case you should get

x = \frac{3 t^{2} - 1}{3 t^{2} + 1}, y = \frac{- 2 t}{3 t^{2} + 1}

🔗

Now you can find all kinds of interesting solutions like

(\frac{11}{13}, \frac{- 4}{13}) .

🔗

Where does this go? One place these solutions lead is to integer solutions of three-variable equations. In the previous example, since

x

and

y

have a common denominator, we can just multiply through by the square of that denominator to get

11^{2} + 3 (- 4)^{2} = 13^{2} .

🔗

One could consider this to be an integer point on the surface given by

x^{2} + 3 y^{2} = z^{2},

which you may play around with in the following interact if you are online.


    
        
xxxxxxxxxx
 
1
var('x,y')
2
@interact
3
def _(viewsize=15):
4
    plot1=plot3d(sqrt(x^2+3*y^2), (x,-viewsize,viewsize), (y,-viewsize/2,viewsize/2))
5
    grid_pts = [[i,j,k] for i in [-viewsize..viewsize] for j in [-viewsize..viewsize] for k in [0..viewsize]]
6
    lattice_pts = [coords for coords in grid_pts if (coords[0]^2+3*coords[1]^2==coords[2]^2)]
7
    plot_lattice_pts = point3d(lattice_pts, rgbcolor = (1,0,0),pointsize=40)
8
    show(plot1+plot_lattice_pts)

    
    
    
    
        
            
                Language:
                
            
        
    
    




    
    
        
        Messages

🔗

That is a rather non-obvious solution to this equation in three variables, to say the least, and only one of many that this method can help us find.

🔗

Subsection 15.1.3 When curves don’t have rational points

🔗

However, the rational slope method does not always work. Namely, you need at least one rational point to start off with! And what if there isn’t one that exists? It turns out that Diophantus already knew of some such curves.

🔗

Fact 15.1.8.

🔗

The circle

x^{2} + y^{2} = 15

has no rational points.

Proof.

First, note this is a much stronger statement than what we already know, which is that this curve has no integer points (see Fact 13.1.1). The way to prove this is to correspond rational points on the circle to integer points on the surface

x^{2} + y^{2} = 15 z^{2} .

Every rational point on the circle can be written using a common denominator as

(p / q, r / q)

for some

p, r, q \in Z,

where we cancel any common divisor of all three numbers. Then simply multiplying through by

q

gives integer points

(x, y, z) = (p, r, q)

on the surface. (This isn’t a one-to-one correspondence, as the surface point

(0, 0, 0)

shows.)

But now consider the whole equation

p^{2} + r^{2} = 15 q^{2}

modulo

4 .

The reader should definitely check that there are no legitimate possibilities! (See Exercise 15.7.5; don’t forget that the rational points are written in lowest terms.)

🔗

As we can see experimentally in the interact below, there are no rational points on a circle of radius

\sqrt{15}

because there are no integer points on the corresponding surface other than ones with

x, y = 0

– and those correspond to

z = 0,

which would give a zero denominator on the circle. Here is a place where rational points are illuminated by questions of integer points rather than vice versa.


    
        
xxxxxxxxxx
 
1
var('x,y')
2
@interact
3
def _(viewsize=15):
4
    plot1=plot3d(sqrt(x^2+y^2)/sqrt(15), (x,0,viewsize), (y,0,viewsize))
5
    grid_pts = [[i,j,k] for i in [0..viewsize] for j in [0..viewsize] for k in [0..3*viewsize]]
6
    lattice_pts = [coords for coords in grid_pts if (coords[0]^2+coords[1]^2==15*coords[2]^2)]
7
    plot_lattice_pts = point3d(lattice_pts, rgbcolor = (1,0,0),pointsize=40)
8
    show(plot1+plot_lattice_pts)

    
    
    
    
        
            
                Language:
                
            
        
    
    




    
    
        
        Messages

🔗

Let’s do another example.

🔗

Example 15.1.9.

🔗

Try to find rational points on the ellipse

2 x^{2} + 3 y^{2} = 1 .

Solution.

A rational point would correspond to integer points on

2 x^{2} + 3 y^{2} = z^{2} .

You can try looking at it modulo four, but that goes nowhere. Instead, given the three as a coefficient, look at it modulo 3!

In this case it reduces to

2 \equiv (z x^{- 1})^{2} (mod 3)

This is impossible since

[0], [1], [2]

all square to

[0]

[1]

Z_{3} .

🔗

The point is that, at least sometimes, modular arithmetic and going back and forth between integer and rational points helps us find points, or prove there are no such points.

Prev Top Next