Bridging Verbal Geometry Problems and Formal Proofs: A GeoGebra-Supported Element–Relation Detection Framework

Authors

DOI:

https://doi.org/10.58524/oler.v6i1.1225

Keywords:

dynamic geometry software, Element detection, GeoGebra, Image visualization, Relation detection

Abstract

Geometry proof problems presented without diagrams require students to transform verbal information into accurate visual representations before constructing formal deductive arguments. However, instructional approaches that explicitly support this transition remain limited. This study investigated the effectiveness of a GeoGebra-supported Element–Relation Detection (ERD) framework in strengthening undergraduate students’ plane geometry proof performance. A quasi-experimental design was conducted with first-year mathematics education students assigned to four instructional conditions combining the ERD framework, conventional Polya-based instruction, and the presence or absence of GeoGebra support. Students’ proof performance was evaluated through validated tasks measuring diagram construction, conjecture generation, proof organization, and argument validity. The findings indicate that learning environments supported by GeoGebra consistently produced stronger proof performance than conventional instruction without dynamic visualization. The ERD framework further assisted students in identifying essential geometric elements and relationships before constructing formal proofs, resulting in more coherent reasoning and fewer errors during the proof process. These findings suggest that the primary contribution of GeoGebra lies in facilitating accurate mathematical representations, while the ERD framework provides a structured pedagogical approach for bridging verbal geometric information and formal deductive reasoning. This study offers a practical instructional framework for improving geometry proof learning in technology-enhanced mathematics education.

Author Biographies

  • I Made Ardana, Universitas Pendidikan Ganesha, Indonesia

    Department of Mathematics Education

  • I Made Sugiarta, Universitas Pendidikan Ganesha, Indonesia

    Department of Mathematics Education

  • Sariyasa, Universitas Pendidikan Ganesha, Indonesia

    Department of Mathematics Education

  • Raphita Yanisari Silalahi, Universitas Pendidikan Ganesha, Indonesia

    Department of Mathematics Education

  • Agus Adiarta, Universitas Pendidikan Ganesha, Indonesia

    Department of Electrical Education

  • Dewa Gede Hendra Divayana, Universitas Pendidikan Ganesha, Indonesia

    Department of Informatics Education

References

Agusfianuddin, Herman, T., & Turmudi. (2024). Difficulties in mathematical language and representation among elementary school students when solving word problems. Jurnal Elemen, 10(3), 567–581. https://doi.org/10.29408/jel.v10i3.25814

Alfianti, A., & Kuswanto, H. (2024). Learning analytics approach to improve multiple representation skills in direct-current circuits. Jurnal Ilmiah Pendidikan Fisika Al-Biruni, 13(1), 1–14. https://doi.org/10.24042/jipfalbiruni.v13i1.14514

Anwar, L., Goedhart, M. J., & Mali, A. (2023). Learning trajectory of geometry proof construction: Studying the emerging understanding of the structure of Euclidean proof. Eurasia Journal of Mathematics, Science and Technology Education, 19(5), 1–24. https://doi.org/10.29333/ejmste/13160

Anwar, L., Mali, A., & Goedhart, M. J. (2021). The effect of proof format on reading comprehension of geometry proof: The case of Indonesian prospective mathematics teachers. Eurasia Journal of Mathematics, Science and Technology Education, 17(4), 1–15. https://doi.org/10.29333/ejmste/10782

Ariawan, I. P. W. (2022). The influence of formative assessment methods on learning outcomes of plane geometry by controlling critical thinking skills. Al-Ishlah: Jurnal Pendidikan, 14(3), 4125–4132. https://doi.org/10.35445/alishlah.v14i3.1266

Ariawan, I. P. W., Ardana, I. M., Divayana, D. G. H., & Sugiarta, I. M. (2024). Scoring rubric design to measure the ability to prove plane geometry problems not accompanied by image visualization. Jurnal Elemen, 10(1), 70–88. https://doi.org/10.29408/jel.v10i1.22550

