Proof without words

Last updated July 06, 2023

In mathematics, a proof without words (or visual proof) is an illustration of an identity or mathematical statement which can be demonstrated as self-evident by a diagram without any accompanying explanatory text. Such proofs can be considered more elegant than formal or mathematically rigorous proofs due to their self-evident nature.^[1] When the diagram demonstrates a particular case of a general statement, to be a proof, it must be generalisable.^[2]

Examples

Sum of odd numbers

The statement that the sum of all positive odd numbers up to 2n − 1 is a perfect square —more specifically, the perfect square n²—can be demonstrated by a proof without words.^[3]

In one corner of a grid, a single block represents 1, the first square. That can be wrapped on two sides by a strip of three blocks (the next odd number) to make a 2 × 2 block: 4, the second square. Adding a further five blocks makes a 3 × 3 block: 9, the third square. This process can be continued indefinitely.

Pythagorean theorem

The Pythagorean theorem that $a^{2}+b^{2}=c^{2}$ can be proven without words.^[4]

One method of doing so is to visualise a larger square of sides $a+b$ , with four right-angled triangles of sides $a$ , $b$ and $c$ in its corners, such that the space in the middle is a diagonal square with an area of $c^{2}$ . The four triangles can be rearranged within the larger square to split its unused space into two squares of $a^{2}$ and $b^{2}$ .^[5]

Jensen's inequality

Jensen's inequality can also be proven graphically. A dashed curve along the X axis is the hypothetical distribution of X, while a dashed curve along the Y axis is the corresponding distribution of Y values. The convex mapping Y(X) increasingly "stretches" the distribution for increasing values of X.^[6]

Usage

Mathematics Magazine and the College Mathematics Journal run a regular feature titled "Proof without words" containing, as the title suggests, proofs without words.^[3] The Art of Problem Solving and USAMTS websites run Java applets illustrating proofs without words.^[7]^[8]

Compared to formal proofs

For a proof to be accepted by the mathematical community, it must logically show how the statement it aims to prove follows totally and inevitably from a set of assumptions.^[9] A proof without words might imply such an argument, but it does not make one directly, so it cannot take the place of a formal proof where one is required.^[10]^[11] Rather, mathematicians use proofs without words as illustrations and teaching aids for ideas that have already been proven formally.^[12]^[13]

Notes

↑ Dunham 1994 , p. 120
↑ Weisstein, Eric W. "Proof without Words". MathWorld . Retrieved on 2008-6-20
1 2 Dunham 1994 , p. 121
↑ Nelsen 1997 , p. 3
↑ Benson, Donald. The Moment of Proof : Mathematical Epiphanies , pp. 172–173 (Oxford University Press, 1999).
↑ McShane, E. J. (1937), "Jensen's Inequality", Bulletin of the American Mathematical Society, American Mathematical Society, vol. 43, no. 8, p. 527, doi: 10.1090/S0002-9904-1937-06588-8
↑ Gallery of Proofs, Art of Problem Solving, retrieved 2015-05-28
↑ Gallery of Proofs, USA Mathematical Talent Search, retrieved 2015-05-28
↑ Lang, Serge (1971). Basic Mathematics. Reading, Massachusetts: Addison-Wesley Publishing Company. p. 94. We always try to keep clearly in mind what we assume and what we prove. By a 'proof' we mean a sequence of statements each of which is either assumed, or follows from the preceding statements by a rule of deduction, which is itself assumed.
↑ Benson, Steve; Addington, Susan; Arshavsky, Nina; Cuoco; Al; Goldenberg, E. Paul; Karnowski, Eric (October 6, 2004). Facilitator's Guide to Ways to Think About Mathematics (Illustrated ed.). Corwin Press. p. 78. ISBN 9781412905206. Proofs without words are not really proofs, strictly speaking, since details are typically lacking.
↑ Spivak, Michael (2008). Calculus (4th ed.). Houston, Texas: Publish or Perish, Inc. p. 138. ISBN 978-0-914098-91-1. Basing the argument on a geometric picture is not a proof, however...
↑ Benson, Steve; Addington, Susan; Arshavsky, Nina; Cuoco; Al; Goldenberg, E. Paul; Karnowski, Eric (October 6, 2004). Facilitator's Guide to Ways to Think About Mathematics (Illustrated ed.). Corwin Press. p. 78. ISBN 9781412905206. However, since most proofs without words are visual in nature, they often provide a reminder or hint of what's missing.
↑ Schulte, Tom (January 12, 2011). "Proofs without Words: Exercises in Visual Thinking (review)". MAA Reviews. The Mathematical Association of America. Retrieved October 26, 2022. This slim collection of varied visual 'proofs' (a term, it can be argued, loosely applied here) is entertaining and enlightening. I personally find such representations engaging and stimulating aids to that 'aha!' moment when symbolic argument seems not to clarify.

