More Web Proxy on the site http://driver.im/

research-article

Reasoning about linkages with dynamic geometry

Authors:

Zoltán Kovács,

M. Pilar VélezAuthors Info & Claims

Volume 97, Issue C

Pages 16 - 30

https://doi.org/10.1016/j.jsc.2018.12.003

Published: 01 March 2020 Publication History

Abstract

We illustrate an on-going work on the crossroad of mechanical linkages, dynamic geometry and automated reasoning. In particular, we exemplify how some automated reasoning tools (ART) based on symbolic computation and recently implemented in GeoGebra, can be used for linkage exploration. For instance, when considering linkages for generating specific algebraic curves, such as Peaucellier's construction of a straight line, we will show how these ART can help towards the verification (automatic proving) of the correctness of the linkage construction, as well as for finding (automatic discovery) a suitable modification on a given linkage for achieving a desired movement.

References

[1]

Abánades, M. A., Escribano, J. and Botana F., 2009. Remote symbolic computation of loci. Presentation at CADGME 2009, Hagenberg–Linz, Austria. https://www.risc.jku.at/conferences/cadgme2009/ABANADES/ABANADES.pdf. (Accessed 6 July 2017).

[2]

M.A. Abánades, F. Botana, A. Montes, T. Recio, An algebraic taxonomy for locus computation in dynamic geometry, Comput. Aided Des. 56 (2014) 22–33,.

[3]

M.A. Abánades, F. Botana, Z. Kovács, T. Recio, C. Sólyom-Gecse, Development of automatic reasoning tools in GeoGebra. Software Demonstration at the ISSAC 2016 Conference, ACM Commun. Comput. Algebra 50 (3) (2016) 85–88. http://www.issac-conference.org/2016/awards.php.

[4]

I.I. Artobolevsky, Mechanisms in Modern Engineering Design. Volume 1, MIR Publishers, Moscow, 1976.

[5]

F. Botana, M. Hohenwarter, P. Janičić, Z. Kovács, I. Petrović, T. Recio, S. Weitzhofer, Automated theorem proving in GeoGebra: current achievements, J. Autom. Reason. 55 (1) (2015) 39–59,.

Digital Library

[6]

F. Botana, J. Valcarce, A dynamic-symbolic interface for geometric theorem discovery, Comput. Educ. 38 (2002) 21–35,.

Digital Library

[7]

Brinster, I.; Jumbe, J. (2009): Linkage Simulation in Cinderella. http://www.utdallas.edu/~sxb027100/creu09/linkageSite.html.

[8]

J. Bryant, C. Sangwin, How Round Is Your Circle? Where Engineering and Mathematics Meet, Princeton University Press, Princeton, New Jersey, 2008.

[9]

Dankert, J. (2013): Theo Jansens Strandbeest-Mechanismus, Internet Service für die Auflagen 5 bis 7 des Lehrbuchs Dankert/Dankert: Technische Mechanik. http://www.tm-aktuell.de/TM5/Viergelenkketten/Strandbeest.html.

[10]

Fernández, J. (2007): Simulador del mecanismo Theo Jansen. https://archive.geogebra.org/en/upload/files/spanish/JesusF/SimulTheoJ.htm.

[11]

M. Gallet, C. Koutschan, Z. Li, G. Regensburger, J. Schicho, N. Villamizar, Planar linkages following a prescribed motion, Math. Comput. 86 (2017) 473–506,.

[12]

X. Ge, D. Ifenthaler, J.M. Spector (Eds.), Emerging Technologies for STEAM Education. Full STEAM Ahead, Springer International Publishing, 2015.

[13]

The GeoGebra Team (2018): GeoGebra. http://www.geogebra.org.

[14]

J.E. Graver, Counting on Frameworks, Dolciani Mathematical Expositions, vol. 25, Mathematical Association of America, 2002.

[15]

Hohenwarter M., Kovács Z., Recio T., 2017. Deciding geometric properties symbolically in GeoGebra. R&E-SOURCE. Open Online Journal for Research and Education. Special Issue 6, March 2017 https://journal.ph-noe.ac.at/index.php/resource/article/view/411.

[16]

Jansen, T., 2011. Strandbeest. http://www.strandbeest.com. (Accessed 7 September 2018).

[17]

M. Kapovich, J. Millson, Universality theorem for configuration spaces of planar linkages, Topology 41 (6) (2002) 1051–1107,.

[18]

A.B. Kempe, On a general method of describing plane curves of the nth degree by linkwork, Proc. Lond. Math. Soc. s1-7 (1) (1876) 213–216,.

[19]

A.B. Kempe, How to Draw a Straight Line: A Lecture on Linkages, Macmillan, London, 1877.

[20]

A. Kobel, Automated Generation of Kempe Linkages for Algebraic Curves in a Dynamic Geometry System, Bachelor's thesis Saarland University, Saarbrücken, Germany, 2008.

[21]

Z. Kovács, Real-time animated dynamic geometry in the classrooms by using fast Gröbner basis computations, Math. Comput. Sci. 11 (2017) 351–361,.

[22]

Kovács, Z. (2017): A LEGO model of Chebyshev's linkage. http://test.geogebra.org/~kovzol/talks/stem2017/Chebyshev-notcrossed.lxf.

[23]

Kovács, Z. (2017): No, this is not a line!. https://www.geogebra.org/m/qQR2TZEg.

[24]

