Characterizing the n-Division Points of Genus-0 Curves through Straightedge and Compass Constructions
ISEF · 2014 Robotics and Intelligent Machines Fourth Award
Overview
One of the most famous mathematical problems is that of constructing figures with the aid of an unmarked straightedge and compass. A subset of this field concerns the regular polygons that can be constructed with a compass and straightedge. This can be generalized to consider the n-division points of all curves. Little work has been done in this field, apart from two major theorems, the Gauss-Wantzel Theorem and Abel’s Theorem on the Lemniscate that characterize the values of n for which the n-division points of the circle and lemniscate, respectively, are constructible. This research project examined three major problems in this field: determining a closed form solution for the regular polygons that can be constructed with a straightedge, compass, and trisector; finding the values of n such that the n-division points of the tricuspoid can be constructed with compass and straightedge; and seeking a generalization of Abel’s Theorem on the Lemniscate to the entire family of Serret curves. Two major mathematical fields were used to algebraically represent the problems: field theory (for constructible numbers) and the theory of elliptic curves (for n-division points). Three major mathematical tools were used in the proofs of the theorems: Galois theory, algebraic geometry, and complex analysis. A closed-form solution for the values of n for which the n-division points of a circle can be constructed with a compass, straightedge, and trisector was found, a theorem was proved that for all integer n, the n-division points of the tricuspoid curve are constructible, and it was determined that with a compass and a straightedge, arbitrary arc lengths on any Serret Curve can be added, subtracted, and multiplied.
Awards (2)
- Fourth Award of $500 $500
- American Mathematical Society: First Award of $2,000 $2,000
Competition history
- ISEF 2014
Resources
Related projects
ISEF · 2015
Characterizing the Constructible N-Division Points of the Rational C-Hypocycloids through Straightedge and Compass Constructions
ISEF · 2015
On the Constructibility of n-Division Points of Certain Polar Curves by Area
ISEF · 2014
Hidden Secrets in Cevian Triangles
ISEF · 2014
Continued Fractions and Euclidean Algorithm in Unique Factorization Domains
Closest projects by meaning, across every fair and year in the corpus.
Source: Regeneron International Science and Engineering Fair