Abstract
A dynamic geometry system, as an important application in the field of geometric constraint solving, is widely used in elementary mathematics education; moreover, the dynamic geometry system is also a fundamental environment for automated theorem proving in geometry. In a geometric constraint solving process, a situation involving a critical point is often encountered, and geometric element degeneracy may occur at this point. Usually, the degeneracy situation must be substantively focused on during the learning and exploration process. However, many degeneracy situations cannot be completely presented even by the well-known dynamic geometry software. In this paper, the mechanisms causing the degeneracy of a geometric element are analyzed, and relevant definitions and formalized descriptions for the problem are provided according to the relevant modern Euclidean geometry theories. To solve the problem, the data structure is optimized, and a domain model design for the geometric element and the constraint relationships thereof in the dynamic geometry system are formed; furthermore, an update algorithm for the element is proposed based on the novel domain model. In addition, instances show that the proposed domain model and the update algorithm can effectively cope with the geometric element degeneracy situations in the geometric constraint solving process, thereby achieving unification of the dynamic geometry drawing and the geometric intuition of the user.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Gao X S, Jiang K. Survey on geometric constraint solving. Journal of Computer Aided Design & Computer Graphics, 2004, 16(4): 385-396. DOI: https://doi.org/10.3321/j.issn:1003-9775.2004.04.001. (in Chinese)
Zhang J Z, Ge Q, Peng X C. Educational technology research should be in-depth discipline. e-Education Research, 2010, (2): 8-13. DOI: 10.13811/j.cnki.eer.2010.02.009. (in Chinese)
Bokosmaty S, Mavilidi M F, Paas F. Making versus observing manipulations of geometric properties of triangles to learn geometry using dynamic geometry software. Computers & Education, 2017, 113: 313-326. DOI: https://doi.org/10.1016/j.compedu.2017.06.008.
Ye Z, Cou S C, Gao X S. Visually dynamic presentation of proofs in plane geometry. Journal of Automated Reasoning, 2010, 45(3): 213-241. DOI: https://doi.org/10.1007/s10817-009-9162-5.
Cou S C, Gao X S, Zhang J Z. Automated generation of readable proofs with geometric invariants. Journal of Automated Reasoning, 1996, 17(3): 325-347. DOI: https://doi.org/10.1007/BF00283133.
Wu W T. Basic principles of mechanical theorem proving in elementary geometries. Journal of Automated Reasoning, 1986, 2(3): 221-252. DOI: https://doi.org/10.1007/BF02328447.
Kapur D. Using Gröbner bases to reason about geometry problems. Journal of Symbolic Computation, 1986, 2(4): 399-408. DOI: https://doi.org/10.1016/S0747-7171(86)80007-4.
Abánades M, Botana F, Kovács Z et al. Development of automatic reasoning tools in GeoGebra. ACM Communications in Computer Algebra, 2016, 50(3): 85-88. DOI: https://doi.org/10.1145/3015306.3015309.
Rao Y S, Zhang J Z, Zou Y et al. An advanced operating environment for mathematics education resources. Science China (Information Sciences), 2018, 61(9): 1-3. DOI: 10.1007/s11432-017-9235-7.
Muthanna T, Sivertsen E, Kliewer D et al. Coupling field observations and geographical information system (GIS)-based analysis for improved sustainable urban drainage systems (SUDS) performance. Sustainability, 2018, 10(12): Article No. 4683. DOI: 10.3390/su10124683.
Gillula J H, Hoffmann G M, Huang H et al. Applications of hybrid reachability analysis to robotic aerial vehicles. The International Journal of Robotics Research, 2011, 30(3): 335-354. DOI: https://doi.org/10.1177/0278364910387173.
Kurniawati H, Du Y, Hsu D et al. Motion planning under uncertainty for robotic tasks with long time horizons. The International Journal of Robotics Research, 2011, 30(3): 308-323. DOI: https://doi.org/10.1177/0278364910386986.
Chen H, Sheng W. Transformative CAD based industrial robot program generation. Robotics and Computer-Integrated Manufacturing, 2011, 27(5): 942-948. DOI: https://doi.org/10.1016/j.rcim.2011.03.006.
Deng W, Karaliopoulos M, MühlbauerWet al. k-Fault tolerance of the Internet AS graph. Computer Networks, 2011, 55(10): 2492-2503. DOI: https://doi.org/10.1016/j.comnet.2011.04.009.
Richter-Gebert J, Kortenkamp U H. Complexity issues in dynamic geometry. In Foundations of Computational Mathematics, Cucker F, Rojas J M (eds.), 2002, pp.355-404. DOI: 10.1142/9789812778031_0015.
Denner-Broser B. About tracing problems in dynamic geometry. Discrete & Computational Geometry, 2013, 49(2): 221-246. DOI: https://doi.org/10.1007/s00454-012-9473-x.
Lin Q, Ren L, Chen Y et al. The design of intelligent dynamic geometric software based on the enhanced LIMD arithmetic. Chinese Journal of Computers, 2006, 29(12): 2163-2171. (in Chinese)
Hidalgo M R, Joan-Arinyo R. The reachability problem in constructive geometric constraint solving based dynamic geometry. Journal of Automated Reasoning, 2014, 52(1): 99-122. DOI: https://doi.org/10.1007/s10817-013-9280-y.
Kortenkamp U H. Foundations of dynamic geometry [Ph.D. Thesis]. Swiss Federal Institute of Technology, 1999.
Denner-Broser B. An algorithm for the tracing problem using interval analysis. In Proc. the 23rd ACM Symposium on Applied Computing, March 2008, pp.1832-1837. DOI: 10.1145/1363686.1364127.
Kortenkamp U H, Richter-Gebert J. A dynamic setup for elementary geometry. In Multimedia Tools for Communicating Mathematics, Borwein J, Morales M H, Rodrigues J F, Polthier K (eds.), Springer, 2002, pp.203-219. DOI: 10.1007/978-3-642-56240-2_12.
Su W, Wang P S, Cai C et al. A touch-operation-based dynamic geometry system: Design and implementation. In Proc. the 4th International Congress on Mathematical Software, August 2014, pp.235-239. DOI: 10.1007/978-3-662-44199-2_37.
Liu Z. Research of education-oriented key technologies on three-dimensional dynamic geometry [Ph.D. Thesis]. Central China Normal University, 2012. (in Chinese)
Dubrovin B A, Fomenko A T, Novikov S P. Modern Geometry—Methods and Applications: Part II: The Geometry and Topology of Manifolds. Springer Science & Business Media, 2012.
Arango G. A brief introduction to domain analysis. In Proc. the 1994 ACM Symposium on Applied Computing, April 1994, pp.42-46. DOI: 10.1145/326619.326656.
Kang K C, Cohen S G, Hess J A et al. Feature-oriented domain analysis (FODA) feasibility study. Technical Report, Software Engineering Inst., Carnegie-Mellon Univ., PITTSBURGH, PA, 1990. http://www.oppybunny.org/robin/web/virtualclassroom/chap12/s4/articles/foda_1990.pdf, Oct. 2020.
Ajila S A, Tierney P J. The FOOM method—Modeling software product lines in industrial settings. In Proc. the 2002 International Conference on Software Engineering Research and Practice, June 2002.
Chastek G, Donohoe P, Kang K C et al. Product line analysis: A practical introduction. Technical Report, Carnegie-Mellon Univ. Pittsburgh Pa Software Engineering Inst, 2001. https://resources.sei.cmu.edu/asset_files/TechnicalReport/2001_005_001_13853.pdf, Oct. 2020.
Rao Y S, Guan H, Chen R X et al. A novel dynamic mathematics system based on the Internet. In Proc. the 2018 International Congress on Mathematical Software, July 2018, pp.389-396. DOI: 10.1007/978-3-319-96418-8 46.
Pan T. Using the inverse to prove the multi-circle problem. High-School Mathematics, 2008, 7: 6-10. (in Chinese)
Author information
Authors and Affiliations
Corresponding author
Supplementary Information
ESM 1
(PDF 173 kb)
Rights and permissions
About this article
Cite this article
Guan, H., Rao, YS., Zhang, JZ. et al. Method for Processing Graph Degeneracy in Dynamic Geometry Based on Domain Design. J. Comput. Sci. Technol. 36, 910–921 (2021). https://doi.org/10.1007/s11390-021-0095-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11390-021-0095-8