**Advances in Pure Mathematics**

Vol.07 No.09(2017), Article ID:79341,35 pages

10.4236/apm.2017.79032

Factorization of Cyclotomic Polynomials with Quadratic Radicals in the Coefficients

Alfred Wünsche^{ }

Formerly: Institut für Physik, Humboldt-Universität, Berlin, Germany

Copyright © 2017 by author and Scientific Research Publishing Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

Received: August 2, 2017; Accepted: September 24, 2017; Published: September 27, 2017

ABSTRACT

In this article we continue the consideration of geometrical constructions of regular n-gons for odd n by rhombic bicompasses and ruler used in [1] for the construction of the regular heptagon ( $n=7$ ). We discuss the possible factorization of the cyclotomic polynomial in polynomial factors which contain not higher than quadratic radicals in the coefficients whereas usually the factorization of the cyclotomic polynomials is considered in products of irreducible factors with integer coefficients. In considering the regular heptagon we find a modified variant of its construction by rhombic bicompasses and ruler. In detail, supported by figures, we investigate the case of the regular tridecagon ( $n=13$ ) which in addition to $n=7$ is the only candidate with low n (the next to this is $n=769$ ) for which such a construction by rhombic bicompasses and ruler seems to be possible. Besides the coordinate origin we find here two points to fix for the possible application of two bicompasses (or even four with the addition of the complex conjugate points to be fixed). With only one bicompass one has in addition the problem of the trisection of an angle which can be solved by a neusis construction that, however, is not in the spirit of constructions by compass and ruler and is difficult to realize during the action of bicompasses. As discussed it seems that to finish the construction by bicompasses the correlated action of two rhombic bicompasses must be applied in this case which avoids the disadvantages of the neusis construction. Single rhombic bicompasses allow to draw at once two circles around two fixed points in such correlated way that the position of one of the rotating points on one circle determines the positions of all the other points on the second circle in unique way. The known case $n=17$ embedded in our method is discussed in detail.

**Keywords:**

Geometrical Constructions by Compass and Ruler, Bicompasses, Cyclotomic Polynomials, Chebyshev Polynomials, 7-Gon, 13-Gon, 17-Gon, Fermat Numbers

1. Introduction

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 ${F}_{l}={2}^{{2}^{l}}+1,\left(l=0,1,2,\cdots \right)$ with the long known cases corresponding to $n={F}_{0}=3$ and $n={F}_{1}=5$ and with the first unknown and surprising case at this time $n={F}_{2}={2}^{{2}^{2}}+1=17$ (e.g., [2] - [13] and the more popular articles of Gardner [14] [15] ). 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 [5] (chap. 8). The construction by compass and ruler requires not higher than quadratic radicals. In [1] it was shown that the regular heptagon ( $n=7$ ) 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 $\frac{{z}^{n}-1}{z-1}$ 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 $n={G}_{l}=3\cdot {2}^{{2}^{l}}+1$ in analogy to the Fermat numbers ${F}_{l}$ that means to $n=7$ for $l=0$ and next to $n=13$ for $l=1$ and discuss these cases in detail.

In present article we investigate the factorizations of the cyclotomic polynomials for low odd n (up to $n=19$ ) 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 $n=2m+1,\left(m=1,2,\cdots \right)$ 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 ( $n=7$ ) we add a further modification of its construction by rhombic bicompasses and ruler and we discuss in detail the interesting case $n=13$ where some problems remain open. For the well-known case $n=17$ 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 ${p}_{n}\left(z\right)$ for the complex corner points of a regular n-gon to circumradius $r=1$ at the coordinate origin as it is well known are

${p}_{n}\left(z\right)={z}^{n}-\mathrm{1,}\text{\hspace{1em}}\left(z\equiv x+\text{i}y\equiv \left(x\mathrm{,}y\right)\mathrm{,}\text{\hspace{0.17em}}{z}^{\mathrm{*}}\equiv x-\text{i}y\equiv \left(x\mathrm{,}-y\right)\right)\mathrm{.}$ (1.1)

The n complex solutions $z={z}_{k}=exp\left(\text{i}k\frac{\text{2\pi}}{n}\right)\mathrm{,}\left(k=\mathrm{0,1,2,}\cdots \mathrm{,}\text{modulo}\text{\hspace{0.17em}}n\right)$ of the cyclotomic equation

$0={z}^{n}-1=\left(z-1\right)\left({z}^{n-1}+{z}^{n-2}+\cdots +z+1\right)\mathrm{,}\text{\hspace{1em}}\left({z}_{0}\equiv {z}_{n}=1\right)\mathrm{,}$ (1.2)

solve the problem of the circle division into n equal sectors and determine the corner points

$\begin{array}{l}{z}_{k}\equiv exp\left(\text{i}k\frac{\text{2\pi}}{n}\right)\mathrm{,}\text{\hspace{1em}}{z}_{k}^{-1}={z}_{k}^{\mathrm{*}}\mathrm{,}\text{\hspace{1em}}\\ {z}_{k}{z}_{l}={z}_{k+l}={z}_{1}^{k+l}\mathrm{,}\text{\hspace{1em}}\left(k=0,1,2,\cdots ,\left(\mathrm{mod}n\right)\right)\mathrm{,}\end{array}$ (1.3)

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 $n=19$ . In particular, we discuss in detail the cases $n=7$ and $n=13$ which possess a relation to the application of bicompasses and ruler. In the case $n=17$ 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 [9] [11] [12] ).

2. The Cosine of the Angles for the Cyclotomic Polynomials in Odd Case $\text{\hspace{0.05em}}n=2m+1\text{\hspace{0.05em}}$

We consider in this Section the case of the Cosine of the angles for the odd case $n=2m+1,\left(m=1,2,\cdots \right)$ of the regular n-gon and introduce the Cosine of angles for z on the unit circle by

$x=\frac{z+{z}^{-1}}{2}=\frac{z+{z}^{*}}{2}\equiv \mathrm{cos}\left(\theta \right).$ (2.1)

The cyclotomic polynomials ${p}_{2m+1}\left(z\right)$ can be transformed to

$\begin{array}{c}\frac{{p}_{2m+1}\mathrm{(}z\mathrm{)}}{\left(z-1\right){z}^{m}}={z}_{0}+{\displaystyle \underset{k=1}{\overset{m}{\sum}}}\left({z}^{k}+{z}^{-k}\right)=1+2{\displaystyle \underset{k=1}{\overset{m}{\sum}}}cos\left(k\theta \right)=1+2{\displaystyle \underset{k=1}{\overset{m}{\sum}}}\text{\hspace{0.05em}}{\text{T}}_{k}\left(cos\left(\theta \right)\right)\\ =1+2{\displaystyle \underset{k=1}{\overset{m}{\sum}}}\text{\hspace{0.05em}}{\text{T}}_{k}\left(x\right)={\text{U}}_{m}\left(x\right)+{\text{U}}_{m-1}\left(x\right)\mathrm{,}\end{array}$ (2.2)

where ${\text{T}}_{n}\left(x\right)$ are the Chebyshev polynomials of first kind and ${\text{U}}_{n}\left(x\right)$ the Chebyshev polynomials of second kind (e.g., [16] [17] [18] ). The well-known property of the Chebyshev polynomials

${\text{T}}_{n}\left(cos\left(\theta \right)\right)=cos\left(n\theta \right)\mathrm{,}\text{\hspace{1em}}{\text{U}}_{n}\left(cos\left(\theta \right)\right)=\frac{sin\left(\left(n+1\right)\theta \right)}{sin\left(\theta \right)}\mathrm{,}$ (2.3)

is used. The relation between ${\text{U}}_{n}\left(x\right)$ and ${\text{T}}_{n}\left(x\right)$ 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 ${\text{U}}_{m}\left(x\right)+{\text{U}}_{m-1}\left(x\right)$ concerning the odd regular n-gons ( $n=2m+1$ ) one finds explicitly together with possible factorizations with integer or rational coefficients (i.e. in $\mathbb{Z}$ or $\mathbb{Q}$ ) in case of prime or composite n:

One peculiarity is that the polynomials ${\text{U}}_{m}\left(x\right)+{\text{U}}_{m-1}\left(x\right)$ take on their sim- plest form with lowest integer coefficients by the substitution $x=u/2$ (similarly to the polynomials ${\text{U}}_{m}\left(x\right)$ themselves; but not ${\text{T}}_{n}\left(x\right)$ ). These polynomials possess factorizations with integer coefficients for composite numbers $n=2m+1$ . The polynomials ${\text{U}}_{n}\left(z\right)+{\text{U}}_{n-1}\left(z\right)$ are sometimes denoted by ${\text{V}}_{n}\left(z\right)$ (see Appendix A).

The Cosines $cos\left(k{\theta}_{1}\right)=cos\left(k\frac{2\text{\pi}}{n}\right)$ of the angles $k{\theta}_{1}$ are obtained from the

solutions $x=\mathrm{cos}\left(\theta \right)$ of the equation

Table 1. Cyclotomic polynomials for odd n and variable $x=cos\left(\theta \right)\equiv \frac{u}{2}$ and integer factorization.

$\frac{{p}_{2m+1}\left(z\right)}{\left(z-1\right){z}^{m}}={\text{U}}_{m}\left(x\right)+{\text{U}}_{m-1}\left(x\right)=\mathrm{0,}\text{\hspace{1em}}\left(x\equiv \frac{z+{z}^{\mathrm{*}}}{2}\equiv cos\left(\theta \right)\right)\mathrm{,}$ (2.5)

with exclusion of the solution ${z}_{0}={x}_{0}=1$ . From the geometrical meaning of the polynomials as providing the doubled Cosines of the angle division problem as roots for odd $n=2m+1$ 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 $-1\le x=u/2\le 1$ .

Without further going into details we mention that in case of even numbers $n=2m+2$ the cyclotomic polynomials for the Cosines of the angles $k\theta $ can be represented in the form (we use ${\text{T}}_{-k}\left(x\right)={\text{T}}_{k}\left(x\right)$ )

$\begin{array}{c}\frac{{p}_{2m+2}\left(z\right)}{\left({z}^{2}-1\right){z}^{m}}={\displaystyle \underset{l=0}{\overset{m}{\sum}}}{z}^{m-2l}={\displaystyle \underset{l=0}{\overset{m}{\sum}}}\frac{{z}^{m-2l}+{z}^{2l-m}}{2}={\displaystyle \underset{l=0}{\overset{m}{\sum}}}\mathrm{cos}\left(\left(m-2l\right)\theta \right)\\ ={\displaystyle \underset{l=0}{\overset{m}{\sum}}}\text{\hspace{0.05em}}{\text{T}}_{m-2l}\left(cos\left(\theta \right)\right)={\displaystyle \underset{l=0}{\overset{m}{\sum}}}\text{\hspace{0.05em}}{\text{T}}_{m-2l}\left(x\right)={\text{U}}_{m}\left(x\right)\mathrm{,}\text{\hspace{1em}}\left(x\equiv \frac{z+{z}^{\mathrm{*}}}{2}\equiv cos\left(\theta \right)\right)\mathrm{.}\end{array}$ (2.6)

^{1}By definition, a polynomial
${P}_{m}\left(z\right)={\displaystyle {\sum}_{k=0}^{m}}{a}_{k}{z}^{k}$ is palindromic if for all coefficients holds
${a}_{k}={a}_{m-k}$ .

^{2}With a PC and program Mathematica one may astonishingly easily and quickly calculate the polynomials
${\Phi}_{n}\left(z\right)$ for “high” n in explicit form by factorization of
${p}_{n}\left(z\right)={z}^{n}-1$ . It seems that such polynomials with coefficients of modulus
$\ne 1$ preferably appear if the composite numbers n are products of primes 3, 5, 7, 11, ... (e.g,
$n=105=3\times 5\times 7$ ) but not for all such products (not besides for
$n<105$ , e.g., for
$n=231$ but for, e.g.,
$n=165,195,385$ ). For
$n=1155=3\times 5\times 7\times 11$ the polynomial
${\Phi}_{1155}\left(z\right)$ 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 $n=2m+2$ with exclusion of the already eliminated Cosines ${x}_{0}=1,{x}_{m+1}=-1$ .

We mention here that as (irreducible) cyclotomic polynomials
${\Phi}_{n}\left(z\right)$ are mostly understood the polynomials
${p}_{n}\left(z\right)={z}^{n}-1$ divided by all products of (irreducible) polynomials
${\Phi}_{d}\left(z\right)$ where
$d<n$ runs over all divisors of n (i.e., irreducible in the sense of coefficients in
$\mathbb{Q}$ or in
$\mathbb{Z}$ but likely here already in
$\mathbb{Z}$ ) (e.g., van der Waerden [3] , Stillwell [7] , Shkolnik [11] (p. 40)). They are for
$n\ge 2$ palindromic polynomials (only
${\Phi}_{1}\left(z\right)=z-1$ is not palindromic) with real coefficients^{1}. General explicit formulae for the polynomials
${\Phi}_{n}\left(z\right)$ seem to be possible for different divisibility classes and for prime
$n=p$ it is

