Difference between revisions of "Proof writing"

(Getting Started)
(Proof Writing Guides)
 
(15 intermediate revisions by 8 users not shown)
Line 1: Line 1:
{{WotWAnnounce|week=Oct 11-17}}
+
'''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.
 
 
'''Proof writing''' is often thought of as one of the most difficult aspects of math education to conquer. However, students who spend time writing about increasingly difficult math topics can develop this skill over time.
 
  
  
Line 9: Line 7:
 
There are two different types of proofs: informal and formal.
 
There are two different types of proofs: informal and formal.
  
A formal proof is usally in a two-column format. This is favored by many geometry teachers nationwide because of its neatness and clarity.
+
Formal proof is often introduced using a [[two-column proof|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. Except in geometry class, the vast majority of proofs worldwide are informal.
 
  
 
=== Practice ===
 
=== Practice ===
Line 18: Line 17:
 
* AoPS Blogs (also in the Community area) are a great place to showcase your best solutions.
 
* 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.
 
* 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.
 +
* The Contests button on the top of the page has many Olympiad-level problems from contests such as IMO, USAMO, and many international mathematics competitions.
  
== Proof writing guides ==
+
== Proof Writing Guides ==
* [http://www.artofproblemsolving.com/Resources/AoPS_R_A_HowWrite.php How to Write a Solution] by [[Richard Rusczyk]] and [[Mathew Crawford]]
+
* [http://www.artofproblemsolving.com/articles/how-to-write-solution How to Write a Solution] by [[Richard Rusczyk]] and [[Mathew Crawford]]
* [http://www.stonehill.edu/compsci/History_Math/math-read.htm How to Read Mathematics] -- Not really proof writing, but a helpful read for those learning to write basic proofs.
+
* [http://www.stonehill.edu/compsci/History_Math/math-read.htm How to Read Mathematics] -- Not exactly proof writing, but a helpful read for those learning to write basic proofs.
 
+
* [http://www.amazon.com/How-Prove-Structured-Daniel-Velleman/dp/0521675995/ref=pd_bbs_sr_1?ie=UTF8&s=books&qid=1218677186&sr=8-1 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 ==
+
== See Also ==
 
* [[Math books]]
 
* [[Math books]]
 
* [[Mathematics competitions]]
 
* [[Mathematics competitions]]
Line 30: Line 30:
  
 
{{stub}}
 
{{stub}}
 +
 +
[[Category:Proofs]] [[Category:Mathematics]]

Latest revision as of 18:16, 18 January 2016

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.
  • The Contests button on the top of the page has many Olympiad-level problems from contests such as IMO, USAMO, and many international mathematics competitions.

Proof Writing Guides

See Also

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

Invalid username
Login to AoPS