From ancient time on it was a problem of serious and of recreational mathematics which of the regular n-gons may be constructed by compass and ruler (straightedge without marks) and all “simple” constructions were known without a proof of the completeness of their possibilities up to the appearance of Gauss (in German: Gauß) on the scene at the very beginning of the 19-th century. Gauss showed that the basic numbers n for such constructions are the prime Fermat numbers with the long known cases corresponding to and and with the first unknown and surprising case at this time (e.g.,  -  and the more popular articles of Gardner   ). This results from the solution of the cyclotomic equations for these cases. A little later the general theory was developed for the solvability of polynomial equations with integer or rational coefficients in radicals (now called Galois theory) to which the cyclotomic equation is a special case. Some prehistory to this connected with names such as Lagrange, Ruffini and Abel is told by Stewart  (chap. 8). The construction by compass and ruler requires not higher than quadratic radicals. In  it was shown that the regular heptagon ( ) can be constructed by rhombic bicompasses and ruler. The rhombic bicompasses are two correlated compasses with, at least, 3 connected arms of equal length which can be fixed in two different points and which allow then the motion of the arms in two correlated circles around the fixed points with one degree of freedom. The addition of such bicompasses as device for geometric constructions is, in our persuasion, certainly in the spirit of the ancient geometers and extends our possibilities for constructions. Exact constructions with rhombic bicompasses are possible if the fixed points are determined by not higher than quadratic radicals (nested square roots) and, therefore, are constructible by compass and ruler. To apply rhombic bicompasses and ruler for the construction of regular n-
gons it is necessary that the cyclotomic polynomials can be factorized
into products of polynomial equations of 3-rd degree with not higher than quadratic radicals in their coefficients. In Sections 3, 9 and 11 we suggest arguments that this restricts the possible applications for odd n to prime numbers n equal to in analogy to the Fermat numbers that means to for and next to for and discuss these cases in detail.
In present article we investigate the factorizations of the cyclotomic polynomials for low odd n (up to ) in polynomial factors of 3-cycles (polynomial equations of 3-rd degree with 3 involved roots) which contain not higher than quadratic radicals in the coefficients and explain how this can be obtained in explicit form. We also give in explicit form for low n the factori- zation with only quadratic radicals in the coefficients but with other than 3- cycles and determine some general rules for this. For odd order in a first step the factorization of the cyclotomic polynomial in a product of two polynomials of m-th degree with not higher than quadratic radicals in the coefficients is generally possible. Concerning the regular heptagon ( ) we add a further modification of its construction by rhombic bicompasses and ruler and we discuss in detail the interesting case where some problems remain open. For the well-known case we find in fully explicit form the factorization of the cyclotomic polynomial in 8- 4- and 2-cycles with nested quadratic radicals in the coefficients. For odd and even n we express the the polynomials for the determination of the Cosines of the angles of the circle-division problem by Chebyshev polynomials of first and second kind and derive more information about this in an appendix.
The cyclotomic polynomials for the complex corner points of a regular n-gon to circumradius at the coordinate origin as it is well known are
The n complex solutions of the cyclotomic equation
solve the problem of the circle division into n equal sectors and determine the corner points
of the regular n-gon in the complex plane.
In the following we describe the procedure to obtain factorizations of the cyclotomic equation with not higher than quadratic radicals in the coefficients and give the explicit results for odd n up to . In particular, we discuss in detail the cases and which possess a relation to the application of bicompasses and ruler. In the case which we also discuss in some detail we demonstrate how our method acts in a case known since Gauss. The results for all corner points of the regular 17-gon are given in an explicit form (see and compare also    ).
2. The Cosine of the Angles for the Cyclotomic Polynomials in Odd Case
We consider in this Section the case of the Cosine of the angles for the odd case of the regular n-gon and introduce the Cosine of angles for z on the unit circle by
The cyclotomic polynomials can be transformed to
where are the Chebyshev polynomials of first kind and the Chebyshev polynomials of second kind (e.g.,    ). The well-known property of the Chebyshev polynomials
is used. The relation between and in the second line of (2.2) together with many other relations for the Chebyshev polynomials may be proved by complete induction using the addition theorems for the trigonometric functions.
For a few first polynomials concerning the odd regular n-gons ( ) one finds explicitly together with possible factorizations with integer or rational coefficients (i.e. in or ) in case of prime or composite n:
One peculiarity is that the polynomials take on their sim- plest form with lowest integer coefficients by the substitution (similarly to the polynomials themselves; but not ). These polynomials possess factorizations with integer coefficients for composite numbers . The polynomials are sometimes denoted by (see Appendix A).
The Cosines of the angles are obtained from the
solutions of the equation
Table 1. Cyclotomic polynomials for odd n and variable and integer factorization.
with exclusion of the solution . From the geometrical meaning of the polynomials as providing the doubled Cosines of the angle division problem as roots for odd within the unit circle it is fully obvious that all roots of all polynomials in (2.4) possess only m real solutions within the limits .
Without further going into details we mention that in case of even numbers the cyclotomic polynomials for the Cosines of the angles can be represented in the form (we use )
1By definition, a polynomial is palindromic if for all coefficients holds .
2With a PC and program Mathematica one may astonishingly easily and quickly calculate the polynomials for “high” n in explicit form by factorization of . It seems that such polynomials with coefficients of modulus preferably appear if the composite numbers n are products of primes 3, 5, 7, 11, ... (e.g, ) but not for all such products (not besides for , e.g., for but for, e.g., ). For the polynomial contains a lot of coefficients of modulus 1, 2, 3 or equal to 0 and is of degree 480.
The vanishing of these polynomials provides as solutions the possible Cosines of the angles to the corners of the n-gons with even with exclusion of the already eliminated Cosines .
We mention here that as (irreducible) cyclotomic polynomials are mostly understood the polynomials divided by all products of (irreducible) polynomials where runs over all divisors of n (i.e., irreducible in the sense of coefficients in or in but likely here already in ) (e.g., van der Waerden  , Stillwell  , Shkolnik  (p. 40)). They are for palindromic polynomials (only is not palindromic) with real coefficients1. General explicit formulae for the polynomials seem to be possible for different divisibility classes and for prime it is
that means they are then of degree . Stillwell 
(p. 70) mentions as a curious property of the polynomials that the first polynomial with coefficients of modulus 2 besides 1 (and 0) is of degree 48 whereas all polynomials with possess coefficients only of modulus 1 or equal to 02.
In connection with constructions by rhombic bicompasses and ruler we are
mainly interested in factorizations of the polynomials with not higher
than (in general, nested) quadratic radicals in the coefficients. A general explicit formula for the factorized polynomials could not be obtained but a procedure will be described how such factorization in given cases leads to the result.
3. Cycles in the Circle-Division Problem
We explain in this Section the factorization of the cyclotomic equation for odd and concentrate us to the case where p is a prime number
larger than . A solution of the cyclotomic equation
is called a primitive root if there does not exist a positive integer
for which . It is clear that in each case is a
primitive root and that for prime numbers all solutions with are primitive roots (only is never primitive).
For prime the cyclotomic polynomial in the form cannot be
factorized into polynomials with integer coefficients. It is said that it is irreducible in and therefore also in with coefficient of the highest power equal to 1. Obviously, this does not mean that it is not factorizable into polynomials with radicals in the coefficient from which such are interesting for us which contain not higher than quadratic radicals since such radicals are constructible by compass and ruler. To obtain such factorizations one may apply a procedure using the little theorem of Fermat. We explain this in the following.
According to the little theorem of Fermat (e.g.,    ) for prime numbers p and natural numbers holds (symbol º stands here for congruences modulo p)
This means that for prime numbers and for the primitive root we have
We choose positive integers and form first with the solution
the sequences up to the case when . Each such sequence we call a cycle. The sequence , latest after the next step to , leads back to the
initial solution . If is a divisor of then, depending on the choice of g, the mentioned sequence may lead back to already after steps. For odd prime the numbers and are divisors of and there are sequences with cycle lengths 2 belonging to the choice and such with cycle lengths and . If one does not begin with the element in a cycle but with another element of this cycle then one obtains by the described procedure the same cycle with rotated order of the elements. If a root is not contained in a certain cycle then we form the
sequences and obtain for
prime n an equivalent cycle of the same length and so we may continue up to the case when all numbers , ( are comprised.
We illustrate the factorization in cycles for our two most interesting prime cases and 13:
1. Case , basic cycles (all equalities are modulo 7 in the indices)
For and the sequences are 6-cycles which comprise all solutions in different order of the elements. For and we find equivalent 3-cycles in different order of the elements which can be complemented by the 3-cycle to comprise all elements . For we find the 2-cycle which can be complemented by the other possible 2-cycles and for which one does not find a factorization in polynomials of 2-nd degree with only quadratic radicals in the coefficients. In the trivial case one finds in every case only the 1-cycle with element which can be complemented by 1-cycles of the other roots.
2. Case , basic cycles (all equalities are modulo 13 in the indices)
We have here cycles of lengths which all are divisors of . For example, we find the following four 3-cycles covering all primitive roots where the two pairs of 3-cycles in braces form two 6-cycles. The 3-cycles follow from the subdivision of the 12-cycles in two step by division of 2 leading first to two 6-cycles and then in last step by division of 2 to four 3-cycles. The subdivision of the cyclotomic equation of 12-th degree in a product of six 2- cycles with quadratic equations containing 6 paired roots does not lead to the explicit form of the quadratic equations since the resolution of the 12-degree cyclotomic polynomial in one step by division of 3 is not possible with coefficients in form of quadratic radicals independently from the order in which the division by 3 is made, from or . Therefore the three 4-cycles obtained from choice and are also not to find in form of polynomial equations with only quadratic radicals as coefficient. Each of these three 4-cycles contains only one of the roots of the four 3-cycles.
If we look to the cycles in (3.3) and (3.4) we find in case of for the sum of the powers of g within the cycle
This is a general property which we will prove now. According to the definition of a cycle of length the power is the last in the cycle before the next power leads back the root to and is congruent to 1 modulo n. Since the sum on the left-hand side in (3.5) is a positive integer and is also a positive integer the right-hand side in (3.5) is a positive integer and due to the given congruence a multiple of n. From this follows for the product of roots within a cycle with the primitive root
The same is the case with each cycle of the length containing an arbitrary primitive root . A consequence is that we know at once the constant term in the factorized cyclotomic polynomials that is of importance when we begin from behind (low-order k-terms proportional to ) to find the factor polynomials in factorizations.
The question about the cyclotomic polynomials of degree
Table 2. Fermat numbers and related numbers and factorization into prime numbers.
which can be split into products of polynomials of 3-rd degree (3-cycles) leads basically, analogously to Fermat numbers , to numbers which have to be prime numbers. Table 2 shows the few initial possibilities up to .
For the next three cases the numbers and are composite numbers as the computer shows but these numbers grow very fast and my PC (with program “Mathematica 10”) did not provide a result for the next case of both numbers in acceptable time. However, it is now known that all numbers from up to are composite without knowing all prime factors in all these cases (see  , end of chap. 5). Since the number is composite it is not a possible candidate for construction of the regular 49-gon by rhombic bicompasses and ruler.
We mention here that if one admits angle trisection by a neusis construction attributed to Archimedes   as an additional element of constructions which in our persuasion is not in the spirit of ancient constructions by compass and ruler then one comes to possible numbers for the solubility of the circle division problem of the form if they are prime numbers and which are called Pierpont numbers (from 1895, see   ). These numbers are more general ones than the Fermat numbers and also than the numbers in Table 2 (see also end of Section 11).
4. Factorization of Cyclotomic Polynomial for n = 3 with Real Coefficients
In case of the cyclotomic polynomial can be represented
It is written down here for the analogy to higher less trivial cases.
5. Factorization of Cyclotomic Polynomial for n = 5 with Quadratic Radicals
In case of the cyclotomic polynomial possesses the factorization
with two 2-cycles which has the form
The complex conjugate roots and modulo 5 are here paired in one of the two 2-cycles and therefore the coefficients in form of quadratic radicals possess real values. The case of the regular pentagon is also commonly known and we do not consider it in detail.
6. Factorization of Cyclotomic Polynomial for n = 7 with Quadratic Radicals
In case of the cyclotomic polynomial possesses the following
factorization with two 3-cycles with only quadratic radicals in the coefficients
The factorization in this case with only quadratic radicals in the coefficients and concerning the corners of the regular heptagon was discussed in  . It is easy to determine this factorization with quadratic radicals in the coefficients
from and with imagi- nary party to find from the polynomial using and .
The “primitive” roots of the polynomials (6.1) form two 3-cycles and modulo 7 in the indices. The quadratic radical for the sum together with the circle division in 7 equal parts is shown in Figure 1.
In Figure 2 we illustrate possibilities for the construction of the regular heptagon by bicompasses and ruler and draw additionally a circle with radius around the coordinate origin which is equal to the distance
from the coordinate origin to the fixed point of the bicompasses.
This circle possesses intersection points with the circle of radius around
the mentioned second fixpoint at and at in the complex plane as one easily calculates. In this way we see that the intersection point lies on the second arm of the absolute mini-
Figure 1. Regular heptagon with axes projection of corners in complex z-plane. Besides the coordinate origin the second fixed point for the rhombic bicompasses is (figure from  made by “Mathematica 6”).
mum 3-arm bicompasses (see  ) in the right position for the construction of the regular heptagon that means on the line between and . Clearly, one has not only to believe to the optical impression but have to prove it.
The line between and can be parameterized by
with real parameter r. For the parameter value (numerically
) one finds that the value z on the line between and
coincides with the point according to
Thus we have to bring the second arm of the absolute minimum 3-arm
bicompasses in the position that it intersects the point which last can
be constructed by the intersection of the two mentioned circles and an alternative method of construction of the regular heptagon is described.
In addition, Figure 2 shows that the point lies also on the
prolongation of the line between and . This line can be para- meterized with real parameter s by
For the parameter value (numerically ) one
finds that the value z on the prolongation of the line between and
Figure 2. Regular heptagon and construction with rhombic bicompasses and ruler in complex z-plane. Additionally to the fixed points for the bicompasses and corresponding circles of radius we have drawn a circle around the coordinate origin with radius and obtain in this way a modified construction by absolute minimum bicompasses with 3 arms (figure made as all following figures by “Mathematica 10”).
coincides with the point according to
that affirms the mentioned intersection.
In  it was already shown that the point lies on the line between and which can be parameterized by
with real parameter t. With the parameter value (numerically ) follows
that proves the statement. This, alternatively, can be also used for the con- struction of the regular heptagon by rhombic bicompasses and ruler. We mention that the parameters with the notation r and t are essentially the same since .
The equation for the Cosines (equation for in Table 1, Equation (2.4))
is a 3-rd degree equation which cannot be solved only in quadratic radicals as it is known and its solution involves (complex) cubic radicals. Therefore, this does not help for the construction by compass and ruler. However, with other means of construction (e.g., neusis construction of angle trisection    and Gleason  (angle p-section)) this becomes possible.
Thus the regular heptagon loses a little its horror as not constructible by compass and ruler between the cases of the regular trigon and the regular octagon since it is constructible by bicompasses and ruler.
7. Factorization of Cyclotomic Polynomial for n = 9 in Different Ways
Since is a composite number we find different favorable factorizations of the cyclotomic polynomials. As special roots the circular division of the unit circle in 9 equal sectors contains the third roots of unity and we have the factorization
where the second factor in braces is of the form of the first factor with the substitution . It requires the angle trisections of the angles to the roots
and . This is possible by the neusis
construction known from ancient time   which, however, is not in the spirit of constructions by compass and ruler. The last is impossible for almost all
arbitrary angles including the angle . Therefore, as known, the circle
division problem in case of cannot be solved by compass and ruler since
the third root of an arbitrary complex number (here of ) cannot
be constructed in this way. This can be also seen from the equation of Table 1
(Equation (2.4)) for the doubled Cosines as
the solutions of the following polynomial equation in factorized form
From the coefficients of the vanishing cubic polynomial follows
where the second relation does not provide independent in formation in comparison to the first. The cubic equation can be solved by cubic but not by quadratic radicals alone.
The ‘standard’ factorization into two polynomials of 4-th degree is
In the factor polynomials of 4-th degree are contained two 3-cycles and paired with one of the third roots and of unity. Other genuine than 3- and 6-cycles do not exist in case of but it happens that the root appears in the determination of the cycles according to the general procedure (it is then no more a cycle) that for prime n is impossible.
A similar interestingly simple factorization by two polynomials of 4-th degree follows directly from (7.1) by the product
and means the exchange of the factors and . It is possible due to as a composite number.
8. Factorization of Cyclotomic Polynomial for n = 11 with Quadratic Radicals
In case of one has only the following factorization by 5-cycles which leads to polynomials with quadratic radicals in the coefficients
The 5-cycle in the first factor is formed by the roots and the second factor by the complex conjugate roots , all (mod 11).
The equation for the doubled Cosines (case in Table 1 (Equation (2.4)) as a genuine 5-th order equation without special symmetries is not possible to solve in radicals as it is known.
9. Factorizations of Cyclotomic Polynomial for n = 13 with Quadratic Radicals
The case is very interesting due to factorization of the cyclotomic equation by polynomials of 3-rd degree with only quadratic radicals in the coefficients in 3-cycles. This makes it possible for the application of the rhombic bicompasses and ruler for the construction of the regular tridecagon (13-gon).
The first factorization by two 6-cycles provides two factor polynomials of 6-th degree with real coefficients
Each of the two factor polynomials of 6-th degree can be again factorized in two polynomials of 3-rd degree with only quadratical radicals in the coefficients and the involved zeros we find from the four 3-cycles with the first involving the element explicitly given in (3.4)
This means that the fixed points of the two rhombic bicompasses besides the coordinate origin are the following quadratic radicals and or their complex conjugates
Together with the circle division problem the two principally possible fixed points (without the complex conjugate ones) for the bicompasses are shown in Figure 3.
The sums and differences of the fixed points are also expressible by only quadratic radicals. We find for the sums algebraically and numerically
Figure 3. Two variants of rhombic bicompasses in case of a regular 13-gon. The two fixed points of the rhombic bicompasses are and in first picture and and in second picture (see text).
and for the differences
All these numbers and radiuses are constructible by compass and ruler. The points alone and combinations of only two such points in form of are not constructible by compass and ruler since they contain cubic radicals.
This is illustrated in Figure 4 and Figure 5 where the two additional possibilities with the complex conjugate fixed points are obtained by reflection of each partial picture at the horizontal line through the coordinate origin. This provides 4 possibilities for the common combination of the two rhombic bicompasses where two of them are obtained again by reflection on the horizontal line through the coordinate origin. The two essentially different ones
Figure 4. First of two variants of correlated rhombic bicompasses in case of a regular 13-gon.
According to Table 1 (Equation (2.4)) the doubled Cosines
are the roots of the 6-th
degree polynomial equation with 6 real-valued solutions
The polynomial on the left-hand side of this equation can be factorized in two polynomials of 3-rd degree with only quadratic radicals in the coefficients in the following way 
This corresponds to the following relations for sums of the Cosines
Figure 5. Second of two variants of correlated rhombic bicompasses in case of a regular 13-gon.
and for products of the same Cosines
One may obtain these relations from relations (9.3) for the fixed points of the rhombic bicompasses. Relations (9.9) do not give additional independent information to relations (9.8). This can be seen if one transforms the products in (9.9) into sums using addition theorems for trigonometric functions. The same is true for the relations obtainable from the coefficients in front of u in (9.7).
Equation (9.6) together with (9.7) means that the cyclotomic equation for can be exactly solved by not higher than cubic radicals. This, however, is not appropriate for the construction by compass and ruler which allows only quadratic radicals. The same conclusion can be drawn for the full solutions of the corner points of the regular 13-gon by setting equal to zero the four 3-rd degree polynomials in (9.2) of the factored cyclotomic polynomial (9.1).
The real construction of the regular 13-gon by rhombic bicompasses and ruler seems to be rather complicated. One may distinguish two principal cases:
1. The use of only one of the two possible bicompasses shown in the two pictures in Figure 3.
The problem in first case is that during the application of the bicompasses, for example, to points and in first partial picture in Figure 3 one has to find the position when the angle between and is the doubled angle between and that is equivalent to solve the trisection of the angle between and . The same problem arises if we use the points and or and instead of and . In principal, an angle trisection can be made by a neusis construction attributed as already said to Archimedes   but it is not in the spirit of construction by compass and ruler and, furthermore, it is unclear how it could be combined at the same time with the action of the bicompasses. We could not find a possibility also in case if we use in addition to one of the bicompasses the corresponding bicompasses with the complex conjugate fixed point.
The second case with correlated bicompasses seems to be, in principal, possible. In case of the regular heptagon we found points from the pictures on the arms of the bicompasses or on their prolongation which can be expressed by not higher than quadratic radicals and proved this property then algebraically. In case of the 13-gon we go a similar way but start from an opposite point of view. We look for possibilities of points on the lines between corners of bicom- passes which can be represented by not higher than quadratic radicals. We consider the bicompasses which in the right position determine the corner points of the regular 13-gon (see Figure 4). A first possibility is then to look on the line between and with on the other bicompasses which can be parameterized with real parameter r by
With the choice of a real parameter with real parameter
The points with real are, in general, and contrary to not representable by only quadratic radicals and, therefore, we set in (9.11).
An analogous second possibility to the described one is to look on the line between of the first bicompasses and with of the second bicompasses which can be parameterized with real parameter s by
Then with the choice of parameter we find
A third equivalent possibility is to look on the line between on the first bicompasses and with on the second bicompasses. It can be parameterized with real parameter t by
With the choice we obtain
All three possibilities lead to the fixed point of the first bicompasses expressible by quadratic radical through which or through their prolongations the considered parameterized lines have to go. There are also further equivalent possibilities to use instead of the constructible points and their sums and differences which we did not investigate up to now in detail.
For the real construction one has to establish a correlation between the two bicompasses with fixed points and in such a way that when one of these bicompasses is in the right position the second at the same time has also to be in the right position for the angle division in thirteen equal parts. This means that we have to guarantee that the second of the bicompasses acts in concerted way with the first. It seems that one can use for such a coupling, for example, that the point of the first bicompasses lies exactly on the line (arm) between and of the second bicompasses (see Figure 4). This is already clear from symmetry and does not need to be proved. One has to guarantee that the point equivalent to in the right position of the bicompasses may glide along the line from to in the right position during the action of the two bicompasses. Then the point of the second bicompasses makes a bisection of the angle formed by the points and of the first bicompasses during their action when they arrive the right position. To determine this bisection seems to be possible during the action of the bicompasses. There are equivalent possibilities to realize the construction by the two bicompasses.
A weak point is the gliding of a point (here ) on a line (here between and ) as an admissible action in the spirit of geometric constructions from ancient time on. This is somehow problematic and requires more discussion in future as we are able to give here at this time.
There are also some not exact coincidences looking onto the figures one could think to be exact coincidences and which in the study of languages would be called ‘false friends’. They may be used for approximate constructions of the 13-gon but it is not our intention to find and discuss them in detail. We mention only a few ones which are evident from the figures. The point lies on the circle with radius equal to 1 around the coordinate origin but not at the same time on the circle with radius equal to 1 around that is already optically to sense in Figure 4 and Figure 5. The projection of the point onto the real x-axis is not exactly equal to 1 as it seems to be from Figure 4 and numerically we find where the deviation of the real part from 1 is widely above the numerical errors of calculation and it is nothing more to prove in this case. This is also clear since is not representable by quadratic radicals. The line from coordinate origin 0 to fixed point does not bisect the angle between and as from para-
meterized line set equal to the bisected angle
with numerically calculated complex (but not real) follows.
10. Factorization of Cyclotomic Polynomial for n = 15 with Quadratic Radicals
According to the composite number the cyclotomic equation contains the cases of the cyclotomic equations for and as factors and possesses the form
The last factor is the irreducible part of the cyclotomic polynomial (with coefficients in ) and is denoted by can be decomposed in two complex conjugate factors according to
In this factorizations we have two 4-cycles with the zeros and with . From the given factorizations and from other considerations follow some known possibilities to solve the circle division problem for with compass and ruler and we do not further discuss this.
11. Factorizations of Cyclotomic Polynomial for n = 17 with Quadratic Radicals
The possibility of the solution of the circle division problem in case together with the solution of the general problem from ancient time for which n it can be solved at all by compass and ruler was discovered by the young Gauss and is represented in numerous books (e.g.,    and others). The representation here of this known case illustrates our approach and facilitates its understanding in the unknown cases, in particular for .
A first factorization of the cyclotomic polynomial which is palindromic in two palindromic polynomial factors with quadratic radicals in the coefficients is
The first factor, for example, involves the zeros . The two palindromic factor polynomials of 8-th degree can be decomposed each in the product of two polynomials of 4-th degree which are also palindromic in the following way:
3A palindromic polynomial of 8-th degree cannot be decomposed, in general, in a product of 2 palindromic polynomials of 4-th degree with not higher than quadratic radicals in the coefficients such as in formulae (11.2) and (11.3) and this is only possible under certain restrictions to the coefficients of the 8-th degree palindromic polynomial. There are, however, also some interesting relatives to palindromic polynomials of n-th degree without special names. These are, in particular, polynomials where the coefficients in front of are equal to to that of or where they are complex conjugate to the coefficients in front of with possible additional factors .
In the factorization we have a product of 4 palindromic polynomials of 4-th degree each of which can be decomposed again in a product of 2 palindromic polynomials of now 2-nd degree with only quadratic radicals in the coefficients according to the general formula3
This provides the further splitting in products of pairs of two palindromic polynomials of 2-nd degree as follows:
The bigger brackets in the short and in the explicit expressions correspond to each other in their ordering in the written form of the formulae.
The coefficients in all the polynomials of second degree in (11.5)-(11.8) in front of z are real ones and the half of the negatively taken value provides the Cosine of the corresponding angle. From first factor in first polynomial in (11.5),
for example, one find , that means the Cosine of the angle to the first
corner of the 17-gon which is explicitly
This is identical in content (but not in form) with the expression derived by Gauss in Section 365 of Disquisitiones Arithmetica as given in the citation by Edwards  on p. 32 and here cited according to him (see also Stewart  (p.
232)). All values for can be taken from the corres-
ponding coefficients in the quadratic factor polynomials in (11.5)-(11.8).
Let us give for completeness and for the factorization of the polynomial
for in Table 1 (Equation (11.4)) with coefficients in
form of quadratic radicals the complete expressions for the doubled Cosines for all primitive roots . From (11.5) and (11.6) follows for
where the first of the two indices in corresponds to the upper sign and the second to the lower one in “ ” and, analogously, from (11.7) and (11.8)
The factorization of taken together with (11.5)-(11.8) can be formally written
where the explicit form of the coefficients given in (11.10) and (11.11) are taken from (11.5) and (11.8). If we insert the expressions for u into the cyclotomic Equation (2.5) for using Table 1 (Equation (2.4))
then its vanishing is identically satisfied. We checked this algebraically by computer with “Mathematica”4 and we checked also numerically by computer that the order of the braces and big brackets in different parts of the Formulae (11.2) and (11.3) and in Formulae (11.5)-(11.8) remains preserved.
Since in case of the regular 17-gon all Cosines of the angles are expressed by quadratic radicals the multiplication of arbitrary factors leads again to polynomials with only quadratic radicals in the coefficients. Therefore, the factorization of cyclotomic polynomials such as (11.13) with quadratic radicals in the coefficients admits many possibilities but only a few lead to simple expressions. In a first step one may obtain the following factorization of the polynomial of 8-th degree on the right-hand side of (11.13) into the product of two polynomials of 4-th degree with quadratic radicals as coefficients
4The used program “Mathematica 10” does not automatically provide the solutions of (11.13) in the explicit form of the but affirms immediately the satisfaction of the equation if we insert there separately their explicit values.
This is certainly the simplest of the possible factorizations of the 8-th degree polynomial in two polynomials with quadratic radicals as coefficients. The first factor polynomial contains the factors and the second the remaining factors . Further factori- zations of the polynomials of 4-th degree into products of polynomials of 2-nd degree with quadratic radicals in the coefficients are to obtain in analogous way using Formulae (11.2)-(11.3) and since each factorization in factors contains only quadratic radicals this is even possible in different ways. We do not write down all this.
The general possibilities for the construction of regular n-gons by compass and ruler according to the rules of ancient time which young Gauss finally found and proved and which the problem solved forever are the following (e.g.,   ). The basis form such Fermat numbers which are prime numbers . We denote them by . An n-gon is constructible by compass and ruler if it is a power (for angle bisections) multiplied by an arbitrary product of distinct prime Fermat numbers that means
As it is well known the first 5 Fermat numbers which are and are all prime numbers but the next Fermat number is composite (e.g.,   ; see also Table 2 in Section 3). The analogous case of numbers for geometric constructions by bicompasses and ruler are given also in Table 2.
By combinations of constructions by compass and ruler with constructions by bicompasses and ruler one finds further possibilities to solve the circle division problem geometrically. For example, by combination of the constructions of the
angles or with the angles or by bicompasses one may
We see that in connection with (repeated) angle bisections admitted by
powers of 2 in front of the circle division problem can be principally also solved, for example, for . More generally, if the angles and are constructible, one may consider the combinations with
and in analogous way.
12. Is Factorization of Cyclotomic Polynomial for n = 19 with 3-Cycles and with Only Quadratic Radicals Possible?
In case of we find as a first factorization of the cyclotomic polynomial
A further factorization of the two polynomial factors in three 3-cycles each with only quadratic radicals in the coefficients is not possible since such an ansatz leads to cubic equations for the coefficients. Therefore the construction of the 19-gon is not possible by compass and ruler as well as it is not possible by rhombic bicompasses and ruler.
13. Some General Rules for the Factorization of the Special Palindromic Polynomials in Two Factors with Quadratic Radicals in the Coefficients
If one looks through the first factorizations of the cyclotomic polynomials
for odd into the product of
two ‘similar’ polynomials of m-th degree with only quadratic radicals in their coefficients as explicitly given up to one finds at once some regularities. First, one may distinguish two categories for odd n first where the coefficients in the both factor polynomials possess real coefficients and second where they possess complex conjugate coefficients. It depends on the two cycles of length m and on their content of roots. If each such factor involves together with each root also the conjugate root modulo n then all coefficients are real ones. This is the case up to only for and which are prime Fermat numbers and for . In all other cases up to as one can see from the given explicit factorization the coefficients in the two factor polynomials are complex conjugate to each other. One may take this into account if one knows the involved roots of the two cycles which lead to this factorization. From the coefficients in front of and of the cyclotomic
polynomial which are equal to 1 as for all its coefficients one can deter-
mine both coefficients and in the two factors of their principal form . One may begin to determine the coeffi- cients in the factorized form also from the low-order powers of z or better at once from both sides, from the high-order and from the low-order powers of z. From the consequence (3.6) of the Fermat theorem follows, at least, for prime numbers that in the first factorization of the cyclotomic polynomial
into a product of two polynomials of degree m with quadratic radicals
only that the coefficients of the powers to can also be only depending on m as an even or odd number. In next steps one has to look what follows from the symmetries and have to introduce unknown quantities for the coefficient which can be successively determined from the multiplication of the two factorized polynomials which have to give the initial cyclotomic polynomials. It is obvious how in the second-highest and second-lowest coefficients appear the square roots of n (for prime n) but for coefficients more to the middle of the polynomials it is difficult to derive general formulae.
14. The Number as the Second of the Basis Vectors of a Klein Lattice in the Complex Plane with Unique Prime Factorization
We make now a small digression. Conway and Smith  describe from p. 15 on the lattices in the complex plane with respect to the factorization into products of prime complex lattice vectors. The unique factorization of Gaussian integers and also of Eisenstein integers can be found in number-theoretic works (e.g.,  ) but all possible lattices where such a unique factorization into products of prime factors is possible was up to now seldom to find. According to Conway and Smith  there are only 9 such lattices (up to rotations and scalings) and the proof for the completeness of these lattices with such a property goes back to Heegner and independently to Baker and Stark. What is very interesting for us although not directly connected with the unique prime factorization is that next to the Gaussian integers (possible basis and the Eisenstein integers
(possible basis the Klein integers (‘Kleinian ring’) with possible basis possesses this property  . The complex number plays a main role as second of the fixed points besides the coordinate
origin in our construction of the regular heptagon by rhombic bicompasses and ruler (see Section 6). The Klein lattice is formed by the set of all lattice points 
The norm of the lattice points that is the squared modulus of an arbitrary complex number z is
which is a non-negative integer.
Similar pictures as they are known for the distribution of the Gauss primes and for the Eisenstein primes in the complex plane (see, e.g., Conway and Smith  , p. 224 (in English Ed.) and  , p. 18 and particularly beautiful (larger) in the book of Guy  , pp. 56, 57) would be also very interesting for the Klein primes (with 7-fold symmetry as subgroup of permutation group ).
Present article results mainly from investigations to the problem for which n a regular n-gon besides the regular heptagon ( ) may be constructed by rhombic bicompasses and ruler. We found that the next possible case is the regular tridecagon ( ) although some problems of the realization of the construction remained open. The technical design of rhombic bicompasses, in particular, if the arm length should be variable within certain limits, we do not consider as our problem to which we may contribute. We posed our mathe- matical problem into the general frame of the solution of the cyclotomic equation and of the factorization of the cyclotomic polynomials for arbitrary n where only concerning the factorization with integer or rational coefficients (in or ) of the (irreducible) factor polynomials exists a well-known theory. It is a special case of the Galois theory of the solvability of polynomial equations in radicals. Our approach to the factorization in case of and in the other cases with odd n to get factorization with coefficients which do not contain higher than quadratic radicals or cannot be resolved at all by radicals is similar to the usual approach in case of the 17-gon. The first task was to find the different cycles that is illustrated in detail for the cases and . The factorization with only quadratic radicals in the coefficients is then straight- forward using known details for the coefficients and determining the unknown from the general restrictions for the coefficients in systematic way.
5Edited by O. Breidbach with inclusion of some earlier publications of Ernst Haeckel and biographical notes under the title Kunstformen der Natur, Kunstformen aus dem Meer, Prestel-Verlag, 3. Auflage, München 2016.
Our bicompasses underlie hard restriction since they possess equal arm lengths and bundles of (maximum) three arms are connected with the two fixed points to guarantee to draw at once two circles of equal radius with correlation of points on the circles with one degree of freedom. The question is whether or not it is possible to solve other geometric construction problems with them as the described ones. However, the trisection of an arbitrary angle which is not possible with compass and ruler seems to be also not possible by bicompasses and ruler. It is due to the form of the equation for the Cosines of the trisected angle which is of third degree with vanishing coefficient in front of the 2-nd degree power which determines the two fixed points. The fixed points coincide in this case and the motion with one degree of freedom of the bicompasses is the rotation of a regular hexagon around the only fixed point. One position of this hexagon determines with 3 of its corner points the right position for the trisection of the angle but it cannot be determined which of the positions is the right. The restrictions to the bicompasses can be weakened. For example, the arm lengths can be varied and the number of arms between the fixed points may be increased to increase the degree of freedom. All this is a wide field and we are maybe only at the beginning of it.
In my previous article  I made some remarks about rare biological objects with 7-fold symmetry in heavy contrast to ubiquitous 5-fold symmetry in many plant families (please, amend there the scientific name for oleander into Nerium oleander). In the meanwhile I looked through the book of Ernst Haeckel Kunstformen der Natur from (1899-1904)5 with the wonderful drawings and with the aim to see whether or not are there biological objects with 7-fold symmetry and found two such objects: 1. table 34 (object 2) a colony forming alga from genus Pediastrum of the green algae Chlorophyta of kingdom Protista (or Plantae? due to other authors), 2. table 85 (fourth object in last column) a colonial ascidian (sea squirt) Cynthia of subphylum Tunicata to phylum Chordata of kingdom Animalia.
Appendix A. Two Linear Combinations of the Chebyshev Polynomials of First and Second Kind
In Section 2 we came accross a class of polynomials for which sometimes the new notation is introduced. In this connection there are defined the following two relatives of the Chebyshev polynomials (see  , p. 60 without notations and and, e.g.,  , p. 442)
called also Chebyshev polynomials of third and fourth kind. By multiplication of
numerator and denominator of the first Equation in (A.1) with and of the second equation with and applying then the addition theorems
for trigonometric functions one obtains
This can be also written in different representations (we use and may use with special case )
where denotes the Jacobi polynomials.
The orthogonality relations and weight functions for the polynomials and in the real interval are different from that for the Chebyshev polynomials and and follow from the general orthogonality relations for the Jacobi polynomials. The weight functions are
and for and , respectively, instead of
and for and , respectively. This circumstance may justify the separate introduction of and but most relations for these polynomials can be directly obtained from that for the Chebyshev polynomials of first and second kind.