Ariawan, I. P. W., Suyasa, P. W. A., Adiarta, A., Sukawijana, I. K. G., Santiyadnya, N., & Divayana, D. G. H. (2025). User interface design of digital test based on backward chaining as a measuring tool for students’ critical thinking. International Journal of Advanced Computer Science and Applications, 16(1), 584–590. https://doi.org/10.14569/IJACSA.2025.0160156

Awi, A., Sutamrin, S., Ihsan, H., Nasir, N., Naufal, M. A., & Ikram, M. (2025). Spatial geometry learning in higher education through flipped classroom with metacognitive scaffolding: A mixed-methods study. Online Learning in Educational Research (OLER), 5(2), 583–600. https://doi.org/10.58524/oler.v5i2.817

Belay, A. M., Machaba, F., & Makgakga, T. P. (2024). Introducing a supportive framework to address students’ misconceptions and difficulties in learning mathematical proof techniques: A case of Debark University in Ethiopia. Research in Social Sciences and Technology, 9(1), 63–84. https://doi.org/10.46303/ressat.2024.4

Ben-Motreb, K. S., & Al-Makhalid, K. A. M. (2026). The effectiveness of visualization on cognitive load and problem-solving in gifted and non-gifted students. Anales de Psicología, 42(2), 1–12. https://doi.org/10.6018/analesps.654851

Darmanova, Z., Abylkassymova, A., & Nurmukhamedova, Z. (2025). A systematic review of technology use in middle and high school mathematics education: Insights from contextual, methodological, and evaluation characteristics. Frontiers in Education, 10, Article 1644284. https://doi.org/10.3389/feduc.2025.1644284

Dasari, D., Hendriyanto, A., Ariawan, I. P. W., Muhaimin, L. H., & Pahmi, S. (2025). Crafting epistemic knowledge in statistics education via didactical engineering integrating the theory of didactical situations and the SECI model. Discover Sustainability, 6, Article 928. https://doi.org/10.1007/s43621-025-01838-x

Davor, I., Dawmah, P., & Larbi, E. (2026). An investigation into senior high school students’ performance and difficulties in proving Euclidean geometry in mathematics curriculum: Evidence from Ghana. Contemporary Mathematics and Science Education, 7(1), 1–13. https://doi.org/10.30935/conmaths/17990

Edelsbrunner, P. A., & Thurn, C. M. (2024). Improving the utility of non-significant results for educational research: A review and recommendations. Educational Research Review, 42, Article 100590. https://doi.org/10.1016/j.edurev.2023.100590

Foster, C. (2023). Problem solving in the mathematics curriculum: From domain-general strategies to domain-specific tactics. The Curriculum Journal, 34(4), 594–612. https://doi.org/10.1002/curj.213

Gurmu, F., Tuge, C., & Hunde, A. B. (2024). Effects of GeoGebra-assisted instructional methods on students’ conceptual understanding of geometry. Cogent Education, 11(1), Article 2379745. https://doi.org/10.1080/2331186X.2024.2379745

Hamidah, Kusuma, J. W., Chotimah, S., & Senjayawati, E. (2025). Evaluation of geometry skills: Integrating logic and drawing indicators through GeoGebra-based learning. Journal of Research and Advances in Mathematics Education, 10(3), 182–199. https://doi.org/10.23917/jramathedu.v10i3.8802

Hartono, S., Siswono, T. Y. E., & Ekawati, R. (2024). From informal to formal proof in geometry: A preliminary study of scaffolding-based interventions for improving preservice teachers’ level of proof. Mathematics Teaching Research Journal, 16(2), 48–62.

Hartono, S., Siswono, T. Y. E., Ekawati, R., & Bonyah, E. (2025). Using Moore’s theory to explain preservice teachers’ difficulties in proving the triangle sum theorem. Jurnal Ilmiah Ilmu Terapan Universitas Jambi, 9(1), 104–118. https://doi.org/10.22437/jiituj.v9i1.36349

Hein, K., & Prediger, S. (2024). Scaffolds for seeing, using, and articulating logical structures in proofs: Design research study with high school students. Journal of Mathematical Behavior, 74, Article 101123. https://doi.org/10.1016/j.jmathb.2023.101123

