Page 35 -
P. 35

12     Introduction to Rational Points on Plane Curves

        manner onto a line to obtain a description of the rational points. Under projection
        two points on the cubic correspond to one point on the line, and one rational point
        on the line does not necessarily correspond to a pair of rational points on the cubic.
           This leads to a new approach to the description of the rational points. Observe
        that given two rational points on a rational nonsingular cubic C, we can construct a
        third one. Namely, you draw the line connecting the two points P and Q.Thisisa
        rational line since P and Q are rational, and this line meets the cubic at one more
        point, denoted PQ, which must be rational by (4.1). The formation of PQ from P
        and Q is some kind of law of composition for the rational points on a cubic.

















           Even if you have only one rational point P, you can still find another, in general,
        because you draw a tangent to that point, i.e., you join the point to itself.

















           The tangent line meets the cubic twice at P, that is, it corresponds to a double
        root in the equation of the x-coordinate. By the above argument the third intersection
        point is rational. Thus, from a few rational points, one can, by forming compositions
        successively, generate lots of other rational points. The function which associates to
        a pair P and Q the point PQ is called the chord-tangent composition law.
        (4.3) Primitive Form of Mordell’s Theorem. On a nonsingular rational cubic curve
        there exists a finite set of rational points such that all rational points on the curve
        are generated from these using iterates of the chord-tangent law of composition.

           In other words there is a finite set X of rational points on the nonsingular rational
        cubic such that every rational point P can be decomposed in the form,
   30   31   32   33   34   35   36   37   38   39   40