Abstract
We demonstrate that there are infinitely many real numbers constructible by marked ruler and compass which are unique real roots of irreducible quintic polynomials over the field of rational numbers. This result can be viewed as a generalization of the historical open question of the constructibility by marked ruler and compass of real 5th roots of rational numbers. We obtain our results through marked ruler and compass constructions involving the intersection of conchoids and circles, and the application of number theoretic divisibility criteria.
1. Introduction
One of the most perplexing perpetual problems in mathematics involves the feasibility of geometrically constructing real 5th roots of rational numbers with a compass and a straightedge with two marks, one unit apart that we will refer to as a marked ruler. This problem stems back thousands of years to the ancient Greeks, who understood that various geometric constructions, such as trisecting any given angle, duplicating any given cube, and constructing the real cube roots of rational numbers that were not perfect cubes, were not feasible to do with compass and (unmarked) straightedge [1]. The formal mathematical proof that the cube roots of nonperfect cube numbers are not constructible with straightedge and compass was given fairly recently in the context of the characterization of towers of number fields of degree 2 for each iterated field extension (see, e.g., [2, page 144]). However, the ancient Greeks extended their assortment of construction tools to allow for intersections of conic sections as well as constructions with marked ruler and compass, which enabled them to have confidence that the above βcubicβ problems could all be solved using either of these two extended constructions (see, e.g., [3, 4]).
The mathematical proof of these results involving towers of number fields extends the degrees of the iterated field extensions (see above) to degree 2 or 3 [3, 4]. However, there is a hierarchy to the relative strengths of geometric constructions involving straightedge and compass, intersections of conic sections, and marked ruler and compass. It can be readily seen that anything constructible by straightedge and compass is constructible by intersections of conic sections, and it has been proved that anything constructible by intersections of conic sections is constructible by marked ruler and compass [3]. Furthermore, by the above iterated field tower extensions of degrees 2 or 3 result, we know that it is not possible to construct 5th roots of rational numbers (that are not perfect quintic powers) by intersections of conic sections. This leads to the open question of is it possible to construct the real 5th root of a rational number that is not a perfect quintic power, by marked ruler and compass.
We let denote the field of rational numbers, the reals, we stipulate that a complex number is a constructible number if the point is a constructible point (see Martin [1] for the details of constructible points and numbers), we let the symbol ββ denote containment, and from this point on the phrase βreal 5th roots of rational numbersβ will mean that these rational numbers are not perfect quintic powers. From Baragar [3] we can state the following lemma.
Lemma 1.1. A complex number which is constructible by marked ruler and compass belongs to a field that lies in a tower of fields for which the index at each step is 2, 3, 5, or 6; in particular if then the only primes dividing are 2, 3, or 5.
However, it is not known if the converse of this result holds, and hence the problem of the constructibility of real 5th roots of rational numbers by marked ruler and compass is still an entirely open problem. In this paper we pursue this question by thinking of the real 5th root of a rational number as the unique real root of an irreducible quintic polynomial over the rationals. In particular we explore a generalization of the real 5th root of a rational number in this context by studying irreducible quintic polynomials over the rationals that have unique real roots and are obtained by marked ruler and compass construction. We will demonstrate that there are infinitely many numbers of this form, which is consistent with the feasibility of constructing the real 5th roots of rational numbers by marked ruler and compass. However, none of the numbers we obtain in this manner are 5th roots of rational numbers, and thus our result serves predominantly to motivate the continued exploration of this intriguing problem.
2. -Constructible Numbers and Unique Real Roots of Irreducible Quintic Polynomials over the Rationals
In Robertson and Snyder [5], a set of constructible numbers is given that includes the set of real roots of irreducible quintic polynomials over the rationals that have unique real roots. Robertson and Snyder [5] refer to this set of constructible numbers as β-constructible numbersβ and they give the following explicit instructions to construct them.
They initially call a point in , -constructible if it is the last point in a finite sequence of points such that the point is in the starter set , or it is obtained in one of the following ways:(i)as the intersection of two lines, each of which passes through two points that appear earlier in the sequence;(ii)as the intersection of a line passing through two earlier points and a circle passing through and centered at a point on the -axis appearing earlier in the sequence;(iii)as a point of intersection of the graph of and a line described in (i);(iv)as a point of intersection of the graph of and a circle describe in (ii).
A real number is called -constructible if it is the -coordinate of a -constructible point lying on the -axis, and Robertson and Snyder demonstrate that the set of -constructible numbers is a subfield of , the field of real numbers. Robertson and Snyder [5] give the following characterization of -constructible numbers.
Lemma 2.1. A real number is -constructible if and only if there exists a sequence of field extensions with a in such that , where is in for all , and if then where is in and is the unique real root of the polynomial .
Note
In Robertson and Snyder [5, page 105], instead of is unintentionally referred to as the unique real root of the polynomial .
Robertson and Snyder [5] demonstrate that the real 5th roots of -constructible numbers are -constructible, which of course implies that real 5th roots of all rational numbers are -constructible. Furthermore, they demonstrate a more generic relationship between -constructible numbers and irreducible quintic polynomials with -constructible numbers as coefficients that have unique real roots over the field of rational numbers with these coefficients adjoined. For our purposes we state the part of this relationship that we are most interested in as the following lemma.
Lemma 2.2. The field of -constructible numbers contains the real roots of all irreducible quintic polynomials over the rationals that have unique real roots, and if a -constructible number is a real root of an irreducible quintic polynomial over the rationals, then has a unique real root.
Proof. See Robertson and Snyder [5, Theorems 3 and 4].
In regard to the relationship of -constructible numbers to constructions by marked ruler and compass, Robertson and Snyder [5] point out that these two sets cannot coincide, based upon Baragarβs [3] demonstration that the three real roots of the polynomial , which is irreducible over , are constructible by marked ruler and compass. However, Robertson and Snyder [5, page 104] conjecture that -constructible numbers are contained in the set of numbers constructible by marked ruler and compass, which would imply that the real 5th roots of all rational numbers are constructible by marked ruler and compass. Our main result (see Theorem 4.4) is consistent with Robertson and Snyderβs conjecture, as we demonstrate that there are infinitely many numbers constructible by marked ruler and compass that are unique real roots of irreducible quintic polynomials over the rationals, and consequently are -constructible numbers. However, we also demonstrate (see Theorem 4.3) that there are infinitely many real numbers constructible by marked ruler and compass that are real roots of irreducible quintic polynomials over the rationals that have three real roots, which implies by Lemma 2.2 that they are not -constructible numbers. Furthermore, none of the numbers in our set of -constructible numbers that we obtain in Theorem 4.4 are 5th roots of rational numbers, and consequently the constructibility of real 5th roots of rational numbers by marked ruler and compass in still an entirely open problem.
3. Conchoid Marked Ruler and Compass Constructions
To obtain infinitely many real numbers constructible by marked ruler and compass that are -constructible numbers (Theorem 4.4), as well as infinitely many real numbers constructible by marked ruler and compass that are not -constructible numbers (Theorem 4.3), we make use of the conchoids formulation for marked ruler and compass construction given by Baragar (see [3, page 157] for a geometric illustration of the conchoid construction).
In accordance with Baragar [3, page 159], we start with a point and we construct a conchoid as follows. Without loss of generality we assume that point is the origin and that we construct the vertical line , where is a real number constructible by straightedge and compass, which has the polar equation for any angle . We now take a twice-notched straightedge, which is a straightedge with two notches one unit apart (which we will refer to as βrulerβ for short). If we place one notch of our ruler on the given line and make the ruler pass through , then as the designated notch traverses the line, we trace out one of the two curves whose polar equations are or , where the choice of or β1 depends on whether or not the line is between the second notch and the origin.
Converting to rectangular coordinates, we get or . As Baragar [3, pages 159-160], demonstrates, the equation becomes , and when we intersect the conchoid with the circle , where , and are real numbers constructible by straightedge and compass, we obtain the equation . Baragar [3, page 160] writes the equation in the form where and are of degree 2 and degree 3, respectively, and obtains the following degree 6 equation, which we refer to as follows:
In the next section we make use of the above conchoid equation derived from the marked ruler and compass construction to obtain our families of irreducible quintic polynomials over the rationals that illustrate our results that we formulate as Theorems 4.3 and 4.4.
4. Irreducible Quintic Polynomials from Conchoid Marked Ruler and Compass Constructions
In order to obtain quintic polynomials from (3.1), which is a degree 6 equation, we construct families with the particular requirements that and either or .
It readily follows that is a point of intersection of the conchoid and circle described in Section 3, and satisfies Equation (3.1). If we stipulate that is a rational number, then we see that (3.1) factors over the rationals into a linear factor and a quintic polynomial factor.
In order to obtain families in which these quintic polynomial factors are irreducible over the rationals, we make use of two well-known number theory tests for irreducibility of polynomials.
Our first irreducibility test is the Einsenstein criterion (see, e.g., [2, Proposition 5.3, page 235], which for our purposes we utilize the following part of.
Lemma 4.1. Let be a unique factorization domain with quotient field , and let be in . Suppose there is a prime element in such that divides but not , and that does not divide . Then is irreducible over .
Our second irreducibility test involves moding out by prime ideals (see, e.g., [6, Theorem 6.11, page 150]), which we state in the following format.
Lemma 4.2. Let be a unique factorization domain with quotient field , and let in be such that the content of (i.e., the greatest common divisor of the coefficients of is 1. If in is a prime element such that does not divide the leading coefficient of , and if is irreducible in , then is irreducible over .
We now demonstrate that there are infinitely many real numbers constructible by marked ruler and compass that are not -constructible. To this end we let , , and in the conchoid and circle construction described in Section 3, and we obtain and in (3.1). After sorting out the algebraic details and factoring out , we obtain the 5th degree polynomial . We note that if is odd then , the coefficient of , is congruent to 2(mod 4), and all the other coefficients are congruent to 0(mod 4). When we divide all these terms by 2, we see that the Einsenstein conditions of Lemma 4.1 are satisfied, using = the integers = the rationals , and , and we are thus able to conclude that our family of quintic polynomials are irreducible over whenever is odd, which gives us infinitely many irreducible polynomials over .
For a concrete example we let , obtaining the irreducible quintic polynomial , which has three real roots. Through geometric constructions of our conchoids and circles, as described in Baragar [3], we obtain for , and , that whenever then our above quintic polynomial has three real roots. We thus conclude that for all odd integers greater than 1 we have obtained irreducible quintic polynomials that have more than one real root, and consequently from Lemma 2.2 we have proved the following result.
Theorem 4.3. There are infinitely many real numbers constructible by marked ruler and compass that are not -constructible.
To prove that there are infinitely many real numbers constructible by marked ruler and compass that are unique real roots of irreducible quintic polynomials over and consequently -constructible, we once again make use of the marked ruler conchoids and circle constructions described in Baragar [3] and Section 3. However, this time we study the family obtained by letting , and in our conchoid and circle construction described in Section 3, and we obtain and in (3.1). After sorting out the algebraic details and factoring out , we obtain the 5th degree polynomial .
We now stipulate that for integers , and with , congruent to 1(mod 3) or 2(mod 3), and congruent to 1(mod 3) or 2(mod 3). Substituting these values into our above polynomial and multiplying through by we obtain the 5th degree polynomial .
To show that our polynomial is irreducible over , we make use of Lemma 4.2 by initially reducing (mod 3) to obtain the quintic polynomial , which we readily check is irreducible over . In order to satisfy the Lemma 4.2 condition of the content being 1, we divide the coefficients of by their greatest common divisor, obtaining a quintic polynomial with content 1. We reduce mod 3, obtaining the quintic polynomial . Since is irreducible it follows that is also irreducible. We can now apply Lemma 4.2 with , and to conclude that is irreducible, which gives us our family of infinitely many irreducible quintic polynomials.
For a concrete example we take , and , which gives us and , which is an irreducible quintic polynomial with one real root. Through geometric constructions of our conchoids and circles for , and various values of (as described in Baragar, [3]), we obtain that whenever our quintic polynomial has a unique real root.
We therefore have obtained infinitely many irreducible quintic polynomials with unique real roots, and have proved our main result.
Theorem 4.4. There are infinitely many real numbers constructible by marked ruler and compass which are -constructible.
Acknowledgment
The author would like to thank Chip Snyder for many fruitful discussions and helpful suggestions in regard to obtaining the results in this paper.