Hlongwana, P., Mudaly, V., & Zulu, M. W. (2025). Enhancing geometry problem-solving through visualization for multilingual learners. Eurasia Journal of Mathematics, Science and Technology Education, 21(7), 1–18. https://doi.org/10.29333/ejmste/16564

Hoerudin, C. W. (2022). Indonesian language learning using the discovery learning model based on higher order thinking skills (HOTS) on students’ analytical thinking ability. Munaddhomah: Jurnal Manajemen Pendidikan Islam, 4(1), 108–118. https://doi.org/10.31538/munaddhomah.v4i1.370

Hovik, E. K., & Nolan, K. (2024). Pre-service teachers’ understandings of exploratory task design in mathematics: From GeoGebra task design to the 8th grade student. Cogent Education, 11(1), 1–20. https://doi.org/10.1080/2331186X.2024.2421088

Ikhsan, M., Rochaminah, S., & Mastura, A. (2024). The development of Geo-Math application by integrating GeoGebra applets to improve students’ spatial ability. Jurnal Ilmiah Peuradeun, 12(3), 1129–1154. https://doi.org/10.26811/peuradeun.v12i3.1492

Iwani Muslim, N. E., Zakaria, M. I., & Yin Fang, C. (2023). A systematic review of GeoGebra in mathematics education. International Journal of Academic Research in Progressive Education and Development, 12(3), 1192–1203. https://doi.org/10.6007/IJARPED/v12-i3/19133

Jablonski, S., & Ludwig, M. (2023). Teaching and learning of geometry: A literature review on current developments in theory and practice. Education Sciences, 13(7), Article 682. https://doi.org/10.3390/educsci13070682

Juman, Z. A. M., Mathavan, M., Ambegedara, A. S., & Udagedara, I. G. K. (2022). Difficulties in learning geometry component in mathematics and active-based learning methods to overcome the difficulties. Shanlax International Journal of Education, 10(2), 41–58. https://doi.org/10.34293/education.v10i2.4299

Kovács, Z., Recio, T., & Vélez, M. P. (2024). Showing proofs, assessing difficulty with GeoGebra discovery. In Proceedings of the 14th International Conference on Automated Deduction in Geometry (ADG 2023) (Vol. 398, pp. 43–52). https://doi.org/10.4204/EPTCS.398.8

Laugwitz, R., Brereton, N., & Cheng, M. (2025). Undergraduate students’ perception of mathematical proof. Teaching Mathematics and Its Applications: An International Journal of the IMA, 1–25. https://doi.org/10.1093/teamat/hraf017

Lessing, M., & Ogbonnaya, U. I. (2026). Reasoning and proof in mathematics education: A systematic literature review. Discover Education, 5, Article 31. https://doi.org/10.1007/s44217-025-01016-1

Lestyanto, L. M., Rahmadani, D., Asmianto, D. E. T., & Cahyowati. (2022). The factors influencing students’ proof comprehension on mathematical induction. In Proceedings of the 2nd National Conference on Mathematics Education 2021 (NaCoME 2021) (Vol. 656, pp. 135–139). https://doi.org/10.2991/assehr.k.220403.018

Liburd, K. K. D., & Jen, H. (2021). Investigating the effectiveness of using a technological approach on students’ achievement in mathematics: Case study of a high school in a Caribbean country. Sustainability, 13(10), Article 5586. https://doi.org/10.3390/su13105586

Malik, M., & Mursalin. (2018). Role of self-efficacy toward students’ achievement in mathematical multiple representation ability (MMRA). Jurnal Ilmiah Peuradeun, 6(1), 31–40. https://doi.org/10.26811/peuradeun.v6i1.174

Martínez-Zarzuelo, A., Nolla, Á., Recio, T., Tolmos, P., & Ariño-Morera, B. (2025). An experience with pre-service teachers using GeoGebra discovery automated reasoning tools for outdoor mathematics. Education Sciences, 15(6), Article 782. https://doi.org/10.3390/educsci15060782