${\Phi}_{n}\left(z\right)=\frac{{p}_{n}\left(z\right)}{z-1}={\displaystyle {\sum}_{k=0}^{p-1}}\text{\hspace{0.05em}}{z}^{k}$ that means they are then of degree $p-1$ . Stillwell [7]

(p. 70) mentions as a curious property of the polynomials
${\Phi}_{n}\left(z\right)$ that the first polynomial
${\Phi}_{n}\left(z\right)$ with coefficients of modulus 2 besides 1 (and 0) is
${\Phi}_{105}\left(z\right)$ of degree 48 whereas all polynomials
${\Phi}_{n}\left(z\right)$ with
$n<105$ possess coefficients only of modulus 1 or equal to 0^{2}.

In connection with constructions by rhombic bicompasses and ruler we are

mainly interested in factorizations of the polynomials $\frac{{p}_{n}\left(z\right)}{z-1}$ 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 $n=2m+1$ and concentrate us to the case $n=p$ where p is a prime number

larger than $p=2$ . A solution ${z}_{k}=exp\left(\text{i}k\frac{\text{2\pi}}{n}\right)$ of the cyclotomic equation

${z}^{n}-1=0$ is called a primitive root if there does not exist a positive integer

$m<n$ for which ${z}_{k}^{m}=1$ . It is clear that in each case ${z}_{1}=exp\left(\text{i}\frac{2\text{\pi}}{n}\right)$ is a

primitive root and that for prime numbers $n=p$ all solutions ${z}_{k}$ with $k=1,2,\cdots ,n-1,\left(\mathrm{mod}n\right)$ are primitive roots (only ${z}_{0}=1$ is never primitive).

For prime $n=p$ the cyclotomic polynomial in the form $\frac{{p}_{n}\left(z\right)}{z-1}$ cannot be

factorized into polynomials with integer coefficients. It is said that it is irreducible in $\mathbb{Q}$ and therefore also in $\mathbb{Z}$ 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., [3] [8] [9] ) for prime numbers p and natural numbers $g=1,2,\cdots ,\left(\mathrm{mod}p\right)$ holds (symbol º stands here for congruences modulo p)

${g}^{p-1}\equiv 1,\text{\hspace{1em}}\left(\mathrm{mod}p\right).$ (3.1)

This means that for prime numbers $n=p$ and for the primitive root ${z}_{1}$ we have

${z}_{1}^{{g}^{n-1}}={z}_{{g}^{n-1}}={z}_{1},\text{\hspace{1em}}\Rightarrow {z}_{k}^{{g}^{n-1}}={z}_{1}^{k{g}^{n-1}}={z}_{1}^{k}={z}_{k}.$ (3.2)

We choose positive integers $g=1,2,\cdots ,n-1$ and form first with the solution

${z}_{1}$ the sequences $\left({z}_{1}^{{g}^{0}}={z}_{{g}^{0}}={z}_{1},{z}_{1}^{{g}^{1}}={z}_{{g}^{1}},{z}_{1}^{{g}^{2}}={z}_{{g}^{2}},\cdots ,{z}_{1}^{{g}^{l}}={z}_{{g}^{l}}\right)$ up to the case when ${z}_{1}^{{g}^{l+1}}={z}_{{g}^{l+1}}={z}_{1},\text{\hspace{0.17em}}\left(\mathrm{mod}n\right)$ . Each such sequence we call a cycle. The sequence $\left({z}_{1},{z}_{{g}^{1}},{z}_{{g}^{2}},\cdots ,{z}_{{g}^{n-1}}\right)$ , latest after the next step to ${z}_{{g}^{n}}$ , leads back to the

initial solution ${z}_{1}$ . If $l$ is a divisor of $n-1=2m$ then, depending on the choice of g, the mentioned sequence may lead back to ${z}_{1}$ already after $l+1$ steps. For odd prime $n=2m+1$ the numbers ${l}_{1}=2,l=2m$ and ${l}_{2}=m$ are divisors of $n-1=2m$ and there are sequences with cycle lengths 2 belonging to the choice $g=2m$ and such with cycle lengths $m$ and $2m$ . If one does not begin with the element ${z}_{1}$ 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 ${z}_{k}$ is not contained in a certain cycle then we form the

sequences $\left({z}_{k}^{{g}^{0}}={z}_{k{g}^{0}}={z}_{k},{z}_{k}^{{g}^{1}}={z}_{kg},{z}_{k}^{{g}^{2}}={z}_{k{g}^{2}},\cdots ,{z}_{k}^{{g}^{l}}={z}_{k{g}^{l}}\right)$ and obtain for

prime n an equivalent cycle of the same length and so we may continue up to the case when all numbers ${z}_{k}\ne {z}_{0}$ , ( $\mathrm{mod}n$ are comprised.

We illustrate the factorization in cycles for our two most interesting prime cases $n=7$ and 13:

1. Case $n=7$ , basic cycles (all equalities are modulo 7 in the indices)

$g=1:{z}_{1},\left({z}_{1}={z}_{1}\right),$

$g=2:{z}_{1}\text{\hspace{0.05em}},{z}_{2}\text{\hspace{0.05em}},{z}_{4}\text{\hspace{0.05em}},\left({z}_{8}={z}_{1}\text{\hspace{0.05em}}\right),$

$g=3:{z}_{1}\text{\hspace{0.05em}},{z}_{3}\text{\hspace{0.05em}},{z}_{9}={z}_{2},{z}_{6}\text{\hspace{0.05em}},{z}_{18}={z}_{4}\text{\hspace{0.05em}},{z}_{12}={z}_{5},\left({z}_{15}={z}_{1}\right),$

$g=4:{z}_{1}\text{\hspace{0.05em}},{z}_{4}\text{\hspace{0.05em}},{z}_{16}={z}_{2},\left({z}_{8}=\text{\hspace{0.05em}}{z}_{1}\text{\hspace{0.05em}}\right),$

$g=5:{z}_{1}\text{\hspace{0.05em}},{z}_{5}\text{\hspace{0.05em}},{z}_{25}={z}_{4},{z}_{20}={z}_{6}\text{\hspace{0.05em}},{z}_{30}={z}_{2},{z}_{10}={z}_{3},\left({z}_{15}={z}_{1}\right),$

$g=6:{z}_{1}\text{\hspace{0.05em}},{z}_{6}\text{\hspace{0.05em}},\left({z}_{36}={z}_{1}\text{\hspace{0.05em}}\right).$ (3.3)

For $g=3$ and $g=5$ the sequences are 6-cycles which comprise all $n-1$ solutions ${z}_{k}\ne {z}_{0}=1$ in different order of the elements. For $g=2$ and $g=4$ we find equivalent 3-cycles in different order of the elements $\left({z}_{1}\mathrm{,}{z}_{2}\text{\hspace{0.05em}}\mathrm{,}{z}_{4}\right)$ which can be complemented by the 3-cycle $\left({z}_{3},{z}_{6}\text{\hspace{0.05em}},{z}_{5}={z}_{12}\right)$ to comprise all elements ${z}_{k}\ne {z}_{0}$ . For $g=n-1=6$ we find the 2-cycle $\left({z}_{1}\mathrm{,}{z}_{6}\right)$ which can be complemented by the other possible 2-cycles $\left({z}_{2}\mathrm{,}{z}_{5}\right)$ and $\left({z}_{3}\mathrm{,}{z}_{4}\right)$ 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 $g=1$ one finds in every case only the 1-cycle with element $\left({z}_{1}\right)$ which can be complemented by 1-cycles $\left({z}_{k}\right)$ of the other roots.

2. Case $n=13$ , basic cycles (all equalities are modulo 13 in the indices)

$g=1:{z}_{1}\text{\hspace{0.05em}},\left({z}_{1}={z}_{1}\right),$

$\begin{array}{l}g=2:{z}_{1}\text{\hspace{0.05em}},{z}_{2}\text{\hspace{0.05em}},{z}_{4}\text{\hspace{0.05em}},{z}_{8},{z}_{16}={z}_{3},{z}_{6},{z}_{12},{z}_{24}={z}_{11}\text{\hspace{0.05em}},{z}_{22}={z}_{9},\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.05em}}{z}_{18}={z}_{5},{z}_{10}\text{\hspace{0.05em}},{z}_{20}={z}_{7}\text{\hspace{0.05em}},\left({z}_{14}={z}_{1}\right),\end{array}$

$g=3:{z}_{1}\text{\hspace{0.05em}},{z}_{3}\text{\hspace{0.05em}},{z}_{9}\text{\hspace{0.05em}},\left({z}_{27}={z}_{1}\text{\hspace{0.05em}}\right),$

$g=4:{z}_{1}\text{\hspace{0.05em}},{z}_{4}\text{\hspace{0.05em}},{z}_{16}={z}_{3},{z}_{12}\text{\hspace{0.05em}},{z}_{48}={z}_{9},{z}_{36}={z}_{10}\text{\hspace{0.05em}},\left({z}_{40}={z}_{1}\text{\hspace{0.05em}}\right),$

$g=5:{z}_{1},{z}_{5},{z}_{25}={z}_{12},{z}_{60}={z}_{8},\left({z}_{40}={z}_{1}\text{\hspace{0.05em}}\right),$

$\begin{array}{l}g=6:{z}_{1}\text{\hspace{0.05em}},\text{\hspace{0.05em}}{z}_{6}\text{\hspace{0.05em}},{z}_{36}={z}_{10}\text{\hspace{0.05em}},{z}_{60}={z}_{8}\text{\hspace{0.05em}},{z}_{48}={z}_{9}\text{\hspace{0.05em}},{z}_{54}={z}_{2}\text{\hspace{0.05em}},\text{\hspace{0.05em}}{z}_{12}\text{\hspace{0.05em}},{z}_{72}={z}_{7}\text{\hspace{0.05em}},\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.05em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}{z}_{42}={z}_{3}\text{\hspace{0.05em}},{z}_{18}={z}_{5}\text{\hspace{0.05em}},{z}_{30}={z}_{4}\text{\hspace{0.05em}},{z}_{24}={z}_{11}\text{\hspace{0.05em}},\left({z}_{66}={z}_{1}\text{\hspace{0.05em}}\right),\end{array}$