Z. Kovács, B. Parisse, Giac and GeoGebra – Improved Gröbner Basis Computations, in: J. Gutierrez, et al. (Eds.), Computer Algebra and Polynomials, in: Lecture Notes in Computer Science, vol. 8942, 2015, pp. 126–138,.

[25]

Z. Kovács, T. Recio, M.P. Vélez, Using automated reasoning tools in GeoGebra in the teaching and learning of proving in geometry, Int. J. Technol. Math. Educ. 25 (2) (2018) 33–50,.

[26]

The LEGO Group (2018): LEGO Digital Designer 4.3. http://ldd.lego.com.

[27]

Y. Liu, J.M. McCarthy, Synthesis of a linkage to draw a plane algebraic curve, Mech. Mach. Theory 111 (2017) 10–20,.

[28]

Lopez-Binder, J. (2013): Four Bar Linkage. https://www.openprocessing.org/sketch/85327.

[29]

Maplesoft, 2018. Maple 2018. https://www.maplesoft.com. (Accessed 7 September 2018).

[30]

Martinez, A.; Pergola, M.; Turrini, M.; Zanoli, C. (2017): Associacione Macchine Mathematiche. http://www.macchinematematiche.org/.

[31]

F.C. Moon, The Machines of Leonardo Da Vinci and Franz Reuleaux: Kinematics of Machines from the Renaissance to the 20th Century, Springer, Dordrecht, The Netherlands, 2017.

[32]

Motcho, A. (2017): 4-bar linkage simulator. A Desmos Graph. https://www.desmos.com/calculator/iuprdl6sxk.

[33]

R. Oldenburg, FeliX – mit Algebra Geometrie machen, in: Computeralgebra Rundbrief, Sonderheft zum Jahr der Mathematik, 2008, http://www.fachgruppe-computeralgebra.de/data/JdM-2008/Sonderheft.pdf.

[34]

T. Recio, M.P. Vélez, Automatic discovery of theorems in elementary geometry, J. Autom. Reason. 23 (1999) 63–82,.

[35]

Saltire Software, 2017. 4 Bar Linkage Kinematics. http://mechanicalexpressions.com/explore/kinematics/4-bar-linkage.html. (Accessed 22 December 2017).

[36]

Shih, R. (2011): Planar linkage analysis using GeoGebra. http://www.oit.edu/faculty/randy.shih/mech407/GeoGebra.pdf.

[37]

D. Tamina, Historical mechanisms for drawing curves, in: A. Shell-Gellasch (Ed.), Hands on History: A Resource for Teaching Mathematics, American Mathematical Society, 2007, pp. 89–104,.

[38]

J. Vincent, Dynamic geometry software and mechanical linkages, in: D. Watson, J. Andersen (Eds.), Networking the Learner: Computers in Education, Springer, Boston, MA, 2002, pp. 423–432,.

[39]

O. Vinogradov, Fundamentals of Kinematics and Dynamics of Machines and Mechanisms, CRC Press, Boca Raton, London, New York, Washington, D.C, 2000.

[40]

West, M. (2015): Four-bar linkages. http://dynref.engr.illinois.edu/aml.html.

[41]

Wikipedia contributors, 2017. Watt's linkage. Wikipedia, The Free Encyclopedia. https://en.wikipedia.org/w/index.php?title=Watt9. (Accessed 6 July 2017).

Cited By

Brown CKovács ZRecio T(2023)Faithful Real-Time Animation of Parametrized (Semi-) Algebraic Expressions via Cylindrical Algebraic DecompositionACM Communications in Computer Algebra10.1145/3614408.361441357:2(43-46)Online publication date: 1-Jun-2023
https://dl.acm.org/doi/10.1145/3614408.3614413

Index Terms

Reasoning about linkages with dynamic geometry

Index terms have been assigned to the content through auto-classification.

Recommendations

A dynamic symbolic geometry environment based on the GröbnerCover algorithm for the computation of geometric loci and envelopes
CICM'13: Proceedings of the 2013 international conference on Intelligent Computer Mathematics

An enhancement of the dynamic geometry system GeoGebra for the automatic symbolic computation of algebraic loci and envelopes is presented. Given a GeoGebra construction, the prototype, after rewriting the construction as a polynomial system in terms of ...
Computing envelopes in dynamic geometry environments

We review the behavior of some popular dynamic geometry software when computing envelopes, relating the diverse methods implemented in these programs with the various definitions of envelope. Special attention is given to the new GeoGebra 5.0 version, ...
The Reachability Problem in Constructive Geometric Constraint Solving Based Dynamic Geometry

An important issue in dynamic geometry is the reachability problem that asks whether there is a continuous path that, from a given starting geometric configuration, continuously leads to an ending configuration. In this work we report on a technique to ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Journal of Symbolic Computation

Journal of Symbolic Computation Volume 97, Issue C

Mar 2020

109 pages

ISSN:0747-7171

Issue’s Table of Contents

Elsevier Ltd.

Publisher

Academic Press, Inc.

United States

Publication History

Published: 01 March 2020

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 31 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Brown CKovács ZRecio T(2023)Faithful Real-Time Animation of Parametrized (Semi-) Algebraic Expressions via Cylindrical Algebraic DecompositionACM Communications in Computer Algebra10.1145/3614408.361441357:2(43-46)Online publication date: 1-Jun-2023
https://dl.acm.org/doi/10.1145/3614408.3614413

View Options

View options

Media

Figures

Other

Tables

View Issue’s Table of Contents