No one would deny that establishing the validity of ideas is critical to mathematics, both for professional mathematicians and for students. But how do people establish "truth"; how can they prove things? According to Martin and Harel (1989), in everyday life, people consider "proof" to be "what convinces me." Most mathematics instruction and textbooks, however, lead us to believe that mathematicians make use only of formal proof -- logical, deductive reasoning based on axioms.
But mathematicians most often "find" truth by methods that are intuitive or empirical in nature (Eves 1972). In fact, the process by which new mathematics is created is belied by the deductive format in which it is recorded (Lakatos 1976). In creating mathematics, problems are posed, examples analyzed, conjectures made, counterexamples offered, and conjectures revised; a theorem results when this refinement and validation of ideas answers a significant question. Hanna (1989) argues that because mathematical results are presented formally by mathematicians in the form of theorems and proofs, this rigorous practice is mistakenly seen by many as the core of mathematical practice. It is then assumed that "learning mathematics must involve training in the ability to create this form" (pp.22-23). The presentation obscures the mental activity that produced the results.
In fact, according to Bell (1976), personal conviction grows out of internal testing and forming a judgment about whether to accept or reject a conjecture. Later, one subjects this judgment to criticism by others, presenting not only the generalization formed but evidence for its validity in the form of a proof. For a mathematician, often this internal testing can take the form of proof as one attempts to perform the socially accepted criticism of one's argument.
In sum, formally presenting the results of mathematical thought in terms of proofs is meaningful to mathematicians as a method for establishing the validity of ideas. However, does proof convince students? Do they see it as a way to establish the validity of their ideas or, as Hanna (1989) suggests, as a set of formal rules unconnected to their personal mathematical activity?
Let me guess.
No?
No, students do not see proof as a way to establish the validity of their ideas?
Is that it?
Conclusion
Ironically, the most effective path to engendering meaningful use of proof in secondary school geometry is to avoid formal proof for much of students' work.
I had a feeling.
By focusing instead on justifying ideas while helping students build the visual and empirical foundations for higher levels of geometric thought, we can lead students to appreciate the need for formal proof. Only then will they be able to use it meaningfully as a mechanism for justifying ideas.
Geometry and Truth
by Michael T. Battista and Douglas Clements
Only then, after sophomore year has come to an end and so has geometry.
Here's a question.
How many sophomores in high school have mathematical ideas?