$\begin{array}{l}g=7:{z}_{1}\text{\hspace{0.05em}},\text{\hspace{0.05em}}{z}_{7}\text{\hspace{0.05em}},{z}_{49}={z}_{10}\text{\hspace{0.05em}},{z}_{70}={z}_{5}\text{\hspace{0.05em}},{z}_{35}={z}_{9}\text{\hspace{0.05em}},{z}_{63}={z}_{11}\text{\hspace{0.05em}},{z}_{77}={z}_{12}\text{\hspace{0.05em}},{z}_{84}={z}_{6}\text{\hspace{0.05em}},\\ \text{\hspace{1em}}\text{\hspace{1em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}{z}_{42}={z}_{3}\text{\hspace{0.05em}},{z}_{21}={z}_{8}\text{\hspace{0.05em}},{z}_{56}={z}_{4}\text{\hspace{0.05em}},{z}_{28}={z}_{2}\text{\hspace{0.05em}},\left({z}_{14}={z}_{1}\text{\hspace{0.05em}}\right),\end{array}$

$g=8:{z}_{1}\text{\hspace{0.05em}},\text{\hspace{0.05em}}{z}_{8}\text{\hspace{0.05em}},{z}_{64}={z}_{12}\text{\hspace{0.05em}},{z}_{96}={z}_{5}\text{\hspace{0.05em}},\left({z}_{40}={z}_{1}\text{\hspace{0.05em}}\right),$

$g=9:{z}_{1}\text{\hspace{0.05em}},\text{\hspace{0.05em}}{z}_{9}\text{\hspace{0.05em}},{z}_{81}={z}_{3}\text{\hspace{0.05em}},\left({z}_{27}={z}_{1}\text{\hspace{0.05em}}\right),$

$g=10:{z}_{1}\text{\hspace{0.05em}},\text{\hspace{0.05em}}{z}_{10}\text{\hspace{0.05em}},{z}_{100}={z}_{9}\text{\hspace{0.05em}},{z}_{90}={z}_{12}\text{\hspace{0.05em}},{z}_{120}={z}_{3}\text{\hspace{0.05em}},{z}_{30}={z}_{4}\text{\hspace{0.05em}},\left({z}_{40}={z}_{1}\text{\hspace{0.05em}}\right),$

$\begin{array}{l}g=11:{z}_{1}\text{\hspace{0.05em}},\text{\hspace{0.05em}}{z}_{11}\text{\hspace{0.05em}},{z}_{121}={z}_{4}\text{\hspace{0.05em}},{z}_{44}={z}_{5}\text{\hspace{0.05em}},{z}_{55}={z}_{3}\text{\hspace{0.05em}},{z}_{33}={z}_{7}\text{\hspace{0.05em}},{z}_{77}={z}_{12}\text{\hspace{0.05em}},{z}_{132}={z}_{2}\text{\hspace{0.05em}},\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\text{\hspace{0.17em}}{z}_{22}={z}_{9}\text{\hspace{0.05em}},{z}_{99}={z}_{8}\text{\hspace{0.05em}},{z}_{88}={z}_{10}\text{\hspace{0.05em}},{z}_{110}={z}_{6}\text{\hspace{0.05em}},\left({z}_{66}={z}_{1}\right),\end{array}$

$g=12:{z}_{1}\text{\hspace{0.05em}},\text{\hspace{0.05em}}{z}_{12}\text{\hspace{0.05em}},\left({z}_{144}={z}_{1}\right).$ (3.4)

We have here cycles of lengths $1,2,3,4,6,12$ which all are divisors of $n-1=2m=12$ . For example, we find the following four 3-cycles $\left\{\left({z}_{1}\text{\hspace{0.05em}}\mathrm{,}\text{\hspace{0.05em}}{z}_{3}\text{\hspace{0.05em}}\mathrm{,}\text{\hspace{0.05em}}{z}_{9}\text{\hspace{0.05em}}\right)\mathrm{,}\left({z}_{4}\text{\hspace{0.05em}}\mathrm{,}\text{\hspace{0.05em}}{z}_{10}\text{\hspace{0.05em}}\mathrm{,}\text{\hspace{0.05em}}{z}_{12}\right)\right\}\text{\hspace{0.05em}}\mathrm{,}\left\{\left({z}_{2}\text{\hspace{0.05em}}\mathrm{,}\text{\hspace{0.05em}}{z}_{5}\text{\hspace{0.05em}}\mathrm{,}\text{\hspace{0.05em}}{z}_{6}\right)\text{\hspace{0.05em}}\mathrm{,}\left({z}_{7}\text{\hspace{0.05em}}\mathrm{,}\text{\hspace{0.05em}}{z}_{8}\text{\hspace{0.05em}}\mathrm{,}\text{\hspace{0.05em}}{z}_{11}\text{\hspace{0.05em}}\right)\right\}$ 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 $\left({z}_{k},{z}_{-k}={z}_{k}^{*}\equiv {z}_{13-k},\left(k=1,2,\cdots ,6\right)\right)$ 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 $12\to 4\to 2$ or $12\to 6\to 2$ . Therefore the three 4-cycles $\text{\hspace{0.05em}}\left({z}_{1}\text{\hspace{0.05em}}\mathrm{,}\text{\hspace{0.05em}}{z}_{5}\text{\hspace{0.05em}}\mathrm{,}\text{\hspace{0.05em}}{z}_{8}\text{\hspace{0.05em}}\mathrm{,}\text{\hspace{0.05em}}{z}_{12}\right),\left({z}_{2}\text{\hspace{0.05em}}\mathrm{,}\text{\hspace{0.05em}}{z}_{3}\text{\hspace{0.05em}}\mathrm{,}\text{\hspace{0.05em}}{z}_{10}\text{\hspace{0.05em}}\mathrm{,}\text{\hspace{0.05em}}{z}_{11}\right)\mathrm{,}\left({z}_{4}\text{\hspace{0.05em}}\mathrm{,}\text{\hspace{0.05em}}{z}_{6}\text{\hspace{0.05em}}\mathrm{,}\text{\hspace{0.05em}}{z}_{7}\text{\hspace{0.05em}}\mathrm{,}\text{\hspace{0.05em}}{z}_{9}\text{\hspace{0.05em}}\right)$ obtained from choice $g=5$ and $g=8$ 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 $g\ne 1$ for the sum of the powers of g within the cycle

$\underset{j=0}{\overset{l}{\sum}}}{g}^{j}=\frac{{g}^{l+1}-1}{g-1}\equiv n,\text{\hspace{0.17em}}\mathrm{mod}\text{\hspace{0.17em}}n,\text{\hspace{1em}}\left(g\ne 1\right).$ (3.5)

This is a general property which we will prove now. According to the definition of a cycle of length $l$ the power ${g}^{l}$ is the last in the cycle before the next power ${g}^{l+1}$ leads back the root ${z}_{1}$ to ${z}_{{g}^{l+1}}={z}_{1}$ and ${g}^{l+1}$ is congruent to 1 modulo n. Since the sum on the left-hand side in (3.5) is a positive integer and $g-1\ne 0$ 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 ${z}_{1}$

$\underset{j=0}{\overset{l}{\prod}}}{z}_{{g}^{j}}={z}_{1}{z}_{g}{z}_{{g}^{2}}\cdots {z}_{{g}^{l}}={z}_{1}^{{\displaystyle \underset{j=0}{\overset{l}{\sum}}}{g}^{j}}={z}_{1}^{\frac{{g}^{l+1}-1}{g-1}}={z}_{\frac{{g}^{l+1}-1}{g-1}}={z}_{0}=1.$ (3.6)

The same is the case with each cycle of the length $l$ containing an arbitrary primitive root ${z}_{k}$ . 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 ${z}^{k}$ ) to find the factor polynomials in factorizations.

The question about the cyclotomic polynomials $\frac{{p}_{2m+1}\left(z\right)}{z-1}$ of degree $2m$

Table 2. Fermat numbers ${F}_{l}$ and related numbers ${G}_{l}$ 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 ${F}_{l}={2}^{{2}^{l}}+1$ , to numbers ${G}_{l}=3\cdot {2}^{{2}^{l}}+1$ which have to be prime numbers. Table 2 shows the few initial possibilities up to $l=5$ .

For the next three cases $l=6,7,8$ the numbers ${F}_{l}$ and ${G}_{l}$ 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 $l=9$ of both numbers in acceptable time. However, it is now known that all numbers ${F}_{l}$ from $l=9$ up to $l=19$ are composite without knowing all prime factors in all these cases (see [9] , end of chap. 5). Since the number ${G}_{2}=49$ 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 [2] [9] 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 ${P}_{k,l}={2}^{k}{3}^{l}+1,\left(k,l=0,1,2,\cdots \right)$ if they are prime numbers and which are called Pierpont numbers (from 1895, see [19] [20] ). These numbers are more general ones than the Fermat numbers ${F}_{l}$ and also than the numbers ${G}_{l}$ in Table 2 (see also end of Section 11).

4. Factorization of Cyclotomic Polynomial for n = 3 with Real Coefficients

In case of $n=3$ the cyclotomic polynomial $\frac{{p}_{3}\left(z\right)}{z-1}$ can be represented

#Math_226# (4.1)

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 $n=5$ the cyclotomic polynomial $\frac{{p}_{5}\left(z\right)}{z-1}$ possesses the factorization

with two 2-cycles which has the form

$\begin{array}{c}\frac{{z}^{5}-1}{z-1}={z}^{4}+{z}^{3}+{z}^{2}+z+1\\ =\left({z}^{2}+\frac{1-\sqrt{5}}{2}z+1\right)\left({z}^{2}+\frac{1+\sqrt{5}}{2}z+1\right)\\ =\left(\left(z-{z}_{1}\right)\left(z-{z}_{4}\right)\right)\left(\left(z-{z}_{2}\right)\left(z-{z}_{3}\right)\right)\mathrm{.}\end{array}$ (5.1)

The complex conjugate roots $\left({z}_{1}\mathrm{,}{z}_{4}\right)$ and $\left({z}_{2}\mathrm{,}{z}_{3}\right)$ 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 $n=7$ the cyclotomic polynomial $\frac{{p}_{7}\left(z\right)}{z-1}$ possesses the following

factorization with two 3-cycles with only quadratic radicals in the coefficients

$\begin{array}{c}\frac{{z}^{7}-1}{z-1}={z}^{6}+{z}^{5}+{z}^{4}+{z}^{3}+{z}^{2}+z+1\\ =\left({z}^{3}+\frac{1-\text{i}\text{\hspace{0.05em}}\sqrt{7}}{2}{z}^{2}-\frac{1+\text{i}\text{\hspace{0.05em}}\sqrt{7}}{2}z-1\right)\left({z}^{3}+\frac{1+\text{i}\text{\hspace{0.05em}}\sqrt{7}}{2}{z}^{2}-\frac{1-\text{i}\text{\hspace{0.05em}}\sqrt{7}}{2}z-1\right)\\ =\left(\left(z-{z}_{1}\right)\left(z-{z}_{2}\right)\left(z-{z}_{4}\right)\right)\left(\left(z-{z}_{3}\right)\left(z-{z}_{5}\right)\left(z-{z}_{6}\right)\right)\mathrm{.}\end{array}$ (6.1)

The factorization in this case with only quadratic radicals in the coefficients and concerning the corners of the regular heptagon was discussed in [1] . It is easy to determine this factorization with quadratic radicals in the coefficients

from ${z}_{1}+{z}_{2}+{z}_{4}=-\frac{1}{2}+\text{i}y$ and ${z}_{6}+{z}_{5}+{z}_{3}={z}_{1}^{\mathrm{*}}+{z}_{2}^{\mathrm{*}}+{z}_{4}^{\mathrm{*}}=-\frac{1}{2}-\text{i}y$ with imagi- nary party to find from the polynomial using ${\sum}_{k=1}^{6}}\text{\hspace{0.05em}}{z}_{k}=-1$ and ${z}_{1}{z}_{2}{z}_{4}={z}_{1}^{1+2+4}=1$ .

The “primitive” roots ${z}_{k},\left(k=1,\cdots ,6\right)$ of the polynomials (6.1) form two 3-cycles $\left({z}_{1}\mathrm{,}{z}_{2}\mathrm{,}{z}_{4}\right)$ and $\left({z}_{6},{z}_{12}={z}_{5},{z}_{24}={z}_{10}={z}_{3}\right)$ modulo 7 in the indices. The quadratic radical for the sum ${z}_{1}+{z}_{2}+{z}_{4}$ 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 ${r}_{2}=\sqrt{2}$ around the coordinate origin $\left(\mathrm{0,0}\right)$ which is equal to the distance

from the coordinate origin to the fixed point $\left(-\frac{1}{2}\mathrm{,}\frac{\sqrt{7}}{2}\right)$ of the bicompasses.

This circle possesses intersection points with the circle of radius ${r}_{1}=1$ around

the mentioned second fixpoint $\frac{-1+\text{i}\sqrt{7}}{2}$ at $z=\frac{1+\text{i}\sqrt{7}}{2}=1+{z}_{1}+{z}_{2}+{z}_{4}$ and at $z=\frac{-5+\text{i}\sqrt{7}}{4}$ in the complex plane as one easily calculates. In this way we see that the intersection point $\frac{1+\text{i}\sqrt{7}}{2}$ 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 $z=0$ the second fixed point for the rhombic bicompasses is $z=\frac{-1+\text{i}\text{\hspace{0.05em}}\sqrt{7}}{2}$ (figure from [1] made by “Mathematica 6”).

mum 3-arm bicompasses (see [1] ) in the right position for the construction of the regular heptagon that means on the line between ${z}_{1}$ and ${z}_{1}+{z}_{2}$ . Clearly, one has not only to believe to the optical impression but have to prove it.

The line between ${z}_{1}$ and ${z}_{1}+{z}_{2}$ can be parameterized by

$z={z}_{1}+r{z}_{2}\mathrm{,}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\left(0\le r\le \mathrm{1,}\text{\hspace{0.17em}}r={r}^{\mathrm{*}}\right)\mathrm{,}$ (6.2)

with real parameter r. For the parameter value $r=\frac{1+{z}_{2}+{z}_{4}}{{z}_{2}}$ (numerically

$r\approx 0.554958$ ) one finds that the value z on the line between ${z}_{1}$ and ${z}_{1}+{z}_{2}$

coincides with the point $\frac{1+\text{i}\sqrt{7}}{2}$ according to

$r=\frac{1+{z}_{2}+{z}_{4}}{{z}_{2}}={z}_{2}^{-1}+1+{z}_{2}={z}_{2}^{*}+1+{z}_{2}={r}^{*},$

$\Rightarrow z={z}_{1}+\frac{1+{z}_{2}+{z}_{4}}{{z}_{2}}{z}_{2}=1+{z}_{1}+{z}_{2}+{z}_{4}=\frac{1+\text{i}\sqrt{7}}{2}\mathrm{.}$ (6.3)

Thus we have to bring the second arm of the absolute minimum 3-arm

bicompasses in the position that it intersects the point $\left(\frac{1}{2}\mathrm{,}\frac{\sqrt{7}}{2}\right)$ 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 $z=\frac{1+\text{i}\sqrt{7}}{2}$ lies also on the

prolongation of the line between ${z}_{2}+{z}_{4}$ and ${z}_{2}$ . This line can be para- meterized with real parameter s by

$z={z}_{2}+s{z}_{4},\text{\hspace{1em}}\left(0\le s\le 1,\text{\hspace{0.17em}}s={s}^{*}\right).$ (6.4)

For the parameter value $s=\frac{1+{z}_{1}+{z}_{4}}{{z}_{4}}$ (numerically $s\approx -0.801938$ ) one

finds that the value z on the prolongation of the line between ${z}_{2}+{z}_{4}$ and ${z}_{2}$

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 ${r}_{1}=1$ we have drawn a circle around the coordinate origin with radius ${r}_{2}=\sqrt{2}$ 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 $\frac{1+\text{i}\sqrt{7}}{2}$ according to

