Original Research

An illustration of the explanatory and discovery functions of proof

Michael de Villiers
Pythagoras | Vol 33, No 3 | a193 | DOI: https://doi.org/10.4102/pythagoras.v33i3.193 | © 2012 Michael de Villiers | This work is licensed under CC Attribution 4.0
Submitted: 02 September 2012 | Published: 30 November 2012

About the author(s)

Michael de Villiers, Mathematics Education, University of KwaZulu-Natal, Edgewood Campus, South Africa

Abstract

This article provides an illustration of the explanatory and discovery functions of proof with an original geometric conjecture made by a Grade 11 student. After logically explaining (proving) the result geometrically and algebraically, the result is generalised to other polygons by further reflection on the proof(s). Different proofs are given, each giving different insights that lead to further generalisations. The underlying heuristic reasoning is carefully described in order to provide an exemplar for designing learning trajectories to engage students with these functions of proof.

Keywords

discovery; explanation; generalisation; proof; Viviani’s theorem

Metrics

Total abstract views: 13109
Total article views: 32458

 

Crossref Citations

1. Impacts of inquiry pedagogy on undergraduate students conceptions of the function of proof
Emily Cilli-Turner
The Journal of Mathematical Behavior  vol: 48  first page: 14  year: 2017  
doi: 10.1016/j.jmathb.2017.07.001

2. The impact of teachers' knowledge on the connection between technology supported exploration and mathematical proof
Helena Rocha
European Journal of Science and Mathematics Education  vol: 11  issue: 4  first page: 635  year: 2023  
doi: 10.30935/scimath/13285

3. Clough’s Theorem
Raymond Viglione
Mathematics Magazine  vol: 96  issue: 3  first page: 354  year: 2023  
doi: 10.1080/0025570X.2023.2206298

4. Computerized Technology as a Tool for Accelerating the Discovery of Geometrical Conservation Properties
Shula Weissman, Moshe Stupel
International Journal for Technology in Mathematics Education  vol: 28  issue: 4  first page: 245  year: 2021  
doi: 10.1564/tme_v28.4.04

5. Mathematical proof: from mathematics to school mathematics
Helena Rocha
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences  vol: 377  issue: 2140  first page: 20180045  year: 2019  
doi: 10.1098/rsta.2018.0045

6. Rethinking the discovery function of proof within the context of proofs and refutations
Kotaro Komatsu, Yosuke Tsujiyama, Aruta Sakamaki
International Journal of Mathematical Education in Science and Technology  vol: 45  issue: 7  first page: 1053  year: 2014  
doi: 10.1080/0020739X.2014.902135

7. Comparison of geometric proof development tasks as set up in the textbook and as implemented by teachers in the classroom
Lisnet Mwadzaangati
Pythagoras  vol: 40  issue: 1  year: 2019  
doi: 10.4102/pythagoras.v40i1.458

8. GeoGebra Discovery in Context
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
Electronic Proceedings in Theoretical Computer Science  vol: 352  first page: 141  year: 2021  
doi: 10.4204/EPTCS.352.16

9. The vertex centroid of a Van Aubel result involving similar quadrilaterals and its further generalisation
Michael de Villiers, Hans Humenberger
International Journal of Mathematical Education in Science and Technology  vol: 56  issue: 10  first page: 2074  year: 2025  
doi: 10.1080/0020739X.2024.2368607

10. Probing interactions in exploratory teaching: a case study
Xiaoheng Yan, John Mason, Gila Hanna
International Journal of Mathematical Education in Science and Technology  vol: 50  issue: 2  first page: 244  year: 2019  
doi: 10.1080/0020739X.2018.1494859

11. Emerging Proof Productions of Freshmen in Euclidean Geometry Proof Tasks between Conjecturing and Proving
Ceylan Şen, Gürsel Güler
Investigations in Mathematics Learning  vol: 14  issue: 4  first page: 320  year: 2022  
doi: 10.1080/19477503.2022.2145100

12. Discovering Geometric Inequalities: The Concourse of GeoGebra Discovery, Dynamic Coloring and Maple Tools
Tomás Recio, Rafael Losada, Zoltán Kovács, Carlos Ueno
Mathematics  vol: 9  issue: 20  first page: 2548  year: 2021  
doi: 10.3390/math9202548

13. Proving the point: Scottish secondary mathematics teachers’ beliefs and aspirations about proof
Paul Argyle McDonald
International Journal of Mathematical Education in Science and Technology  first page: 1  year: 2025  
doi: 10.1080/0020739X.2025.2574941

14. Engaging students in roles of proof
Sarah K. Bleiler-Baxter, Jeffrey D. Pair
The Journal of Mathematical Behavior  vol: 47  first page: 16  year: 2017  
doi: 10.1016/j.jmathb.2017.05.005

15. Students’ reasons for introducing auxiliary lines in proving situations
Alik Palatnik, Tommy Dreyfus
The Journal of Mathematical Behavior  vol: 55  first page: 100679  year: 2019  
doi: 10.1016/j.jmathb.2018.10.004

16. Teaching Thales’s theorem: relations between suitable mathematical working spaces and specialised knowledge
Gonzalo Espinoza-Vásquez, Carolina Henríquez-Rivas, Nuria Climent, Rodrigo Ponce, Paula Verdugo-Hernández
Educational Studies in Mathematics  vol: 118  issue: 2  first page: 271  year: 2025  
doi: 10.1007/s10649-024-10367-9