Menouer, B., Faouzi, L., Rachid, A., Benslimane, Y., & Nachit, B. (2025). Exploring the challenges of geometric reasoning in middle school: An analysis of teachers’ perceptions and pedagogical perspectives. Educational Process: International Journal, 17, Article e2025387. https://doi.org/10.22521/edupij.2025.17.387

Mishra, P., Pandey, C. M., Singh, U., Gupta, A., Sahu, C., & Keshri, A. (2019). Descriptive statistics and normality tests for statistical data. Annals of Cardiac Anaesthesia, 22(1), 67–72. https://doi.org/10.4103/aca.ACA_157_18

Mone, F., Simarmata, J. E., & Nahak, S. (2025). Ability to construct GeoGebra-assisted proofs in view of gender differences. Jurnal Riset Pendidikan Matematika, 12(1), 67–73. https://doi.org/10.21831/jrpm.v12i1.83952

Moralı, H. S., & Filiz, A. (2023). Incorrect theorems and proofs: An analysis of pre-service mathematics teachers’ proof evaluation skills. Journal of Pedagogical Research, 7(3), 248–262. https://doi.org/10.33902/JPR.202318840

Muzaini, M., Arriah, F., Sulong, A., Kaharuddin, A., & Jumiarti. (2026). Mapping students’ cognitive load profiles in solving geometric integral problems. European Journal of STEM Education, 11(1), Article 18288. https://doi.org/10.20897/ejsteme/18288

Öztürk, T., & Güven, B. (2025). Enhancing pre-service mathematics teachers’ proofwriting skills: The effect of a social learning environment enriched with dynamic geometry software. Journal on Efficiency and Responsibility in Education and Science, 18(3), 197–218. https://doi.org/10.7160/eriesj.2025.180305

Pradana, K. C., Noer, S. H., & Sutiarso, S. (2025). Enhancing critical thinking in mathematics through Android-based multimedia and PjBL-STEM. Online Learning in Educational Research (OLER), 5(1), 81–93. https://doi.org/10.58524/oler.v5i1.534

Pratiwi, N. P. D. A., Ariawan, I. P. W., & Sariyasa. (2025). Pengaruh ilustrasi gambar pada soal geometri bidang terhadap kemampuan pemecahan masalah matematis siswa SMP. Circle: Jurnal Pendidikan Matematika, 5(2), 126–142. https://doi.org/10.28918/circle.v5i2.10008

Putra, Z. H., Afrillia, Y. M., Dahnilsyah, & Tjoe, H. (2023). Prospective elementary teachers’ informal mathematical proof using GeoGebra: The case of 3D shapes. Journal on Mathematics Education, 14(3), 449–468. https://doi.org/10.22342/jme.v14i3.pp449-468

Rahmawati, D. U., Wilujeng, I., Jumadi, J., Kuswanto, H., Sulaeman, N. F., & Astuti, D. P. (2020). Problem based learning e-handout: Improving students’ mathematical representation and self efficacy. Jurnal Ilmiah Pendidikan Fisika Al-Biruni, 9(1), 41–50. https://doi.org/10.24042/jipfalbiruni.v9i1.4607

Ramírez-Uclés, R., & Ruiz-Hidalgo, J. F. (2022). Reasoning, representing, and generalizing in geometric proof problems among 8th-grade talented students. Mathematics, 10(5), Article 789. https://doi.org/10.3390/math10050789

Razali, N. M., & Wah, Y. B. (2011). Power comparisons of Shapiro-Wilk, Kolmogorov-Smirnov, Lilliefors and Anderson-Darling tests. Journal of Statistical Modeling and Analytics, 2(1), 21–33.

Ridwan, & Haeruddin. (2025). Analyzing students’ errors and misconceptions in proof construction in abstract algebra course. Primatika: Jurnal Pendidikan Matematika, 14(2), 383–398. https://doi.org/10.30872/primatika.v14i2.6217

Rizal, S., Nahar, S., & Al Farabi, M. (2023). Islamic values: Integration in learning mathematics and science at MAN 2 level 2022/2023 academic year. Munaddhomah: Jurnal Manajemen Pendidikan Islam, 4(3), 732–745. https://doi.org/10.31538/munaddhomah.v4i3.653