$s=\frac{1+{z}_{1}+{z}_{4}}{{z}_{4}}={z}_{4}^{-1}+{z}_{4}+1={z}_{4}^{*}+{z}_{4}+1={s}^{*},$

$\Rightarrow z={z}_{2}+\frac{1+{z}_{1}+{z}_{4}}{{z}_{4}}{z}_{4}=1+{z}_{1}+{z}_{2}+{z}_{4}=\frac{1+\text{i}\sqrt{7}}{2}\mathrm{,}$ (6.5)

that affirms the mentioned intersection.

In [1] it was already shown that the point $z=-1$ lies on the line between ${z}_{4}$ and ${z}_{2}+{z}_{4}$ which can be parameterized by

$z={z}_{4}+t{z}_{2},\text{\hspace{1em}}\left(0\le t\le 1,\text{\hspace{0.17em}}t={t}^{*}\right),$ (6.6)

with real parameter t. With the parameter value $t=-\frac{1+{z}_{4}}{{z}_{2}}$ (numerically $t=0.445042$ ) follows

$t=-\frac{1+{z}_{4}}{{z}_{2}}=-\left({z}_{2}^{*}+{z}_{2}\right)={t}^{*},$

$\Rightarrow z={z}_{4}-\frac{1+{z}_{4}}{{z}_{2}}{z}_{2}={z}_{4}-1-{z}_{4}=-1,$ (6.7)

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 $r+t=1$ .

The equation for the Cosines $u=z+{z}^{*}=2x=2\mathrm{cos}\left(\theta \right)$ (equation for $n=7$ in Table 1, Equation (2.4))

