Difference between revisions of "Proof writing"

m (Added page to Mathematics category)
m (Added an intrawiki links)
Line 7: Line 7:
 
There are two different types of proofs: informal and formal.
 
There are two different types of proofs: informal and formal.
  
[[Formal proof]] is often introduced using a two-column format, as favored by many geometry teachers. In higher-level mathematics (taken as meaning an advanced undergraduate level of mathematical maturity or above), two methods of formal proof predominate. These are [[proof by construction]] (a common example of which is [[proof by induction]]), and [[proof by contradiction]] (which in its simplest form requires only the demonstration of a [[counterexample]]).
+
[[Formal proof]] is often introduced using a two-column format, as favored by many geometry teachers. In higher-level mathematics (taken as meaning an advanced undergraduate level of mathematical maturity or above), two methods of formal proof predominate. These are [[proof by construction]] (a common example of which is [[induction|proof by induction]]), and [[proof by contradiction]] (which in its simplest form requires only the demonstration of a [[counterexample]]).
  
 
An [[informal proof]] can be in a wide variety of styles. It is usually not as neat as a two-column proof but is far easier to organize. It is important to note that people trained to a university-level of mathematics do not consider so-called "informal proofs" to be proof of anything at all. Instead, they may be regarded as "heuristics", or teaching tools, at best.
 
An [[informal proof]] can be in a wide variety of styles. It is usually not as neat as a two-column proof but is far easier to organize. It is important to note that people trained to a university-level of mathematics do not consider so-called "informal proofs" to be proof of anything at all. Instead, they may be regarded as "heuristics", or teaching tools, at best.

Revision as of 01:09, 14 June 2008

Proof writing is often thought of as one of the most difficult aspects of math education to conquer. Proofs require the ability to think abstractly, that is, universally. They also require a little appreciation for mathematical culture; for instance, when a mathematician uses the word "trivial" in a proof, they intend a different meaning to how the word is understood by the wider population. Students who spend time studying maths can develop proof-writing skills over time.


Getting Started

The fundamental aspects of a good proof are precision, accuracy, and clarity. A single word can change the intended meaning of a proof, so it is best to be as precise as possible.

There are two different types of proofs: informal and formal.

Formal proof is often introduced using a two-column format, as favored by many geometry teachers. In higher-level mathematics (taken as meaning an advanced undergraduate level of mathematical maturity or above), two methods of formal proof predominate. These are proof by construction (a common example of which is proof by induction), and proof by contradiction (which in its simplest form requires only the demonstration of a counterexample).

An informal proof can be in a wide variety of styles. It is usually not as neat as a two-column proof but is far easier to organize. It is important to note that people trained to a university-level of mathematics do not consider so-called "informal proofs" to be proof of anything at all. Instead, they may be regarded as "heuristics", or teaching tools, at best.


Practice

Art of Problem Solving (AoPS) has many resources to help students begin writing proofs.

  • The AoPS forums (which you can get to through the Community tab on the left sidebar) are a great place to practice writing solutions to problems. Do your best to make your explanations both clear and complete. Read solutions by other students to see what you might do better. Listen to the constructive criticisms of others.
  • AoPS Blogs (also in the Community area) are a great place to showcase your best solutions.
  • The AoPSWiki you are in now is written by members of the AoPS community. Contributing to the AoPSWiki means writing mathematics as clearly as you can.

Proof Writing Guides

"How To Prove It: A Structured Approach" by Daniel J. Velleman -- an excellent primer on methods of proof; train your ability to do proofs by induction, contradiction and more.

See Also

This article is a stub. Help us out by expanding it.