Abstract
In 1993 Watkins and Zeitlin published a method [1] to simply compute the minimal polynomial of \(\cos (2\pi /n)\), based on the Chebyshev polynomials of the first kind. For the work presented in this paper we have implemented a small augmentation, based on Watkins an Zeitlin’s work, to the dynamic mathematics tool GeoGebra. We show that this improves GeoGebra’s capability to discover and automatically prove various non-trivial properties of regular n-gons.
Discovering and proving, in this context, means that the user can sketch a conjecture by drawing the geometric figure with the tools provided by GeoGebra. Then, even if the construction is just approximate, in the background a rigorous proof is computed, ensuring that the conjecture can be confirmed, or must be rejected.
In this paper the potential interest of automated reasoning tools will be illustrated, by describing such new results in detail, obtained by some recently implemented features in GeoGebra.
Besides confirming well known results, many interesting new theorems can be found, including statements on a regular 11-gon that are impossible to represent with classical means, for example, with a compass and a straightedge, or with origami.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Watkins, W., Zeitlin, J.: The minimal polynomial of \(\cos (2\pi /n)\). Am. Math. Mon. 100, 471–474 (1993)
Chou, S.C.: Mechanical Geometry Theorem Proving. Springer, Dordrecht (1987)
Wu, W.T.: On the Decision Problem and the Mechanization of Theorem-Proving in Elementary Geometry (1984)
Lehmer, D.H.: A note on trigonometric algebraic numbers. Am. Math. Mon. 40, 165–166 (1933)
Gurtas, Y.Z.: Chebyshev polynomials and the minimal polynomial of \(\cos (2\pi /n)\). Am. Math. Mon. 124, 74–78 (2017)
Wantzel, P.: Recherches sur les moyens de reconnaître si un problème de géométrie peut se résoudre avec la règle et le compas. Journal de Mathématiques Pures et Appliquées 1, 366–372 (1837)
Sethuraman, B.: Rings, Fields, and Vector Spaces: An Introduction to Abstract Algebra via Geometric Constructibility. Springer, New York (1997). https://doi.org/10.1007/978-1-4757-2700-5
Pierpont, J.: On an undemonstrated theorem of the disquisitiones arithmeticæ. Bull. Am. Math. Soc. 2, 77–83 (1895)
Gleason, A.M.: Angle trisection, the heptagon, and the triskaidecagon. Am. Math. Mon. 95, 185–194 (1988)
Kapur, D.: Using Gröbner bases to reason about geometry problems. J. Symb. Comput. 2, 399–408 (1986)
Recio, T., Vélez, M.P.: Automatic discovery of theorems in elementary geometry. J. Autom. Reason. 23, 63–82 (1999)
Coxeter, H.S.M.: Regular Polytopes, 3rd edn. Dover Publications, New York (1973)
Kovács, Z., Recio, T., Sólyom-Gecse, C.: Automatic rewrites of input expressions in complex algebraic geometry provers. In: Narboux, J., Schreck, P., Streinu, E. (eds.) Proceedings of ADG 2016, Strasbourg, France, pp. 137–143 (2016)
Kovács, Z., Recio, T., Vélez, M.P.: Detecting truth, just on parts. CoRR abs/1802.05875 (2018)
Cox, D., Little, J., O’Shea, D.: Ideals Varieties, and Algorithms. Springer, New York (2007). https://doi.org/10.1007/978-0-387-35651-8
Kovács, Z.: Automated reasoning tools in GeoGebra: a new approach for experiments in planar geometry. South Bohemia Math. Lett. 25(1), 48–65 (2017). http://home.pf.jcu.cz/~sbml/wp-content/uploads/Kovacs.pdf
Kovács, Z., Recio, T., Vélez, M.P.: gg-art-doc (GeoGebra Automated Reasoning Tools. A tutorial). A GitHub project (2017). https://github.com/kovzol/gg-art-doc
Kovács, Z.: RegularNGons. A GitHub project (2018). https://github.com/kovzol/RegularNGons
Gauß, C.F.: Disquisitiones Arithmeticae. Fleischer, Lipsiae (Leipzig) (1801)
Acknowledgments
The author was partially supported by a grant MTM2017-88796-P from the Spanish MINECO (Ministerio de Economia y Competitividad) and the ERDF (European Regional Development Fund).
Many thanks to Tomás Recio and Francisco Botana for their valuable comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Kovács, Z. (2018). Finding and Proving New Geometry Theorems in Regular Polygons with Dynamic Geometry and Automated Reasoning Tools. In: Rabe, F., Farmer, W., Passmore, G., Youssef, A. (eds) Intelligent Computer Mathematics. CICM 2018. Lecture Notes in Computer Science(), vol 11006. Springer, Cham. https://doi.org/10.1007/978-3-319-96812-4_15
Download citation
DOI: https://doi.org/10.1007/978-3-319-96812-4_15
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-96811-7
Online ISBN: 978-3-319-96812-4
eBook Packages: Computer ScienceComputer Science (R0)