a b s t r a c tIn this paper we consider proving to be the activity in search for a proof, whereby proof is the final product of this activity that meets certain criteria. Although there has been considerable research attention on the functions of proof (e.g., explanation), there has been less explicit attention in the literature on those same functions arising in the proving process. Our aim is to identify conditions for proving by mathematical induction to be explanatory for the prover. To identify such conditions, we analyze videos of undergraduate mathematics students working on specially designed problems. Specifically, we examine the role played by: the problem formulation, students' experience with the utility of examples in proving, and students' ability to recognize and apply mathematical induction as an appropriate method in their explorations. We conclude that particular combinations of these aspects make it more likely that proving by induction will be explanatory for the prover.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.