A generalization of Wantzel's theorem, m-sectable angles, and the density of certain Chebyshev-polynomial images

DOI10.1016/J.JPAA.2014.12.029MaRDI QIDQ2349934zbMATH OpenOpenAlexFDO

Authors Peter J. Kahn

Publication date 18 June 2015

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1503.01080

zbMATH Keywords

\(m\)-sectable anglesChebyshev polynomialWantzel's theorem

Mathematics Subject Classification ID

Polynomials (irreducibility, etc.) (11R09) Polynomials in real and complex fields: location of zeros (algebraic theorems) (12D10) Elementary problems in Euclidean geometries (51M04)

Abstract: The eponymous theorem of P.L. Wantzel presents a necessary and sufficient criterion for angle trisectability in terms of the third Chebyshev polynomial $T_3$, thus making it easy to prove that there exist non-trisectable angles. We generalize this theorem to the case of all Chebyshev polynomials $T_m$ . We also study the set extbf{m-Sect} consisting of all cosines of $m$-sectable angles (see S 1), showing that, when $m$ is not a power of two, extbf{m-Sect} contains only algebraic numbers . We then introduce a notion of density based on the diophantine-geometric concept of height of an algebraic number and obtain a result on the density of certain polynomial images. Using this in conjunction with the Generalized Wantzel Theorem, we obtain our main result: for every real algebraic number field $K$, the set extbf{m-Sect} $capK$ has density zero in $[-1,1]capK$ when $m$ is not a power of two. (To appear in the Journal of Pure and Applied Algebra.)

Recommendations

• Elementary Proof That Some Angles Cannot Be Trisected by Ruler and Compass
• scientific article; zbMATH DE number 1961279
• scientific article; zbMATH DE number 2210788
• Integer-sided triangles with trisectible angles
• The essential uniqueness of the Connes-Morley theorem

Cites work

• Heights in number fields
• scientific article; zbMATH DE number 3838204 (Why is no real title available?)
• scientific article; zbMATH DE number 3058859 (Why is no real title available?)

This page was built for publication: A generalization of Wantzel's theorem, \(m\)-sectable angles, and the density of certain Chebyshev-polynomial images

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2349934)