An automated study of isoptic curves of an astroid. (March 2020)

• Record Type: Journal Article
• Authors: Dana-Picard, Thierry
• Is Part Of: Journal of symbolic computation. Volume 97(2020)
• Page Start: 56
• Page End: 68
• Publication Date: 2020-03
• Subjects: Isoptic curves -- Astroid -- Automated study -- Dynamical geometry -- Gröbner bases; Mathematics -- Data processing -- Periodicals; Numerical analysis -- Data processing -- Periodicals; Automatic programming (Computer science) -- Periodicals; Mathématiques -- Informatique -- Périodiques; Analyse numérique -- Informatique -- Périodiques; Programmation automatique -- Périodiques; Automatic programming (Computer science); Mathematics -- Data processing; Numerical analysis -- Data processing; Periodicals; Electronic journals; 510.285
• DOI: 10.1016/j.jsc.2018.12.005
• Languages: English
• ISSNs: 0747-7171

Abstract

Abstract: Learning mathematics in a technology rich environment enables to revive classical topics which have been removed from the curriculum a long time ago. Theoretical issues and their applications can be studied within an experimental process, using automated proofs. We present a technology based study of isoptic curves of an astroid, which is a non smooth and non convex curve. We take advantage of both algebraic symbolic features, such as resultants and Gröbner bases packages implemented in a Computer Algebra System (CAS), together with a Dynamical Geometry System (DGS). The usage of algebraic methods is made possible by the translation of the trigonometric parametrization into rational expressions, and then into polynomial equations. The dynamics provided by the DGS enable the discovery of special features of the isoptics, in particular the fact that the isoptic has singular points and, according to the viewing angle, the isoptic may be inscribed in the astroid or not.