proof


A proof is an argumentMathworldPlanetmath designed to show that a statement (usually a theoremMathworldPlanetmath) is true.

The mathematical concept of proof differs from the scientific concept in that in mathematics, a proof is logically deduced from axioms or from other theorems which have also been logically deduced, whereas for a scientific proof a preponderance of evidence is sufficient. Thus, a valid mathematical proof assures there are no counterexamplesMathworldPlanetmath to the proven statement.

There are several kinds of proofs, one commonly used one being proof by contradictionMathworldPlanetmathPlanetmath. A proof by contradiction starts by assuming that the opposite of the theorem is true, and then proceeds to work out the consequences of that assumptionPlanetmathPlanetmath until encountering a contradictionMathworldPlanetmathPlanetmath, thus proving the theorem.

According to Paul Nahin, the most famous proof by contradiction is Euclid’s proof of the infinitude of primes, which starts by assuming that there is in fact a largest prime number (and thus the primes are finite). Proofs that a given number is irrational (such as π or 5) also tend to prove the irrationality of the number by at first assuming that the number is in fact rational and that there are two integers which form a ratio for the given number.

Another kind of proof is the proof by induction, which starts by showing the statement is true for a small case (such as n=1 when dealing with integers) and that the statement is true for a larger case when it is true for the immediately smaller case (e.g., that if it’s true for n it is also true for n+1). Thus, showing that it is true for the small case proves that it is also true for the next larger case, and the next larger case after that, and therefore all the larger cases.

A proof by construction shows that a specified object actually exists by showing how to construct that object. For example, to prove that it is possible to draw by compass and straightedge an isosceles triangleMathworldPlanetmath with an angle that is half of any of the two other angles, a constructive proofMathworldPlanetmath would give the instructions on how to draw such a triangleMathworldPlanetmath.

References

  • 1 Paul J. Nahin, Dr. Euler’s Fabulous FormulaMathworldPlanetmathPlanetmath: Cures Many Mathematical Ills. Princeton: Princeton University Press (2006): 8
  • 2 Thomas A. Whitelaw, Introduction to Abstract Algebra. New York: CRC Press (1995): 11
Title proof
Canonical name Proof
Date of creation 2013-03-22 18:10:22
Last modified on 2013-03-22 18:10:22
Owner PrimeFan (13766)
Last modified by PrimeFan (13766)
Numerical id 4
Author PrimeFan (13766)
Entry type Definition
Classification msc 00A05