Rizos, I., & Gkrekas, N. (2023). Is there room for conjectures in mathematics? The role of dynamic geometry environments. European Journal of Science and Mathematics Education, 11(4), 589–598. https://doi.org/10.30935/scimath/13204

Rohmah, L. A., Anggoro, B. S., & Gunawan, W. (2023). PDEODE strategy assisted by GeoGebra: Improving students’ critical thinking and mathematical analysis. Online Learning in Educational Research (OLER), 3(1), 15–22. https://doi.org/10.58524/oler.v3i1.203

Rosyidi, A. H., & Rahmadhani, Y. N. (2024). Students’ construction of conjectures assisted by GeoGebra for graphing linear equations: Cases of female students. JMPM: Jurnal Matematika dan Pendidikan Matematika, 9(2), 88–104. https://doi.org/10.26594/jmpm.v9i2.4858

Sari, P. M., Herlina, K., & Abdurrahman. (2022). Online learning with multi-representation worksheets for oral and written communication skills on light reflecting material. Online Learning in Educational Research, 2(1), 49–56. https://doi.org/10.58524/oler.v2i1.122

Schoenherr, J., & Schukajlow, S. (2024). Characterizing external visualization in mathematics education research: A scoping review. ZDM–Mathematics Education, 56(1), 73–85. https://doi.org/10.1007/s11858-023-01494-3

Segal, R., Oxman, V., & Stupel, M. (2021). Using dynamic geometry software to enhance specialized content knowledge: Pre-service mathematics teachers’ perceptions. International Electronic Journal of Mathematics Education, 16(3), Article em065. https://doi.org/10.29333/iejme/11065

Shimizu, Y. (2022). Relation between mathematical proof problem solving, math anxiety, self-efficacy, learning engagement, and backward reasoning. Journal of Education and Learning, 11(6), 62–75. https://doi.org/10.5539/jel.v11n6p62

Suparman, Marasabessy, R., & Helsa, Y. (2024). Fostering spatial visualization in GeoGebra-assisted geometry lessons: A systematic review and meta-analysis. Eurasia Journal of Mathematics, Science and Technology Education, 20(9), 1–18. https://doi.org/10.29333/ejmste/15170

Tapo, M. M., & Rudhito, M. A. (2025). Mathematical proof difficulties among mathematics education students: A cognitive perspective. International Journal of Advanced Education and Research, 10(3), 12–20.

van Nooijen, C. C. A., de Koning, B. B., Bramer, W. M., Isahakyan, A., Asoodar, M., Kok, E., van Merriënboer, J. J. G., & Paas, F. (2024). A cognitive load theory approach to understanding expert scaffolding of visual problem-solving tasks. Educational Psychology Review, 36, Article 12. https://doi.org/10.1007/s10648-024-09848-3

Winer, M. L., & Battista, M. T. (2022). Investigating students’ proof reasoning: Analyzing students’ oral proof explanations and their written proofs in high school geometry. International Electronic Journal of Mathematics Education, 17(2), Article em067. https://doi.org/10.29333/iejme/11713

Yoon, H., Hwang, J., Lee, K., Roh, K. H., & Kwon, O. N. (2024). Students’ use of generative artificial intelligence for proving mathematical statements. ZDM–Mathematics Education, 56(7), 1531–1551. https://doi.org/10.1007/s11858-024-01629-0

Zengin, D., & Broutin, M. S. T. (2025). An analysis of gifted students’ proof and reasoning process based on the Toulmin model. International Electronic Journal of Mathematics Education, 20(4), Article em081. https://doi.org/10.29333/iejme/17050

Downloads

Published

2026-03-30

How to Cite

Bridging Verbal Geometry Problems and Formal Proofs: A GeoGebra-Supported Element–Relation Detection Framework. (2026). Online Learning In Educational Research (OLER), 6(1), 227-243. https://doi.org/10.58524/oler.v6i1.1225