, Volume 40, Issue 3, pp 401–412

Indirect proof: what is specific to this way of proving?


    • Dipartimento di MatematicaUniversità di Pavia
  • Maria Alessandra Mariotti
    • Dipartimento di Scienze Matematiche e InformaticheUniversità di Siena
Original article

DOI: 10.1007/s11858-008-0091-2

Cite this article as:
Antonini, S. & Mariotti, M.A. ZDM Mathematics Education (2008) 40: 401. doi:10.1007/s11858-008-0091-2


The study presented in this paper is part of a wide research project concerning indirect proofs. Starting from the notion of mathematical theorem as the unity of a statement, a proof and a theory, a structural analysis of indirect proofs has been carried out. Such analysis leads to the production of a model to be used in the observation, analysis and interpretation of cognitive and didactical issues related to indirect proofs and indirect argumentations. Through the analysis of exemplar protocols, the paper discusses cognitive processes, outlining cognitive and didactical aspects of students’ difficulties with this way of proving.


ProofArgumentationIndirect proofProof by contradictionProof by contraposition

Copyright information

© FIZ Karlsruhe 2008