Proof without words

In mathematics, a proof without words is a proof 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 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]

Proof without words of the Nicomachus theorem (Gulley (2010))

Examples

Sum of odd numbers
A proof without words for the sum of odd numbers theorem.

The statement that the sum of all positive odd numbers up to 2n − 1 is a perfect square—more specifically, the perfect square n2—can be demonstrated by a proof without words, as shown on the right.[3] The first square is formed by 1 block; 1 is the first square. The next strip, made of white squares, shows how adding 3 more blocks makes another square: four. The next strip, made of black squares, shows how adding 5 more blocks makes the next square. This process can be continued indefinitely.

Pythagorean theorem
A proof without words for the Pythagorean theorem derived in Zhoubi Suanjing.

The Pythagorean theorem can be proven without words as shown in the second diagram on left. The two different methods for determining the area of the large square give the relation

between the sides. This proof is more subtle than the above, but still can be considered a proof without words.[4]

Jensen's inequality
A graphical proof of Jensen's inequality.

Jensen's inequality can also be proven graphically, as illustrated on the third diagram. The dashed curve along the X axis is the hypothetical distribution of X, while the dashed curve along the Y axis is the corresponding distribution of Y values. Note that the convex mapping Y(X) increasingly "stretches" the distribution for increasing values of X.[5]

Usage
Visual proof of De Bruijn's theorem that a 6×6×6 box cannot be fully filled with 1×2×4 cuboids: each cuboid occupies exactly 4 white and 4 black cubes, but there are more white than black cubes

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.[6][7]

gollark: They don't really have room for internet/wireless cards quite often.
gollark: In my testing it was mostly on-the-dot accurate, but sometimes one coord would be off by a lot and it made a bunch of drones go rogue.
gollark: I actually tried to make that, but it returned inaccurate results sometimes and I have no idea why.
gollark: Developing for EEPROMs is somewhat annoying, yes.
gollark: Well, microcontrollers are... easier to move around, since you don't have to carry all the cards and EEPROMs and such.

See also

Notes
  1. Dunham 1994, p. 120
  2. Weisstein, Eric W. "Proof without Words". MathWorld. Retrieved on 2008-6-20
  3. Dunham 1994, p. 121
  4. Nelsen 1997, p. 3
  5. "Jensen's Inequality", Bulletin of the American Mathematical Society, American Mathematical Society, 43 (8), p. 527, 1937, doi:10.1090/S0002-9904-1937-06588-8
  6. Gallery of Proofs, Art of Problem Solving, retrieved 2015-05-28
  7. Gallery of Proofs, USA Mathematical Talent Search, retrieved 2015-05-28

References
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.