Related Research Articles

In mathematics, a theorem is a statement that has been proved, or can be proved. The proof of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of the axioms and previously proved theorems.

<span class="mw-page-title-main">Minkowski's theorem</span> Every symmetric convex set in R^n with volume > 2^n contains a non-zero integer point

In mathematics, Minkowski's theorem is the statement that every convex set in $which is symmetric with respect to the origin and which has volume greater than contains a non-zero integer point. The theorem was proved by Hermann Minkowski in 1889 and became the foundation of the branch of number theory called the geometry of numbers. It can be extended from the integers to any lattice and to any symmetric convex set with volume greater than, where denotes the covolume of the lattice.$

A mathematical proof is a deductive argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion. The argument may use other previously established statements, such as theorems; but every proof can, in principle, be constructed using only certain basic or original assumptions known as axioms, along with the accepted rules of inference. Proofs are examples of exhaustive deductive reasoning which establish logical certainty, to be distinguished from empirical arguments or non-exhaustive inductive reasoning which establish "reasonable expectation". Presenting many cases in which the statement holds is not enough for a proof, which must demonstrate that the statement is true in all possible cases. A proposition that has not been proved but is believed to be true is known as a conjecture, or a hypothesis if frequently used as an assumption for further mathematical work.

In mathematics and logic, a direct proof is a way of showing the truth or falsehood of a given statement by a straightforward combination of established facts, usually axioms, existing lemmas and theorems, without making any further assumptions. In order to directly prove a conditional statement of the form "If p, then q", it suffices to consider the situations in which the statement p is true. Logical deduction is employed to reason from assumptions to conclusion. The type of logic employed is almost invariably first-order logic, employing the quantifiers for all and there exists. Common proof rules used are modus ponens and universal instantiation.

In mathematics, certain kinds of mistaken proof are often exhibited, and sometimes collected, as illustrations of a concept called mathematical fallacy. There is a distinction between a simple mistake and a mathematical fallacy in a proof, in that a mistake in a proof leads to an invalid proof while in the best-known examples of mathematical fallacies there is some element of concealment or deception in the presentation of the proof.

In mathematical analysis, a space-filling curve is a curve whose range reaches every point in a higher dimensional region, typically the unit square. Because Giuseppe Peano (1858–1932) was the first to discover one, space-filling curves in the 2-dimensional plane are sometimes called Peano curves, but that phrase also refers to the Peano curve, the specific example of a space-filling curve found by Peano.

In mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object by creating or providing a method for creating the object. This is in contrast to a non-constructive proof, which proves the existence of a particular kind of object without providing an example. For avoiding confusion with the stronger concept that follows, such a constructive proof is sometimes called an effective proof.

In classical logic, intuitionistic logic and similar logical systems, the principle of explosion, or the principle of Pseudo-Scotus, is the law according to which any statement can be proven from a contradiction. That is, once a contradiction has been asserted, any proposition can be inferred from it; this is known as deductive explosion.

In mathematics, the Gelfond–Schneider theorem establishes the transcendence of a large class of numbers.

In geometry, the statement that the angles opposite the equal sides of an isosceles triangle are themselves equal is known as the pons asinorum, typically translated as "bridge of asses". This statement is Proposition 5 of Book 1 in Euclid's Elements, and is also known as the isosceles triangle theorem. Its converse is also true: if two angles of a triangle are equal, then the sides opposite them are also equal. The term is also applied to the Pythagorean theorem.

In mathematical logic, the theory of infinite sets was first developed by Georg Cantor. Although this work has become a thoroughly standard fixture of classical set theory, it has been criticized in several areas by mathematicians and philosophers.

In number theory, the sum of the first $n$ cubes is the square of the $n$ th triangular number. That is,

In mathematics, the infinite series 1/4 + 1/16 + 1/64 + 1/256 + ⋯ is an example of one of the first infinite series to be summed in the history of mathematics; it was used by Archimedes circa 250–200 BC. As it is a geometric series with first term 1/4 and common ratio 1/4, its sum is

Visual calculus, invented by Mamikon Mnatsakanian, is an approach to solving a variety of integral calculus problems. Many problems that would otherwise seem quite difficult yield to the method with hardly a line of calculation, often reminiscent of what Martin Gardner called "aha! solutions" or Roger Nelsen a proof without words.

