Here is a mathematics problem well-known since ancient times: Find integers ,
, and
that solve the famous equation in the Pythagorean theorem,
Examples are ,
,
, and
,
,
(
and
are of course interchangeable).
The general solution was already known to the ancient Greek mathematician Euclid. Let and
be integers; then
,
, and
are given by
Direct substitution and a little algebra completes the proof.
Now for some geometry. If we divide both sides of the equation by , and let
, and
, then the equation becomes
which is the equation of a circle of radius centered at the origin. The problem of finding integer solutions to the equation of the Pythagorean theorem now becomes the problem of finding points in the unit circle whose coordinates are rational numbers.
There are analogous problems of finding “rational points” in “shapes” other than circles (the technical term for shapes described by polynomial equations is “variety”). For the other quadratic equations like the conic sections (parabola, hyperbola, and ellipse) this problem has already been solved.
However for cubic equations (like the so-called “elliptic curves”) and equations with an even higher degree this is still a very fruitful area of research, part of a field of mathematics called arithmetic geometry (also called Diophantine geometry).
One famous theorem in this field is Faltings’ theorem (formerly the Mordell conjecture): The number of rational points on a curve (a curve is a one-dimensional variety – take note that over the complex numbers this is actually a surface) with rational coefficients and genus greater than one (the genus is a number related to the degree) is finite.
References:
Diophantine Geometry on Wikipedia
Diophantine Equation on Wikipedia
Faltings’s Theorem on Wikipedia
Rational Points on Elliptic Curves by Joseph H. Silverman
Pingback: Arakelov Geometry | Theories and Theorems