${\text{U}}_{3}\left(\frac{u}{2}\right)+{\text{U}}_{2}\left(\frac{u}{2}\right)={u}^{3}+{u}^{2}-2u-1=\mathrm{0,}$ (6.8)

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 [2] [9] [14] and Gleason [13] (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 $n=3$ and the regular octagon $n=8$ since it is constructible by bicompasses and ruler.

7. Factorization of Cyclotomic Polynomial for n = 9 in Different Ways

Since $n=9$ 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

$\begin{array}{c}\frac{{z}^{9}-1}{z-1}={z}^{8}+{z}^{7}+{z}^{6}+{z}^{5}+{z}^{4}+{z}^{3}+{z}^{2}+z+1\\ =\left({z}^{2}+z+1\right)\left\{{z}^{6}+{z}^{3}+1\right\}\\ =\left(z+\frac{1-\text{i}\sqrt{3}}{2}\right)\left(z+\frac{1+\text{i}\sqrt{3}}{2}\right)\left\{\left({z}^{3}+\frac{1-\text{i}\sqrt{3}}{2}\right)\left({z}^{3}+\frac{1+\text{i}\sqrt{3}}{2}\right)\right\}\\ =\left(z-{z}_{3}\right)\left(z-{z}_{6}\right)\left\{\left(\left(z-{z}_{1}\right)\left(z-{z}_{4}\right)\left(z-{z}_{7}\right)\right)\left(\left(z-{z}_{2}\right)\left(z-{z}_{5}\right)\left(z-{z}_{8}\right)\right)\right\}\mathrm{,}\end{array}$ (7.1)

where the second factor in braces is of the form of the first factor with the substitution $z\to {z}^{3}$ . It requires the angle trisections of the angles to the roots

${z}_{3}={z}_{1}^{3}=\frac{-1+\text{i}\sqrt{3}}{2}$ and ${z}_{6}={z}_{2}^{3}=\frac{-1-\text{i}\sqrt{3}}{2}={z}_{3}^{\mathrm{*}}$ . This is possible by the neusis

construction known from ancient time [2] [9] 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 $\frac{\text{2\pi}}{3}$ . Therefore, as known, the circle

division problem in case of $n=9$ cannot be solved by compass and ruler since

the third root of an arbitrary complex number (here of ${z}_{\mathrm{3,6}}=\frac{-1\pm \text{i}\sqrt{3}}{2}$ ) cannot

be constructed in this way. This can be also seen from the equation of Table 1

(Equation (2.4)) for the doubled Cosines ${u}_{k}=2cos\left(k\frac{\text{2\pi}}{9}\right)\mathrm{,}$ $\left(k=1,2,\cdots ,8\right)$ as

the solutions of the following polynomial equation in factorized form

${\text{U}}_{4}\left(\frac{u}{2}\right)+{\text{U}}_{3}\left(\frac{u}{2}\right)=\left(u+1\right)\left({u}^{3}-3u+1\right)=0.$ (7.2)

From the coefficients of the vanishing cubic polynomial follows

$cos\left(\frac{\text{2\pi}}{9}\right)+cos\left(\frac{\text{4\pi}}{9}\right)+cos\left(\frac{\text{8\pi}}{9}\right)=\mathrm{0,}\text{\hspace{1em}}cos\left(\frac{\text{2\pi}}{9}\right)cos\left(\frac{\text{4\pi}}{9}\right)cos\left(\frac{\text{8\pi}}{9}\right)=-\frac{1}{8}\mathrm{,}$ (7.3)

where the second relation does not provide independent in formation in comparison to the first. The cubic equation ${u}^{3}-3u+1=0$ can be solved by cubic but not by quadratic radicals alone.

The ‘standard’ factorization into two polynomials of 4-th degree is

$\begin{array}{c}\frac{{z}^{9}-1}{z-1}=\left\{{z}^{4}+\frac{1-\text{i}\sqrt{3}}{2}{z}^{3}+\frac{1+\text{i}\sqrt{3}}{2}z+1\right\}\left\{{z}^{4}+\frac{1+\text{i}\sqrt{3}}{2}{z}^{3}+\frac{1-\text{i}\sqrt{3}}{2}z+1\right\}\\ =\left\{\left(z-{z}_{6}\right)\left(\left(z-{z}_{1}\right)\left(z-{z}_{4}\right)\left(z-{z}_{7}\right)\right)\right\}\left\{\left(z-{z}_{3}\right)\left(\left(z-{z}_{2}\right)\left(z-{z}_{5}\right)\left(z-{z}_{8}\right)\right)\right\}\mathrm{.}\end{array}$ (7.4)

In the factor polynomials of 4-th degree are contained two 3-cycles $\left({z}_{1}\mathrm{,}{z}_{4}\mathrm{,}{z}_{7}\right)$ and $\left({z}_{2}\mathrm{,}{z}_{8}\mathrm{,}{z}_{32}\equiv {z}_{5}\right)$ paired with one of the third roots ${z}_{3}$ and ${z}_{6}$ of unity. Other genuine than 3- and 6-cycles do not exist in case of $n=9$ but it happens that the root ${z}_{0}=1$ 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

$\begin{array}{c}\frac{{z}^{9}-1}{z-1}=\left\{{z}^{4}+\frac{1-\text{i}\sqrt{3}}{2}\left({z}^{3}+z\right)-\frac{1+\text{i}\sqrt{3}}{2}\right\}\left\{{z}^{4}+\frac{1+\text{i}\sqrt{3}}{2}\left({z}^{3}+z\right)-\frac{1-\text{i}\sqrt{3}}{2}\right\}\\ =\left\{\left(z-{z}_{3}\right)\left(\left(z-{z}_{1}\right)\left(z-{z}_{4}\right)\left(z-{z}_{7}\right)\right)\right\}\left\{\left(z-{z}_{6}\right)\left(\left(z-{z}_{2}\right)\left(z-{z}_{5}\right)\left(z-{z}_{8}\right)\right)\right\}\mathrm{.}\end{array}$ (7.5)

and means the exchange of the factors $z-{z}_{3}$ and $z-{z}_{6}$ . It is possible due to $n=9$ as a composite number.

8. Factorization of Cyclotomic Polynomial for n = 11 with Quadratic Radicals

In case of $n=11$ one has only the following factorization by 5-cycles which leads to polynomials with quadratic radicals in the coefficients

$\begin{array}{c}\frac{{z}^{11}-1}{z-1}={z}^{10}+{z}^{9}+{z}^{8}+{z}^{7}+{z}^{6}+{z}^{5}+{z}^{4}+{z}^{3}+{z}^{2}+z+1\\ =\left({z}^{5}+\frac{1-\text{i}\sqrt{11}}{2}{z}^{4}-{z}^{3}+{z}^{2}-\frac{1+\text{i}\sqrt{11}}{2}z-1\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\cdot \left({z}^{5}+\frac{1+\text{i}\sqrt{11}}{2}{z}^{4}-{z}^{3}+{z}^{2}-\frac{1-\text{i}\sqrt{11}}{2}z-1\right)\\ =\left(\left(z-{z}_{1}\right)\left(z-{z}_{3}\right)\left(z-{z}_{4}\right)\left(z-{z}_{5}\right)\left(z-{z}_{9}\right)\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\cdot \left(\left(z-{z}_{2}\right)\left(z-{z}_{6}\right)\left(z-{z}_{7}\right)\left(z-{z}_{8}\right)\left(z-{z}_{10}\right)\right)\mathrm{.}\end{array}$ (8.1)

The 5-cycle in the first factor is formed by the roots $\left({z}_{1}\mathrm{,}{z}_{3}\mathrm{,}{z}_{9}\mathrm{,}{z}_{27}={z}_{5}\mathrm{,}{z}_{15}={z}_{4}\mathrm{,}\left({z}_{12}={z}_{1}\right)\right)$ and the second factor by the complex conjugate roots $\left({z}_{2}\mathrm{,}{z}_{6}\mathrm{,}{z}_{18}={z}_{7}\mathrm{,}{z}_{21}={z}_{10}\mathrm{,}{z}_{30}={z}_{8}\mathrm{,}\left({z}_{24}={z}_{2}\right)\right)$ , all (mod 11).

The equation for the doubled Cosines $u=z+{z}^{*}=2x=2\mathrm{cos}\left(\theta \right)$ (case $n=11$ 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 $n=13$ 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

$\begin{array}{c}\frac{{z}^{13}-1}{z-1}\mathrm{=}{\displaystyle \underset{k\mathrm{=0}}{\overset{12}{\sum}}}\text{\hspace{0.05em}}{z}^{k}=\left\{{z}^{6}+\frac{1-\sqrt{13}}{2}{z}^{5}+2{z}^{4}-\frac{1+\sqrt{13}}{2}{z}^{3}+2{z}^{2}+\frac{1-\sqrt{13}}{2}z+1\right\}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\cdot \left\{{z}^{6}+\frac{1+\sqrt{13}}{2}{z}^{5}+2{z}^{4}-\frac{1-\sqrt{13}}{2}{z}^{3}+2{z}^{2}+\frac{1+\sqrt{13}}{2}z+1\right\}\\ =\left\{\left(z-{z}_{1}\right)\left(z-{z}_{3}\right)\left(z-{z}_{4}\right)\left(z-{z}_{9}\right)\left(z-{z}_{10}\right)\left(z-{z}_{12}\right)\right\}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\cdot \left\{\left(z-{z}_{2}\right)\left(z-{z}_{5}\right)\left(z-{z}_{6}\right)\left(z-{z}_{7}\right)\left(z-{z}_{8}\right)\left(z-{z}_{11}\right)\right\}\mathrm{.}\end{array}$ (9.1)

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 ${z}_{1}$ explicitly given in (3.4)

$\begin{array}{c}\frac{{z}^{13}-1}{z-1}=\{\left({z}^{3}+\frac{1-\sqrt{13}-\text{i}\sqrt{2\left(13-3\sqrt{13}\text{\hspace{0.05em}}\right)}}{4}{z}^{2}-\frac{1-\sqrt{13}+\text{i}\sqrt{2\left(13-3\sqrt{13}\text{\hspace{0.05em}}\right)}}{4}z-1\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\cdot \left({z}^{3}+\frac{1-\sqrt{13}+\text{i}\sqrt{2\left(13-3\sqrt{13}\text{\hspace{0.05em}}\right)}}{4}{z}^{2}-\frac{1-\sqrt{13}-\text{i}\sqrt{2\left(13-3\sqrt{13}\text{\hspace{0.05em}}\right)}}{4}z-1\right)\}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\cdot \{\left({z}^{3}+\frac{1+\sqrt{13}-\text{i}\sqrt{2\left(13+3\sqrt{13}\text{\hspace{0.05em}}\right)}}{4}{z}^{2}-\frac{1+\sqrt{13}+\text{i}\sqrt{2\left(13+3\sqrt{13}\text{\hspace{0.05em}}\right)}}{4}z-1\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\cdot \left({z}^{3}+\frac{1+\sqrt{13}+\text{i}\sqrt{2\left(13+3\sqrt{13}\text{\hspace{0.05em}}\right)}}{4}{z}^{2}-\frac{1+\sqrt{13}-\text{i}\sqrt{2\left(13+3\sqrt{13}\text{\hspace{0.05em}}\right)}}{4}z-1\right)\}\\ =\left\{\left(\left(z-{z}_{1}\right)\left(z-{z}_{3}\right)\left(z-{z}_{9}\right)\right)\left(\left(z-{z}_{4}\right)\left(z-{z}_{10}\right)\left(z-{z}_{12}\right)\right)\right\}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\cdot \left\{\left(\left(z-{z}_{2}\right)\left(z-{z}_{5}\right)\left(z-{z}_{6}\right)\right)\left(\left(z-{z}_{7}\right)\left(z-{z}_{8}\right)\left(z-{z}_{11}\right)\right)\right\}\mathrm{.}\end{array}$ (9.2)

This means that the fixed points of the two rhombic bicompasses besides the coordinate origin $z=0$ are the following quadratic radicals $z={z}_{1}+{z}_{3}+{z}_{9}$ and $z={z}_{2}+{z}_{5}+{z}_{6}$ or their complex conjugates

$\begin{array}{c}{z}_{1}+{z}_{3}+{z}_{9}=\frac{\sqrt{13}-1+\text{i}\sqrt{2\left(13-3\sqrt{13}\text{\hspace{0.05em}}\right)}}{4}={z}_{12}^{\mathrm{*}}+{z}_{10}^{\mathrm{*}}+{z}_{4}^{\mathrm{*}}\\ \approx 0.651388+\text{i}\text{\hspace{0.05em}}\mathrm{0.522416,}\end{array}$

${\left|{z}_{1}+{z}_{3}+{z}_{9}\right|}^{2}=\frac{5-\sqrt{13}}{2}\approx \mathrm{0.697224,}\text{\hspace{1em}}\left|{z}_{1}+{z}_{3}+{z}_{9}\right|\approx \mathrm{0.835000,}$

$\begin{array}{c}{z}_{2}+{z}_{5}+{z}_{6}=\frac{-\sqrt{13}-1+\text{i}\sqrt{2\left(13+3\sqrt{13}\text{\hspace{0.05em}}\right)}}{4}={z}_{11}^{\mathrm{*}}+{z}_{8}^{\mathrm{*}}+{z}_{9}^{\mathrm{*}}\\ \approx -1.15139+\text{i}\text{\hspace{0.05em}}\mathrm{1.72542,}\end{array}$

${\left|{z}_{2}+{z}_{5}+{z}_{6}\right|}^{2}=\frac{5+\sqrt{13}}{2}\approx \mathrm{4.30278,}\text{\hspace{1em}}\left|{z}_{2}+{z}_{5}+{z}_{6}\right|\approx \mathrm{2.07431.}$ (9.3)

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

$\left({z}_{1}+{z}_{3}+{z}_{9}\right)+\left({z}_{2}+{z}_{5}+{z}_{6}\right)=\frac{-1+\text{i}\sqrt{13+2\sqrt{13}}}{2}\approx -0.5+\text{i}\text{\hspace{0.05em}}\mathrm{2.24784,}$

Figure 3. Two variants of rhombic bicompasses in case of a regular 13-gon. The two fixed points of the rhombic bicompasses are $z=0$ and $z={z}_{1}+{z}_{3}+{z}_{9}$ in first picture and $z=0$ and $z={z}_{2}+{z}_{5}+{z}_{6}$ in second picture (see text).

$\left|\left({z}_{1}+{z}_{3}+{z}_{9}\right)+\left({z}_{2}+{z}_{5}+{z}_{6}\right)\right|=\frac{\sqrt{13}+1}{2}\approx \mathrm{2.30278,}$

$\left({z}_{1}+{z}_{3}+{z}_{9}\right)+\left({z}_{7}+{z}_{8}+{z}_{11}\right)=\frac{-1-\text{i}\sqrt{13-2\sqrt{13}}}{2}\approx -0.5-\text{i}\text{\hspace{0.05em}}\mathrm{1.20301,}$

$\left|\left({z}_{1}+{z}_{3}+{z}_{9}\right)+\left({z}_{7}+{z}_{8}+{z}_{11}\right)\right|=\frac{\sqrt{13}-1}{2}\approx \mathrm{1.30278,}$ (9.4)

and for the differences

$\left({z}_{1}+{z}_{3}+{z}_{9}\right)-\left({z}_{2}+{z}_{5}+{z}_{6}\right)=\frac{\sqrt{13}-\text{i}\sqrt{13-2\sqrt{13}}}{2}\approx 1.80278-\text{i}\text{\hspace{0.05em}}\mathrm{1.20301,}$

$\left|\left({z}_{1}+{z}_{3}+{z}_{9}\right)-\left({z}_{2}+{z}_{5}+{z}_{6}\right)\right|=\sqrt{\frac{13-\sqrt{13}}{2}}\approx \mathrm{2.16731,}$

$\left({z}_{1}+{z}_{3}+{z}_{9}\right)-\left({z}_{7}+{z}_{8}+{z}_{11}\right)=\frac{\sqrt{13}+\text{i}\sqrt{13+2\sqrt{13}}}{2}\approx 1.80278+\text{i}\text{\hspace{0.05em}}\mathrm{2.24784,}$

$\left|\left({z}_{1}+{z}_{3}+{z}_{9}\right)-\left({z}_{7}+{z}_{8}+{z}_{11}\right)\right|=\sqrt{\frac{13+\sqrt{13}}{2}}\approx \mathrm{2.88145.}$ (9.5)

All these numbers and radiuses are constructible by compass and ruler. The points ${z}_{k},\left(k\ne 0\text{\hspace{0.17em}}\mathrm{mod}\text{\hspace{0.17em}}13\right)$ alone and combinations of only two such points in form of ${z}_{k}+{z}_{l}$ 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.

are illustrated in Figure 4 and Figure 5.

According to Table 1 (Equation (2.4)) the doubled Cosines

$u=2cos\left(k\frac{\text{2\pi}}{13}\right)=2cos\left(\left(13-k\right)\frac{\text{2\pi}}{13}\right)\mathrm{,}$ $\left(k=1,2,\cdots ,6\right)$ are the roots of the 6-th

degree polynomial equation with 6 real-valued solutions

${\text{U}}_{6}\left(\frac{u}{2}\right)+{\text{U}}_{5}\left(\frac{u}{2}\right)={u}^{6}+{u}^{5}-5{u}^{4}-4{u}^{3}+6{u}^{2}+3u-1=0.$ (9.6)

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 [13]

#Math_355# (9.7)

This corresponds to the following relations for sums of the Cosines

$cos\left(k\frac{\text{2\pi}}{13}\right)=cos\left(\left(13-k\right)\frac{\text{2\pi}}{13}\right)$

Figure 5. Second of two variants of correlated rhombic bicompasses in case of a regular 13-gon.

$cos\left(\frac{\text{2\pi}}{13}\right)+cos\left(\frac{\text{6\pi}}{13}\right)+cos\left(\frac{\text{8\pi}}{13}\right)=\frac{\sqrt{13}-1}{4}\mathrm{,}$

$\mathrm{cos}\left(\frac{\text{4\pi}}{13}\right)+\mathrm{cos}\left(\frac{\text{10\pi}}{13}\right)+\mathrm{cos}\left(\frac{\text{12\pi}}{13}\right)=-\frac{\sqrt{13}+1}{4},$ (9.8)

and for products of the same Cosines

$\mathrm{cos}\left(\frac{\text{2\pi}}{13}\right)\mathrm{cos}\left(\frac{\text{6\pi}}{13}\right)\mathrm{cos}\left(\frac{\text{8\pi}}{13}\right)=-\frac{\sqrt{13}-3}{16},$

$\mathrm{cos}\left(\frac{\text{4\pi}}{13}\right)\mathrm{cos}\left(\frac{\text{10\pi}}{13}\right)\mathrm{cos}\left(\frac{\text{12\pi}}{13}\right)=\frac{\sqrt{13}+3}{16}.$ (9.9)

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 $n=13$ 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 ${z}_{k}$ 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.

2. The use of the two rhombic bicompasses in correlated way in one of the two principally different variants as illustrated in Figure 4 and Figure 5.

The problem in first case is that during the application of the bicompasses, for example, to points ${z}_{1}$ and ${z}_{3}$ in first partial picture in Figure 3 one has to find the position when the angle between ${z}_{1}$ and ${z}_{3}$ is the doubled angle between ${z}_{0}=1$ and ${z}_{1}$ that is equivalent to solve the trisection of the angle between ${z}_{0}$ and ${z}_{3}$ . The same problem arises if we use the points ${z}_{1}$ and ${z}_{9}$ or ${z}_{3}$ and ${z}_{9}$ instead of ${z}_{1}$ and ${z}_{3}$ . In principal, an angle trisection can be made by a neusis construction attributed as already said to Archimedes [2] [9] 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 $\left({z}_{1}\mathrm{,}{z}_{3}\mathrm{,}{z}_{9}\right)$ of the regular 13-gon (see Figure 4). A first possibility is then to look on the line between ${z}_{1}$ and ${z}_{1}+{z}_{6}$ with ${z}_{6}$ on the other bicompasses which can be parameterized with real parameter r by

$z={z}_{1}+r{z}_{6},\text{\hspace{1em}}\left(r={r}^{*}\right).$ (9.10)

With the choice of a real parameter $r=\frac{{z}_{3}+{z}_{9}+\lambda {z}_{6}}{{z}_{6}}$ with real parameter $\lambda $

we find

$r=\frac{{z}_{3}+{z}_{9}+\lambda {z}_{6}}{{z}_{6}}={z}_{3}^{*}+{z}_{3}+\lambda ={r}^{*},\text{\hspace{1em}}\left(\lambda ={\lambda}^{*}\right),$

$\begin{array}{l}\Rightarrow z={z}_{1}+\frac{{z}_{3}+{z}_{9}+\lambda {z}_{6}}{{z}_{6}}{z}_{6}={z}_{1}+{z}_{3}+{z}_{9}+\lambda {z}_{6}=\frac{\sqrt{13}-1+\text{i}\sqrt{2\left(13-3\sqrt{13}\right)}}{4}+\lambda {z}_{6}\mathrm{,}\\ \Rightarrow \lambda =0.\end{array}$ (9.11)

The points $\lambda {z}_{6}$ with real $\lambda \ne 0$ are, in general, and contrary to ${z}_{1}+{z}_{3}+{z}_{9}$ not representable by only quadratic radicals and, therefore, we set $\lambda =0$ in (9.11).

An analogous second possibility to the described one is to look on the line between ${z}_{3}$ of the first bicompasses and ${z}_{3}+{z}_{5}$ with ${z}_{5}$ of the second bicompasses which can be parameterized with real parameter s by

$z={z}_{3}+s{z}_{5}\mathrm{,}\text{\hspace{1em}}\left(s={s}^{\mathrm{*}}\right)\mathrm{.}$ (9.12)

Then with the choice of parameter $s=\frac{{z}_{1}+{z}_{9}}{{z}_{5}}$ we find

$s=\frac{{z}_{1}+{z}_{9}}{{z}_{5}}={z}_{4}^{*}+{z}_{4}={s}^{*},$

$\Rightarrow z={z}_{3}+\frac{{z}_{1}+{z}_{9}}{{z}_{5}}{z}_{5}={z}_{3}+{z}_{1}+{z}_{9}\mathrm{.}$ (9.13)

A third equivalent possibility is to look on the line between ${z}_{9}$ on the first bicompasses and ${z}_{9}+{z}_{2}$ with ${z}_{2}$ on the second bicompasses. It can be parameterized with real parameter t by

$z={z}_{9}+t{z}_{2},\text{\hspace{1em}}\left(t={t}^{*}\right).$ (9.14)

With the choice $t=\frac{{z}_{1}+{z}_{3}}{{z}_{2}}$ we obtain

$t=\frac{{z}_{1}+{z}_{3}}{{z}_{2}}={z}_{1}^{*}+{z}_{1}={t}^{*},$

$\Rightarrow z={z}_{9}+\frac{{z}_{1}+{z}_{3}}{{z}_{2}}{z}_{2}={z}_{9}+{z}_{1}+{z}_{3}.$ (9.15)

All three possibilities lead to the fixed point ${z}_{1}+{z}_{3}+{z}_{9}$ 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 ${z}_{1}+{z}_{3}+{z}_{9}$ and ${z}_{2}+{z}_{5}+{z}_{6}$ 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 $\left(\mathrm{0,}{z}_{1}+{z}_{3}+{z}_{9}\right)$ and $\left(\mathrm{0,}{z}_{2}+{z}_{5}+{z}_{6}\right)$ 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 ${z}_{3}+{z}_{9}$ of the first bicompasses lies exactly on the line (arm) between $z=0$ and ${z}_{6}$ 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 ${z}_{3}+{z}_{9}$ in the right position of the bicompasses may glide along the line from $z=0$ to ${z}_{6}$ in the right position during the action of the two bicompasses. Then the point ${z}_{2}$ of the second bicompasses makes a bisection of the angle formed by the points ${z}_{1}$ and ${z}_{3}$ 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 ${z}_{3}+{z}_{9}$ ) on a line (here between $z=0$ and ${z}_{6}$ ) 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 ${z}_{12}$ 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 ${z}_{1}+{z}_{3}+{z}_{9}$ that is already optically to sense in Figure 4 and Figure 5. The projection of the point ${z}_{1}+{z}_{3}$ onto the real x-axis is not exactly equal to 1 as it seems to be from Figure 4 and numerically we find ${z}_{1}+{z}_{3}\approx 1.005993+\text{i}\text{\hspace{0.05em}}1.457432$ 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 ${z}_{1}+{z}_{3}$ is not representable by quadratic radicals. The line from coordinate origin 0 to fixed point ${z}_{2}+{z}_{5}+{z}_{6}$ does not bisect the angle between ${z}_{4}$ and ${z}_{5}$ as from para-

meterized line set equal to the bisected angle $t\left({z}_{2}+{z}_{5}+{z}_{6}\right)=exp\left(\text{i}\frac{\text{9\pi}}{13}\right)$

with numerically calculated complex (but not real) $t=0.482028+\text{i}\text{\hspace{0.05em}}0.00757137$ follows.

10. Factorization of Cyclotomic Polynomial for n = 15 with Quadratic Radicals

According to the composite number $n=15$ the cyclotomic equation contains the cases of the cyclotomic equations for ${n}_{1}=3$ and ${n}_{2}=5$ as factors and possesses the form

$\begin{array}{c}\frac{{z}^{15}-1}{z-1}={\displaystyle \underset{k=0}{\overset{14}{\sum}}}\text{\hspace{0.05em}}{z}^{k}=\left({z}^{2}+z+1\right)\left({z}^{4}+{z}^{3}+{z}^{2}+z+1\right)\left({z}^{8}-{z}^{7}+{z}^{5}-{z}^{4}+{z}^{3}-z+1\right)\\ =\left(\left(z-{z}_{5}\right)\left(z-{z}_{10}\right)\right)\left(\left(z-{z}_{3}\right)\left(z-{z}_{6}\right)\left(z-{z}_{9}\right)\left(z-{z}_{12}\right)\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\cdot \left(\left(z-{z}_{1}\right)\left(z-{z}_{2}\right)\left(z-{z}_{4}\right)\left(z-{z}_{7}\right)\left(z-{z}_{8}\right)\left(z-{z}_{11}\right)\left(z-{z}_{13}\right)\left(z-{z}_{14}\right)\right).\end{array}$ (10.1)

The last factor is the irreducible part of the cyclotomic polynomial ${p}_{n}\left(z\right)$ (with coefficients in $\mathbb{Z}$ ) and is denoted by ${\Phi}_{15}\left(z\right)$ can be decomposed in two complex conjugate factors according to

$\begin{array}{c}{\Phi}_{15}\left(z\right)={z}^{8}-{z}^{7}+{z}^{5}-{z}^{4}+{z}^{3}-z+1\\ =\left({z}^{4}-\frac{1+\text{i}\sqrt{15}}{2}{z}^{3}-2{z}^{2}-\frac{1-\text{i}\sqrt{15}}{2}z+1\right)\\ \cdot \left({z}^{4}-\frac{1-\text{i}\sqrt{15}}{2}{z}^{3}-2{z}^{2}-\frac{1+\text{i}\sqrt{15}}{2}z+1\right)\\ =\left(\left(z-{z}_{1}\right)\left(z-{z}_{2}\right)\left(z-{z}_{4}\right)\left(z-{z}_{8}\right)\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\cdot \left(\left(z-{z}_{7}\right)\left(z-{z}_{11}\right)\left(z-{z}_{13}\right)\left(z-{z}_{14}\right)\right)\mathrm{.}\end{array}$ (10.2)

In this factorizations we have two 4-cycles with the zeros $\left({z}_{1}\mathrm{,}{z}_{2}\mathrm{,}{z}_{4}\mathrm{,}{z}_{8}\right)$ and $\left({z}_{14}\mathrm{,}{z}_{13}\mathrm{,}{z}_{11}\mathrm{,}{z}_{7}\right)$ with ${z}_{1}{z}_{2}{z}_{4}{z}_{8}={z}_{14}{z}_{13}{z}_{11}{z}_{7}=1$ . From the given factorizations and from other considerations follow some known possibilities to solve the circle division problem for $n=15$ 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 $n=17$ 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., [7] [9] [11] and others). The representation here of this known case illustrates our approach and facilitates its understanding in the unknown cases, in particular for $n=13$ .

A first factorization of the cyclotomic polynomial which is palindromic in two palindromic polynomial factors with quadratic radicals in the coefficients is

$\begin{array}{c}\frac{{z}^{17}-1}{z-1}={\displaystyle \underset{k=0}{\overset{16}{\sum}}}\text{\hspace{0.05em}}{z}^{k}\\ =\{\left({z}^{8}+1\right)+\frac{1-\sqrt{17}}{2}\left({z}^{7}+z\right)+\frac{5-\sqrt{17}}{2}\left({z}^{6}+{z}^{2}\right)\\ +\frac{7-\sqrt{17}}{2}\left({z}^{5}+{z}^{3}\right)+\left(2-\sqrt{17}\right){z}^{4}\}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\cdot \{\left({z}^{8}+1\right)+\frac{1+\sqrt{17}}{2}\left({z}^{7}+z\right)+\frac{5+\sqrt{17}}{2}\left({z}^{6}+{z}^{2}\right)\\ +\frac{7+\sqrt{17}}{2}\left({z}^{5}+{z}^{3}\right)+\left(2+\sqrt{17}\right){z}^{4}\}\\ =\left\{\left(z-{z}_{1}\right)\left(z-{z}_{2}\right)\left(z-{z}_{4}\right)\left(z-{z}_{8}\right)\left(z-{z}_{9}\right)\left(z-{z}_{13}\right)\left(z-{z}_{15}\right)\left(z-{z}_{16}\right)\right\}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\cdot \left\{\left(z-{z}_{3}\right)\left(z-{z}_{5}\right)\left(z-{z}_{6}\right)\left(z-{z}_{7}\right)\left(z-{z}_{10}\right)\left(z-{z}_{11}\right)\left(z-{z}_{12}\right)\left(z-{z}_{14}\right)\right\}\mathrm{.}\end{array}$ (11.1)

The first factor, for example, involves the zeros ${z}_{1},{z}_{2},{z}_{4},{z}_{8},{z}_{16},{z}_{32}\equiv {z}_{15},{z}_{64}\equiv {z}_{30}\equiv {z}_{13}\text{\hspace{0.17em}}\text{modulo}\text{\hspace{0.17em}}17$ . 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:

first factor

$\begin{array}{l}\left({z}^{8}+1\right)+\frac{1-\sqrt{17}}{2}\left({z}^{7}+z\right)+\frac{5-\sqrt{17}}{2}\left({z}^{6}+{z}^{2}\right)+\frac{7-\sqrt{17}}{2}\left({z}^{5}+{z}^{3}\right)+\left(2-\sqrt{17}\right){z}^{4}\\ =\left(\left({z}^{4}+1\right)+\frac{1-\sqrt{17}-\sqrt{2\left(17-\sqrt{17}\right)}}{4}\left({z}^{3}+z\right)+\frac{7-\sqrt{17}+\sqrt{2\left(17+\sqrt{17}\right)}}{4}{z}^{2}\right)\\ \text{\hspace{1em}}\cdot \left(\left({z}^{4}+1\right)+\frac{1-\sqrt{17}+\sqrt{2\left(17-\sqrt{17}\right)}}{4}\left({z}^{3}+z\right)+\frac{7-\sqrt{17}-\sqrt{2\left(17+\sqrt{17}\right)}}{4}{z}^{2}\right)\\ =\left(\left(z-{z}_{1}\right)\left(z-{z}_{4}\right)\left(z-{z}_{13}\right)\left(z-{z}_{16}\right)\right)\left(\left(z-{z}_{2}\right)\left(z-{z}_{8}\right)\left(z-{z}_{9}\right)\left(z-{z}_{15}\right)\right)\mathrm{,}\end{array}$ (11.2)

second factor

$\begin{array}{l}\left({z}^{8}+1\right)+\frac{1+\sqrt{17}}{2}\left({z}^{7}+z\right)+\frac{5+\sqrt{17}}{2}\left({z}^{6}+{z}^{2}\right)+\frac{7+\sqrt{17}}{2}\left({z}^{5}+{z}^{3}\right)+\left(2+\sqrt{17}\right){z}^{4}\\ =\left(\left({z}^{4}+1\right)+\frac{1+\sqrt{17}-\sqrt{2\left(17+\sqrt{17}\right)}}{4}\left({z}^{3}+z\right)+\frac{7+\sqrt{17}-\sqrt{2\left(17-\sqrt{17}\right)}}{4}{z}^{2}\right)\\ \text{\hspace{1em}}\cdot \left(\left({z}^{4}+1\right)+\frac{1+\sqrt{17}+\sqrt{2\left(17+\sqrt{17}\right)}}{4}\left({z}^{3}+z\right)+\frac{7+\sqrt{17}+\sqrt{2\left(17-\sqrt{17}\right)}}{4}{z}^{2}\right)\\ =\left(\left(z-{z}_{3}\right)\left(z-{z}_{5}\right)\left(z-{z}_{12}\right)\left(z-{z}_{14}\right)\right)\left(\left(z-{z}_{6}\right)\left(z-{z}_{7}\right)\left(z-{z}_{10}\right)\left(z-{z}_{11}\right)\right)\mathrm{.}\end{array}$ (11.3)

^{3}A 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
${z}^{n-k}$ are equal to
${\left(\pm 1\right)}^{k}$ to that of
${z}^{k}$ or where they are complex conjugate to the coefficients in front of
${z}^{k}$ with possible additional factors
${\left(\pm 1\right)}^{k}$ .

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 formula^{3}

$\begin{array}{l}{z}^{4}+a{z}^{3}+b{z}^{2}+az+1=\left({z}^{2}+\frac{a+\sqrt{{a}^{2}-4b+8}}{2}z+1\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\cdot \left({z}^{2}+\frac{a-\sqrt{{a}^{2}-4b+8}}{2}z+1\right)\mathrm{.}\end{array}$ (11.4)

This provides the further splitting in products of pairs of two palindromic polynomials of 2-nd degree as follows:

first factor

$\begin{array}{l}\left(z-{z}_{1}\right)\left(z-{z}_{4}\right)\left(z-{z}_{13}\right)\left(z-{z}_{16}\right)=\left(\left(z-{z}_{1}\right)\left(z-{z}_{16}\right)\right)\left(\left(z-{z}_{4}\right)\left(z-{z}_{13}\right)\right)\\ =\left({z}^{2}+\frac{1-\sqrt{17}-\sqrt{2\left(17-\sqrt{17}\right)}-2\sqrt{17+3\sqrt{17}-\sqrt{2\left(85+19\sqrt{17}\right)}}}{8}\text{\hspace{0.05em}}z+1\right)\\ \text{\hspace{1em}}\cdot \left({z}^{2}+\frac{1-\sqrt{17}-\sqrt{2\left(17-\sqrt{17}\right)}+2\sqrt{17+3\sqrt{17}-\sqrt{2\left(85+19\sqrt{17}\right)}}}{8}\text{\hspace{0.05em}}z+1\right)\mathrm{,}\end{array}$ (11.5)

second factor

$\begin{array}{l}\left(z-{z}_{2}\right)\left(z-{z}_{8}\right)\left(z-{z}_{9}\right)\left(z-{z}_{15}\right)=\left(\left(z-{z}_{2}\right)\left(z-{z}_{15}\right)\right)\left(\left(z-{z}_{8}\right)\left(z-{z}_{9}\right)\right)\\ =\left({z}^{2}+\frac{1-\sqrt{17}+\sqrt{2\left(17-\sqrt{17}\right)}-2\sqrt{17+3\sqrt{17}+\sqrt{2\left(85+19\sqrt{17}\right)}}}{8}\text{\hspace{0.05em}}z+1\right)\\ \text{\hspace{1em}}\cdot \left({z}^{2}+\frac{1-\sqrt{17}+\sqrt{2\left(17-\sqrt{17}\right)}+2\sqrt{17+3\sqrt{17}+\sqrt{2\left(85+19\sqrt{17}\right)}}}{8}\text{\hspace{0.05em}}z+1\right)\mathrm{,}\end{array}$ (11.6)

third factor

$\begin{array}{l}\left(z-{z}_{3}\right)\left(z-{z}_{5}\right)\left(z-{z}_{12}\right)\left(z-{z}_{14}\right)=\left(\left(z-{z}_{3}\right)\left(z-{z}_{14}\right)\right)\left(\left(z-{z}_{5}\right)\left(z-{z}_{12}\right)\right)\\ =\left({z}^{2}+\frac{1+\sqrt{17}-\sqrt{2\left(17+\sqrt{17}\right)}-2\sqrt{17-3\sqrt{17}+\sqrt{2\left(85-19\sqrt{17}\right)}}}{8}\text{\hspace{0.05em}}z+1\right)\\ \text{\hspace{1em}}\cdot \left({z}^{2}+\frac{1+\sqrt{17}-\sqrt{2\left(17+\sqrt{17}\right)}+2\sqrt{17-3\sqrt{17}+\sqrt{2\left(85-19\sqrt{17}\right)}}}{8}\text{\hspace{0.05em}}z+1\right)\mathrm{,}\end{array}$ (11.7)

fourth factor

$\begin{array}{l}\left(z-{z}_{6}\right)\left(z-{z}_{7}\right)\left(z-{z}_{10}\right)\left(z-{z}_{11}\right)=\left(\left(z-{z}_{6}\right)\left(z-{z}_{11}\right)\right)\left(\left(z-{z}_{7}\right)\left(z-{z}_{10}\right)\right)\\ =\left({z}^{2}+\frac{1+\sqrt{17}+\sqrt{2\left(17+\sqrt{17}\right)}-2\sqrt{17-3\sqrt{17}-\sqrt{2\left(85-19\sqrt{17}\right)}}}{8}\text{\hspace{0.05em}}z+1\right)\\ \text{\hspace{1em}}\cdot \left({z}^{2}+\frac{1+\sqrt{17}+\sqrt{2\left(17+\sqrt{17}\right)}+2\sqrt{17-3\sqrt{17}-\sqrt{2\left(85-19\sqrt{17}\right)}}}{8}\text{\hspace{0.05em}}z+1\right)\mathrm{.}\end{array}$ (11.8)

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 $cos\left(\frac{\text{2\pi}}{17}\right)$ , that means the Cosine of the angle to the first

corner of the 17-gon which is explicitly

$cos\left(\frac{2\text{\pi}}{17}\right)=\frac{-1+\sqrt{17}+\sqrt{2\left(17-\sqrt{17}\right)}+2\sqrt{17+3\sqrt{17}-\sqrt{2\left(85+19\sqrt{17}\right)}}}{16}\mathrm{.}$ (11.9)

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 [6] on p. 32 and here cited according to him (see also Stewart [5] (p.

232)). All values for $cos\left(k\frac{\text{2\pi}}{17}\right)\mathrm{,}\left(k=\mathrm{1,2,}\cdots \mathrm{,8}\right)$ 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

${\text{U}}_{8}\left(\frac{u}{2}\right)+{\text{U}}_{7}\left(\frac{u}{2}\right)$ for $n=17$ in Table 1 (Equation (11.4)) with coefficients in

form of quadratic radicals the complete expressions for the doubled Cosines for all primitive roots ${u}_{k}$ . From (11.5) and (11.6) follows for

${u}_{k}\equiv 2cos\left(k\frac{\text{2\pi}}{17}\right)=2cos\left(\left(17-k\right)\frac{\text{2\pi}}{17}\right)$

${u}_{1,4}=\frac{-1+\sqrt{17}+\sqrt{2\left(17-\sqrt{17}\right)}\pm 2\sqrt{17+3\sqrt{17}-\sqrt{2\left(85+19\sqrt{17}\right)}}}{8},$

${u}_{2,8}=\frac{-1+\sqrt{17}-\sqrt{2\left(17-\sqrt{17}\right)}\pm 2\sqrt{17+3\sqrt{17}+\sqrt{2\left(85+19\sqrt{17}\right)}}}{8},$ (11.10)

where the first of the two indices in ${u}_{k\mathrm{,}l}$ corresponds to the upper sign and the second to the lower one in “ $\pm $ ” and, analogously, from (11.7) and (11.8)

${u}_{3,5}=\frac{-1-\sqrt{17}+\sqrt{2\left(17+\sqrt{17}\right)}\pm 2\sqrt{17-3\sqrt{17}+\sqrt{2\left(85-19\sqrt{17}\right)}}}{8},$

${u}_{6,7}=\frac{-1-\sqrt{17}-\sqrt{2\left(17+\sqrt{17}\right)}\pm 2\sqrt{17-3\sqrt{17}-\sqrt{2\left(85-19\sqrt{17}\right)}}}{8}.$ (11.11)

The factorization of ${\sum}_{l=0}^{16}}\text{\hspace{0.05em}}{z}^{l$ taken together with (11.5)-(11.8) can be formally written

$\begin{array}{l}\frac{{z}^{17}-1}{z-1}={\displaystyle \underset{l=0}{\overset{16}{\sum}}}{z}^{l}={\displaystyle \underset{k=1}{\overset{8}{\prod}}}\left({z}^{2}-{u}_{k}z+1\right),\text{\hspace{1em}}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}{u}_{k}\equiv 2\mathrm{cos}\left(k\frac{\text{2\pi}}{17}\right),\text{\hspace{1em}}\left(k\in \mathbb{Z}\left(\mathrm{mod}17\right)\right),\end{array}$ (11.12)

where the explicit form of the coefficients ${u}_{k},\left(k=1,2,\cdots ,m=8\right)$ given in (11.10) and (11.11) are taken from (11.5) and (11.8). If we insert the expressions ${u}_{k}$ for u into the cyclotomic Equation (2.5) for $m=8,n=2m+1=17$ using Table 1 (Equation (2.4))

$\begin{array}{c}{\text{U}}_{8}\left(\frac{u}{2}\right)+{\text{U}}_{7}\left(\frac{u}{2}\right)={u}^{8}+{u}^{7}-7{u}^{6}-6{u}^{5}+15{u}^{4}+10{u}^{3}-10{u}^{2}-4u+1\\ =\frac{{p}_{17}\left(z\right)}{\left(z-1\right){z}^{8}}\mathrm{,}\text{\hspace{1em}}\left(u\equiv z+{z}^{-1}=z+{z}^{\mathrm{*}}\right)\mathrm{,}\end{array}$ (11.13)

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 $\left(u-{u}_{k}\right)\left(u-{u}_{l}\right)$ 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

$\begin{array}{l}{u}^{8}+{u}^{7}-7{u}^{6}-6{u}^{5}+15{u}^{4}+10{u}^{3}-10{u}^{2}-4u+1\\ =\left({u}^{4}+\frac{1-\sqrt{17}}{2}{u}^{3}-\frac{3+\sqrt{17}}{2}{u}^{2}+\left(2+\sqrt{17}\right)u-1\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\cdot \left({u}^{4}+\frac{1+\sqrt{17}}{2}{u}^{3}-\frac{3-\sqrt{17}}{2}{u}^{2}+\left(2-\sqrt{17}\right)u-1\right)\mathrm{.}\end{array}$ (11.14)

^{4}The used program “Mathematica 10” does not automatically provide the solutions of (11.13) in the explicit form of the
${u}_{k}$ 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 $\left(u-{u}_{1}\mathrm{,}u-{u}_{4}\mathrm{,}u-{u}_{2}\mathrm{,}u-{u}_{8}\right)$ and the second the remaining factors $\left(u-{u}_{3}\mathrm{,}u-{u}_{5}\mathrm{,}u-{u}_{6}\mathrm{,}u-{u}_{7}\right)$ . 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 $u-{u}_{k}$ 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., [7] [9] ). The basis form such Fermat numbers ${F}_{l}\equiv {2}^{{2}^{l}}+1$ which are prime numbers ${p}_{i}$ . We denote them by ${p}_{1}\mathrm{,}{p}_{2}\mathrm{,}\cdots $ . An n-gon is constructible by compass and ruler if it is a power ${2}^{k}$ (for angle bisections) multiplied by an arbitrary product of distinct prime Fermat numbers ${p}_{i}$ that means

$n={2}^{k}{p}_{{i}_{1}}{p}_{{i}_{2}}\cdots .$ (11.15)

As it is well known the first 5 Fermat numbers which are ${F}_{0}=3,{F}_{1}=5,{F}_{2}=17,{F}_{3}=257,{F}_{4}=65\text{\hspace{0.05em}}537$ and are all prime numbers but the next Fermat number ${F}_{5}$ is composite (e.g., [7] [9] ; see also Table 2 in Section 3). The analogous case of numbers ${G}_{l}=3\cdot {2}^{{2}^{l}}+1$ 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 $\frac{\text{2\pi}}{3}$ or $\frac{\text{2\pi}}{5}$ with the angles $\frac{\text{2\pi}}{7}$ or $\frac{\text{2\pi}}{13}$ by bicompasses one may

construct

$\frac{\text{2\pi}}{3}\mp \frac{\text{2\pi}}{7}=\frac{\left(7\mp 3\right)2\text{\pi}}{21}=\left\{\begin{array}{c}{2}^{2}\text{\hspace{0.05em}}\frac{\text{2\pi}}{21}\\ 10\text{\hspace{0.05em}}\frac{\text{2\pi}}{21}\end{array}\right\},\text{\hspace{1em}}\frac{\text{2\pi}}{5}\mp \frac{\text{2\pi}}{7}=\frac{\left(7\mp 5\right)2\text{\pi}}{35}=\left\{\begin{array}{c}{2}^{1}\text{\hspace{0.05em}}\frac{\text{2\pi}}{35}\\ 12\text{\hspace{0.05em}}\frac{\text{2\pi}}{35}\end{array}\right\},$

$\frac{\text{2\pi}}{3}\mp \frac{\text{2\pi}}{13}=\frac{\left(13\mp 3\right)2\text{\pi}}{39}=\left\{\begin{array}{c}10\text{\hspace{0.05em}}\frac{\text{2\pi}}{39}\\ {2}^{4}\text{\hspace{0.05em}}\frac{\text{2\pi}}{39}\end{array}\right\},\text{\hspace{1em}}\frac{\text{2\pi}}{5}\mp \frac{\text{2\pi}}{13}=\frac{\left(13\mp 5\right)2\text{\pi}}{65}=\left\{\begin{array}{c}{2}^{3}\text{\hspace{0.05em}}\frac{\text{2\pi}}{65}\\ 18\text{\hspace{0.05em}}\frac{\text{2\pi}}{35}\end{array}\right\}\text{\hspace{0.05em}}.$ (11.16)

We see that in connection with (repeated) angle bisections admitted by

powers of 2 in front of $\frac{\text{2\pi}}{n}$ the circle division problem can be principally also solved, for example, for $n=21,35,39,65$ . More generally, if the angles $\frac{\text{2\pi}}{m}$ and $\frac{\text{2\pi}}{n}$ are constructible, one may consider the combinations $k\frac{\text{2\pi}}{m}+l\frac{\text{2\pi}}{n}$ with

$k\mathrm{mod}m$ and $l\mathrm{mod}n$ in analogous way.

12. Is Factorization of Cyclotomic Polynomial for n = 19 with 3-Cycles and with Only Quadratic Radicals Possible?

In case of $n=2m+1=19$ we find as a first factorization of the cyclotomic polynomial

$\begin{array}{c}\frac{{z}^{19}-1}{z-1}={\displaystyle \underset{k=0}{\overset{18}{\sum}}}\text{\hspace{0.05em}}{z}^{k}=\{{z}^{9}+\frac{1-\text{i}\sqrt{19}}{2}{z}^{8}-2{z}^{7}+\frac{3+\text{i}\sqrt{19}}{2}{z}^{6}+\frac{5-\text{i}\sqrt{19}}{2}{z}^{5}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}-\frac{5+\text{i}\sqrt{19}}{2}{z}^{4}-\frac{3-\text{i}\sqrt{19}}{2}{z}^{3}+2{z}^{2}-\frac{1+\text{i}\sqrt{19}}{2}z-1\}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\cdot \{{z}^{9}+\frac{1+\text{i}\sqrt{19}}{2}{z}^{8}-2{z}^{7}+\frac{3-\text{i}\sqrt{19}}{2}{z}^{6}+\frac{5+\text{i}\sqrt{19}}{2}{z}^{5}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}-\frac{5-\text{i}\sqrt{19}}{2}{z}^{4}-\frac{3+\text{i}\sqrt{19}}{2}{z}^{3}+2{z}^{2}-\frac{1-\text{i}\sqrt{19}}{2}z-1\}\\ =\left\{\left(z-{z}_{1}\right)\left(z-{z}_{4}\right)\left(z-{z}_{5}\right)\left(z-{z}_{6}\right)\left(z-{z}_{7}\right)\left(z-{z}_{9}\right)\left(z-{z}_{11}\right)\left(z-{z}_{16}\right)\left(z-{z}_{17}\right)\right\}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\cdot \left\{\left(z-{z}_{2}\right)\left(z-{z}_{3}\right)\left(z-{z}_{8}\right)\left(z-{z}_{10}\right)\left(z-{z}_{12}\right)\left(z-{z}_{13}\right)\left(z-{z}_{14}\right)\left(z-{z}_{15}\right)\left(z-{z}_{18}\right)\right\}\mathrm{.}\end{array}$ (12.1)

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 ${\sum}_{k=0}^{2m}}\text{\hspace{0.05em}}{z}^{2m-k$ in Two Factors with Quadratic Radicals in the Coefficients

If one looks through the first factorizations of the cyclotomic polynomials

$\frac{{p}_{2m+1}\left(z\right)}{z-1}={\displaystyle {\sum}_{k=0}^{2m}}\text{\hspace{0.05em}}{z}^{2m-k},$ $\left(m=0,1,2,\cdots \right)$ for odd $n=2m+1$ into the product of

two ‘similar’ polynomials of m-th degree with only quadratic radicals in their coefficients as explicitly given up to $n=19,m=9$ 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 $n=19$ only for $n=5$ and $n=17$ which are prime Fermat numbers and for $n=13$ . In all other cases up to $n=19$ 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 ${z}^{n-2}$ and ${z}^{n-3}$ of the cyclotomic

polynomial $\frac{{p}_{n}\left(z\right)}{z-1}$ which are equal to 1 as for all its coefficients one can deter-

mine both coefficients ${a}_{m-1}$ and ${a}_{m-2}$ in the two factors of their principal form ${z}^{m}-{a}_{m-1}{z}^{m-1}+{a}_{m-2}{z}^{m-2}+\cdots +{\left(-1\right)}^{m}$ . 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 $n=2m+1$ that in the first factorization of the cyclotomic polynomial

$\frac{{p}_{2m+1}\left(z\right)}{z-1}$ into a product of two polynomials of degree m with quadratic radicals

only that the coefficients of the powers to ${z}^{0}=1$ can also be only $\pm 1$ 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 $\sqrt{n}$ 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 $\frac{-1+i\sqrt{7}}{2}$ 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 [21] 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., [8] ) 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 [21] 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 $\left(\mathrm{1,}\text{i}\right)$ and the Eisenstein integers

(possible basis $\left(\mathrm{1,}\frac{-1+\text{i}\sqrt{3}}{2}\right)$ the Klein integers (‘Kleinian ring’) with possible basis $\left(\mathrm{1,}\frac{-1+\text{i}\sqrt{7}}{2}\right)$ possesses this property [21] . The complex number $\frac{-1+\text{i}\sqrt{7}}{2}$ 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 $z={z}_{m,n}$ of all lattice points $z\in \u2102$ [21]

${z}_{m\mathrm{,}n}=m+n\left(\frac{-1+\text{i}\sqrt{7}}{2}\right)\mathrm{,}\text{\hspace{1em}}\left(m\mathrm{,}n=\mathrm{0,}\pm \mathrm{1,}\pm \mathrm{2,}\cdots \right)\mathrm{.}$ (14.1)

The norm of the lattice points ${z}_{m\mathrm{,}n}$ that is the squared modulus $N\left(z\right)={\left|z\right|}^{2}$ of an arbitrary complex number z is

$N\left({z}_{m\mathrm{,}n}\right)={\left|m-\frac{n}{2}+\text{i}n\frac{\sqrt{7}}{2}\right|}^{2}={m}^{2}-mn+2{n}^{2}\ge \mathrm{0,}$ (14.2)

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 [9] , p. 224 (in English Ed.) and [21] , p. 18 and particularly beautiful (larger) in the book of Guy [22] , pp. 56, 57) would be also very interesting for the Klein primes (with 7-fold symmetry ${C}_{7v}$ as subgroup of permutation group ${S}_{7}$ ).

15. Conclusions

Present article results mainly from investigations to the problem for which n a regular n-gon besides the regular heptagon ( $n=7$ ) may be constructed by rhombic bicompasses and ruler. We found that the next possible case is the regular tridecagon ( $n=13$ ) 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 $\mathbb{Z}$ or $\mathbb{Q}$ ) 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 $n=13$ 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 $n=7$ and $n=13$ . 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.

^{5}Edited 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 [1] 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.

Cite this paper

Wünsche, A. (2017) Factorization of Cyclotomic Polynomials with Quadratic Radicals in the Coefficients. Advances in Pure Mathematics, 7, 472-506. https://doi.org/10.4236/apm.2017.79032

References

- 1. Wünsche, A. (2014) Construction of Regular Heptagon by Rhombic Bicompasses and Ruler. Applied Mathematics, 5, 2370-2380. https://doi.org/10.4236/am.2014.515229
- 2. Courant, R. and Robbins, H. (1996) What Is Mathematics. Oxford University Press, Oxford. (First Published 1941; I Used the Russian Translation from Prosvyetchenye, Moscow, 1967).
- 3. van der Waerden, B.L. (1964) Algebra, 1. Teil. 6th Edition, Springer, Berlin. https://doi.org/10.1007/978-3-662-01380-9
- 4. Postnikov, M.M. (1963) Teorija Galoa. Fizmatgiz, Moskva. (In Russian). (English Translation: Foundations of Galois Theory. Dover Publications, New York, 2004).
- 5. Stewart, I. (2004) Galois Theory. 3rd Edition, Chapman & Hall/CRC, Boca Raton.
- 6. Edwards, H. (1984) Galois Theory. Springer, New York.
- 7. Stillwell, J. (1994) Elements of Algebra. Springer, New York. https://doi.org/10.1007/978-1-4757-3976-3
- 8. Stillwell, J. (2003) Elements of Number Theory. Springer, New York. https://doi.org/10.1007/978-0-387-21735-2
- 9. Conway, J.H. and Guy, R.K. (1996) The Book of Numbers. Springer, New York; German Translation: Zahlenzauber, Birkhäuser, Basel, 1996.
- 10. Stewart, I. and Tall, D. (2002) Algebraic Number Theory and Fermat’s Last Theorem. CRC Press, Boca Raton.
- 11. Shkolnik, A.G. (1961) The Problem of Circle Division. Uchpedgiz, Moscow. (In Russian).
- 12. Bold, B. (1969) Famous Problems of Geometry and How to Solve Them. Dover, New York.
- 13. Gleason, A.M. (1988) Angle Trisection, the Heptagon and the Triskaidecagon. The American Mathematical Monthly, 95, 185-195. https://doi.org/10.2307/2323624
- 14. Gardner, M. (1966) The Persistence (and Futility) of Efforts to Trisect the Angle. Mathematical Games, Scientific American, June 1966. In: Matematicheskiye Novelly (Mathematical Stories) (in Russian) with a Collection of Articles from M. Gardner in Scientific American, Chap. 13, Mir, Moskva 1974.
- 15. Gardner, M. (1969) Geometric Constructions with a Compass and Straightedge. Mathematical Games, Scientific American, September 1969. In: Matematicheskiye Novelly (Mathematical Stories) (in Russian) with a Collection of Articles from M. Gardner in Scientific American, Chap. 35, Mir, Moskva 1974.
- 16. Szegö, G. (1950) Orthogonal Polynomials (Rev. Ed.). American Mathematical Society, New York.
- 17. Rivlin, Th.J. (1990) Chebyshev Polynomials. 2nd Edition, John Wiley and Sons, New York.
- 18. Koornwinder, T.H., Wong, R., Koekoek, R. and Swarttouw, R.F. (2010) Orthogonal Polynomials. In: Olver, F.W.J., Lozier, D.W., Boisvert, R.F. and Clark, Ch.W., Eds., NIST Handbook of Mathematical Functions, Cambridge University Press, New York. Chap. 18, 435-484.
- 19. Wikipedia Article Pierpont Prime, 2013 (with Historical Remarks to the Article).
- 20. Weisstein, E.W. (2017) Pierpont Prime. From MathWorld—A Wolfram Web Resource. http://mathworld.wolfram.com/PierpontPrime.html
- 21. Conway, J.H. and Smith, D.A. (2003) On Quaternions and Octonions. CRC Press, Boca Raton.
- 22. Guy, R.K. (2004) Unsolved Problems in Number Theory. 3rd Edition, Springer, New York. https://doi.org/10.1007/978-0-387-26677-0

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 ${\text{V}}_{n}\left(x\right)$ is introduced. In this connection there are defined the following two relatives of the Chebyshev polynomials (see [16] , p. 60 without notations ${\text{V}}_{n}\left(x\right)$ and ${\text{W}}_{n}\left(x\right)$ and, e.g., [18] , p. 442)

${\text{V}}_{n}\left(cos\left(\theta \right)\right)=\frac{sin\left(\left(n+\frac{1}{2}\right)\theta \right)}{sin\left(\frac{1}{2}\theta \right)}\mathrm{,}$

${\text{W}}_{n}\left(cos\left(\theta \right)\right)=\frac{cos\left(\left(n+\frac{1}{2}\right)\theta \right)}{cos\left(\frac{1}{2}\theta \right)}\mathrm{,}$ (A.1)

called also Chebyshev polynomials of third and fourth kind. By multiplication of

numerator and denominator of the first Equation in (A.1) with $cos\left(\frac{1}{2}\theta \right)$ and of the second equation with $sin\left(\frac{1}{2}\theta \right)$ and applying then the addition theorems

for trigonometric functions one obtains

${\text{V}}_{n}\left(cos\left(\theta \right)\right)=\frac{sin\left(\left(n+1\right)\theta \right)+sin\left(n\theta \right)}{sin\left(\theta \right)}={\text{U}}_{n}\left(cos\left(\theta \right)\right)+{\text{U}}_{n-1}\left(cos\left(\theta \right)\right)\mathrm{,}$

${\text{W}}_{n}\left(cos\left(\theta \right)\right)=\frac{sin\left(\left(n+1\right)\theta \right)-sin\left(n\theta \right)}{sin\left(\theta \right)}={\text{U}}_{n}\left(cos\left(\theta \right)\right)-{\text{U}}_{n-1}\left(cos\left(\theta \right)\right)\mathrm{.}$ (A.2)

This can be also written in different representations (we use ${\text{T}}_{-k}\left(z\right)={\text{T}}_{k}\left(z\right)$ and may use ${\text{U}}_{n-1}\left(z\right)=-{\text{U}}_{-n-1}\left(z\right)$ with special case ${\text{U}}_{-1}\left(z\right)=0$ )

$\begin{array}{c}{\text{V}}_{n}\left(z\right)=\frac{{2}^{2n}n{\mathrm{!}}^{2}}{\left(2n\right)\mathrm{!}}\text{\hspace{0.05em}}{\text{P}}_{n}^{\left(\frac{1}{2}\mathrm{,}-\frac{1}{2}\right)}\left(z\right)=\frac{{2}^{2n}n{\mathrm{!}}^{2}}{\left(2n\right)\mathrm{!}}\left({\text{P}}_{n}^{\left(-\frac{1}{2}\mathrm{,}-\frac{1}{2}\right)}\left(z\right)+\frac{1+z}{2}{\text{P}}_{n-1}^{\left(\frac{1}{2}\mathrm{,}\frac{1}{2}\right)}\left(z\right)\right)\\ ={\text{T}}_{n}\left(z\right)+\left(1+z\right){\text{U}}_{n-1}\left(z\right)={\displaystyle \underset{k=0}{\overset{2n}{\sum}}}\text{\hspace{0.05em}}{\text{T}}_{n-k}\left(z\right)={\text{U}}_{n}\left(z\right)+{\text{U}}_{n-1}\left(z\right)\mathrm{,}\end{array}$

$\begin{array}{c}{\text{W}}_{n}\left(z\right)=\frac{{2}^{2n}n{\mathrm{!}}^{2}}{\left(2n\right)\mathrm{!}}\text{\hspace{0.05em}}{\text{P}}_{n}^{\left(-\frac{1}{2}\mathrm{,}\frac{1}{2}\right)}\left(z\right)=\frac{{2}^{2n}n{\mathrm{!}}^{2}}{\left(2n\right)\mathrm{!}}\left({\text{P}}_{n}^{\left(-\frac{1}{2}\mathrm{,}-\frac{1}{2}\right)}\left(z\right)-\frac{1-z}{2}{\text{P}}_{n-1}^{\left(\frac{1}{2}\mathrm{,}\frac{1}{2}\right)}\left(z\right)\right)\\ ={\text{T}}_{n}\mathrm{(}z\mathrm{)}-\left(1-z\right){\text{U}}_{n-1}\left(z\right)={\displaystyle \underset{k=0}{\overset{2n}{\sum}}}{\left(-1\right)}^{k}{\text{T}}_{n-k}\left(z\right)={\text{U}}_{n}\left(z\right)-{\text{U}}_{n-1}\left(z\right)\mathrm{,}\end{array}$ (A.3)

where ${\text{P}}_{n}^{\left(\alpha \mathrm{,}\beta \right)}\left(z\right)$ denotes the Jacobi polynomials.

The orthogonality relations and weight functions for the polynomials ${\text{V}}_{n}\left(x\right)$ and ${\text{W}}_{n}\left(x\right)$ in the real interval $-1\le x\le +1$ are different from that for the Chebyshev polynomials ${\text{T}}_{n}\left(x\right)$ and ${\text{U}}_{n}\left(x\right)$ and follow from the general orthogonality relations for the Jacobi polynomials. The weight functions are

$\sqrt{\frac{1-x}{1+x}}$ and $\sqrt{\frac{1+x}{1-x}}$ for ${\text{V}}_{n}\left(x\right)$ and ${\text{W}}_{n}\left(x\right)$ , respectively, instead of $\frac{1}{\sqrt{1-{x}^{2}}}$

and $\sqrt{1-{x}^{2}}$ for ${\text{T}}_{n}\left(x\right)$ and ${\text{U}}_{n}\left(x\right)$ , respectively. This circumstance may justify the separate introduction of ${\text{V}}_{n}\left(x\right)$ and ${\text{W}}_{n}\left(x\right)$ but most relations for these polynomials can be directly obtained from that for the Chebyshev polynomials of first and second kind.