Quadrature of the Parabola is a treatise on geometry, written by Archimedes in the 3rd century BC and addressed to his Alexandrian acquaintance Dositheus. It contains 24 propositions regarding parabolas, culminating in two proofs showing that the area of a parabolic segment is $that of a certain inscribed triangle.$

<span class="mw-page-title-main">Fermat's Last Theorem</span> 17th-century conjecture proved by Andrew Wiles in 1994

In number theory, Fermat's Last Theorem states that no three positive integers $a$ , $b$ , and $c$ satisfy the equation $a n + b n = c n$ for any integer value of $n$ greater than 2. The cases $n = 1$ and $n = 2$ have been known since antiquity to have infinitely many solutions.

<span class="mw-page-title-main">Pythagorean theorem</span> Relation between sides of a right triangle

In mathematics, the Pythagorean theorem or Pythagoras' theorem is a fundamental relation in Euclidean geometry between the three sides of a right triangle. It states that the area of the square whose side is the hypotenuse is equal to the sum of the areas of the squares on the other two sides.

The constant chord theorem is a statement in elementary geometry about a property of certain chords in two intersecting circles.

The eyeball theorem is a statement in elementary geometry about a property of a pair of disjoined circles.

References

Dunham, William (1994), The Mathematical Universe , John Wiley and Sons, ISBN 0-471-53656-3
Nelsen, Roger B. (1997), Proofs without Words: Exercises in Visual Thinking, Mathematical Association of America, p. 160, ISBN 978-0-88385-700-7
Nelsen, Roger B. (2000), Proofs without Words II: More Exercises in Visual Thinking, Mathematical Association of America, pp. 142, ISBN 0-88385-721-9
Gulley, Ned (March 4, 2010), Shure, Loren (ed.), Nicomachus's Theorem, Matlab Central.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[dunham120-1] Dunham 1994 , p. 120

[2] Weisstein, Eric W. "Proof without Words". MathWorld . Retrieved on 2008-6-20

[dunham121-3] 1 2 Dunham 1994 , p. 121

[4] Nelsen 1997 , p. 3

[5] Benson, Donald. The Moment of Proof : Mathematical Epiphanies , pp. 172–173 (Oxford University Press, 1999).

[6] McShane, E. J. (1937), "Jensen's Inequality", Bulletin of the American Mathematical Society, American Mathematical Society, vol. 43, no. 8, p. 527, doi: 10.1090/S0002-9904-1937-06588-8

[7] Gallery of Proofs, Art of Problem Solving, retrieved 2015-05-28

[8] Gallery of Proofs, USA Mathematical Talent Search, retrieved 2015-05-28

[9] Lang, Serge (1971). Basic Mathematics. Reading, Massachusetts: Addison-Wesley Publishing Company. p. 94. We always try to keep clearly in mind what we assume and what we prove. By a 'proof' we mean a sequence of statements each of which is either assumed, or follows from the preceding statements by a rule of deduction, which is itself assumed.

[10] Benson, Steve; Addington, Susan; Arshavsky, Nina; Cuoco; Al; Goldenberg, E. Paul; Karnowski, Eric (October 6, 2004). Facilitator's Guide to Ways to Think About Mathematics (Illustrated ed.). Corwin Press. p. 78. ISBN 9781412905206. Proofs without words are not really proofs, strictly speaking, since details are typically lacking.

[11] Spivak, Michael (2008). Calculus (4th ed.). Houston, Texas: Publish or Perish, Inc. p. 138. ISBN 978-0-914098-91-1. Basing the argument on a geometric picture is not a proof, however...

[12] Benson, Steve; Addington, Susan; Arshavsky, Nina; Cuoco; Al; Goldenberg, E. Paul; Karnowski, Eric (October 6, 2004). Facilitator's Guide to Ways to Think About Mathematics (Illustrated ed.). Corwin Press. p. 78. ISBN 9781412905206. However, since most proofs without words are visual in nature, they often provide a reminder or hint of what's missing.

[13] Schulte, Tom (January 12, 2011). "Proofs without Words: Exercises in Visual Thinking (review)". MAA Reviews. The Mathematical Association of America. Retrieved October 26, 2022. This slim collection of varied visual 'proofs' (a term, it can be argued, loosely applied here) is entertaining and enlightening. I personally find such representations engaging and stimulating aids to that 'aha!' moment when symbolic argument seems not to clarify.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]