Proofs without words

306

366

Can you give examples of proofs without words? In particular, can you give examples of proofs without words for non-trivial results?

(One could ask if this is of interest to mathematicians, and I would say yes, in so far as the kind of little gems that usually fall under the title of 'proofs without words' is quite capable of providing the aesthetic rush we all so professionally appreciate. That is why we will sometimes stubbornly stare at one of these mathematical autostereograms with determination until we joyously see it.)

(I'll provide an answer as an example of what I have in mind in a second)

Mariano Suárez-Álvarez

Posted 2009-12-14T06:04:14.923

Reputation: 36 267

2where possible could people also either note the image source or explain/provide a link to a "how to" for constructing the associated diagram? I think that such would also be helpful for folks` – Carter Tazio Schonwald – 2009-12-14T23:57:12.797

9I hope I am not alone in being (usually) unable to appreciate "proof by picture"... – Suvrit – 2011-07-08T21:14:50.717

14@Suvrit: I hope I am not alone in being most often unable to appreciate "proof by word" until I've read it at least twenty times and wrestled with it for many days per page! – WetSavannaAnimal aka Rod Vance – 2011-07-09T12:11:51.877

@Mariano - sorry, I'm blind in one eye, so I never did get those autostereograms. Great question, though! – WetSavannaAnimal aka Rod Vance – 2011-07-09T12:13:06.860

@Rod Vance -- I'm sure you are not alone; I think my difficulty with "pictures" lies in my lack of geometric abilities. – Suvrit – 2011-07-09T18:40:12.763

This question gives Mariano the sixth and seventh golden badges!! Congratulations!! – Gil Kalai – 2011-08-26T11:34:57.723

1Can we close this as being no longer relevant? The answers trickling in now are not really proofs without words. – David Roberts – 2011-09-16T04:03:06.457

2I am actually quite fond of this question, David! I tend to make comments on answers that are not relevant, and they have a tendency to get deleted after that. – Mariano Suárez-Álvarez – 2011-09-16T17:34:58.787

@Mariano - ok. Just a thought. Other 'borderline' (read: not particularly research-level) big-list questions that have been extremely popular are slowly getting closed, but if this one is still getting good answers, then good. – David Roberts – 2011-09-16T23:30:18.587

41My opinion is that almost every proof-without-words is improved by a few well-chosen words. – Joel David Hamkins – 2012-02-12T00:47:24.703

@one eyed and blind in one eye people curious about autostereograms: http://i39.tinypic.com/14nzlt0.gif [animated gif based on http://en.wikipedia.org/wiki/File:Stereogram_Tut_Random_Dot_Shark.png, licensed CC BY-SA 3.0]

– Roberto Mizzoni – 2012-02-16T03:28:45.313

3Why has this question been closed? How can it be "no longer relevant"? (I mean: the longer people contribute examples, the better.) (BTW: I do have an astonishing example.) – Hans Stricker – 2013-03-15T17:53:02.947

I can't post since I do not have enough rep (and I probably won't ever have as I am not such a math guy) but I was surprised not to find the proof of pythagorean theorem through similar triangles (by far my favourite) : http://is.gd/dLjpjQ.

– matovitch – 2014-06-21T15:12:57.353

It is funny that most people understood "proof without words" as "proof with pictures only"; I guess it is not hard to find proof with computations only! (Though, these ones are in average less seducing...) By the way, do you have in mind other ways to "prove" things than words, pictures and computations? – user56097 – 2014-10-07T23:47:06.000

6There is no such thing as a "proof without logic," and since words are usually the best tool for conveying logical relations, I'm going to have to reject the idea of "proof without words." Sorry, -1. – goblin – 2015-01-23T03:14:01.777

3@goblin, I am afraid that you have completely misunderstood the concept. The idea is pictures which have the rather amazing capability of immediately suggesting on the mind of the viewer the idea of a proof. How on earth you managed to get from the rather well-known idea involved in this question to «proofs without logic» is a mystery to me. – Mariano Suárez-Álvarez – 2015-01-23T03:55:53.287

@MarianoSuárez-Alvarez, oh the concept is well-known alright; these useless so-called "proofs without words" are all over YouTube, usually paired with a lot of downvotes, and rightly so. Its sad that so much effort went into discovering these beautiful arguments, and then producing pictures and even animations to illustrate the idea, only to have all that hard work spoilt by this proof without words nonsense. How much better those so-called "proofs" would have been with a few premises, some inferences, and a conclusion. – goblin – 2015-01-23T22:45:27.980

Also, I am afraid you have misunderstood me. If I were to post a truth-tree for some logical tautology, well that would be a literal example of a "proof without words"; but, you would surely reject it as a non-example. Hence what you really mean is not "proof without words" but "proof without logic." – goblin – 2015-01-23T22:46:24.603

3If you cannot tell the difference between a proof-tree and a proof without words in the tradition of, say, the AMM Monthly, then that is clearly a limitation of yours. I would rather you start a meta thread, or a blog, instead of further polluting this thread with what is clearly rather orthogonal chatter. – Mariano Suárez-Álvarez – 2015-01-23T22:52:36.347

@WetSavannaAnimalakaRodVance I want to upvote your comment again and again... – math137 – 2016-01-04T22:29:52.987

1

Some proofs without words can be found on Math.SE among posts tagged proof-without-words.

– Martin Sleziak – 2016-12-04T08:06:07.303

i recall that Mathematics Magazine, a more elementary cousin of mathematical Monthly (and also published by A.M.A.) used to have a fairly regular feature titled Proofs Without Words.... with some surprising pictures. – DanielWainfleet – 2016-12-15T12:59:52.557

2

Can someone with enough rep submit that 1/4 + (1/4)^2 + (1/4)^3 + ... = 1/3?

– Dan Dascalescu – 2017-02-17T07:44:35.647

Unfortunately i don't have enough reputation to submit https://upload.wikimedia.org/wikipedia/commons/8/8b/Visualized_estimate_for_the_Cauchy_condensation_test.png

– Daniel Charry – 2017-12-24T03:46:44.040

Answers

454

A proof of the identity $$1+2+\cdots + (n-1) = \binom{n}{2}$$

alt text

(Adapted from an entry I saw at Wolfram Demonstrations)

Mariano Suárez-Álvarez

Posted 2009-12-14T06:04:14.923

Reputation: 36 267

59Am I the only one who doesn't understand this "proof" at all? – mathreader – 2010-10-17T17:07:25.893

40@mathreader - the yellow dots are the sum of the first n numbers. Choosing two of the n+1 blue dots uniquely specifies a yellow dot in a bijective fashion. – Steven Gubkin – 2010-11-11T13:40:46.460

5Steve: there are n blue dots. :) – Adam Hughes – 2010-11-16T15:15:00.727

3Fantastic! I'm reminded of a question I wrote for a high-school math competition way back when, which hinged on a similar diagram that counts solutions to a + b + c = n in nonnegative integers. (Imagine a third, horizontal, line.) The problem was something like to count the solutions to a + b + c = 100 with a, b, c bounded above by some numbers close to 100; I still don't know an elegant way to solve the problem other than to see it from the triangle. – Harrison Brown – 2009-12-14T19:12:38.470

37Wow ! – Dinakar Muthiah – 2009-12-19T22:56:20.817

@Mariano: Then help me... what would be a nonmistaken idea of the mathematical activity? (so far I have no other way of seen what math is...) – David FernandezBreton – 2011-03-15T08:13:20.503

Damn, the picture's link won't load. Can anyone find another? – Elizabeth S. Q. Goodman – 2011-03-17T14:22:16.923

3@Adam: Only if $n=7$ – kangdon – 2011-07-08T01:13:10.153

41This beautiful proof warrants proper attribution. It was discovered by Loren Larson, professor emeritus at St. Olaf College. He included it along with a number of other, more standard, proofs, in "A Discrete Look at 1+2+...+n," published in 1985 in The College Mathematics Journal (vol. 16, no. 5, pp. 369-382). – Barry Cipra – 2011-10-15T02:17:00.730

1+1 Everybody has already noted this but I just have to add my vote that this proof is stunning. – benblumsmith – 2012-01-23T13:32:10.300

I wish you had shared this question to Math. S.E. :-) – Babak S. – 2013-04-06T16:49:54.963

4http://i.imgur.com/HCfGOYp.gif An animated version, which makes it a bit more clear. – DoubleAW – 2013-07-07T19:22:18.110

The article that @BarryCipra mentions is available on JSTOR at http://www.jstor.org/stable/10.2307/2686996.

– LSpice – 2014-02-12T22:23:24.427

3The image link seems to be broken now. – shreevatsa – 2014-04-21T03:41:13.667

4This is still broken. Or perhaps this is without words and without image and thus the topvoted one ;-) – None – 2014-06-06T17:32:11.053

1I edited it to substitute the broken image link to one in the comments. It's not optimal, but until the original link is restored it is better than nothing. – José Figueroa-O'Farrill – 2014-06-17T03:19:38.997

I really still didn't understand this one. But I found another visual explanation for it http://www.maths.surrey.ac.uk/hosted-sites/R.Knott/runsums/triNbProof.html

– ihebiheb – 2014-08-28T00:24:24.067

5I preferred the original static image (+1), which made the idea clear. The chaotic animated image (now -1) is mainly irritating---I cannot have it on my screen for any length of time. Perhaps it would become acceptable if the animation was slowed by a factor of ten or so. – Joel David Hamkins – 2014-10-06T12:59:37.223

4I find the underlying argument extremely nice but the picture (especially the animated one) does not really work for me without any words. The animation makes me think that is has some meaning that the yellow dots are visited in a certain order. – Dirk – 2014-10-09T08:22:20.897

@NieldeBeaudrap sorry if this is a simple question, but what do u mean by "proof virus"? Not sure if I understood ur comment. – Charlie Parker – 2015-06-13T16:21:56.717

This one is just awesome! – Jan Weidner – 2010-05-17T15:42:00.470

How this can be a prove? Since its only displayed for $n=7$. – Benjamin – 2015-09-03T15:46:53.373

Gauss discovered a solution to this sum at the age of 9. His solution is an example where a proof with words is more intuitive than a proof without words. http://math.stackexchange.com/a/1017743/202346

– Bob Woodley – 2016-10-04T15:18:33.957

3This is a beautiful proof. I like it very much. But I wonder what status proofs such as this one have in the eyes of people who think that mathematics is about deducing theorems from axioms. If you try to reduce such things to axioms the beauty vanishes. – Johann Cigler – 2010-06-19T09:11:53.547

7I gave this result +1, despite the fact that I am a formalist and do not regard this single image as a proof, because I think it is a very good proof virus to which experienced mathematicians are susceptible. – Niel de Beaudrap – 2010-06-22T11:30:14.423

20@Johann, people who thing that mathematics is about deducing theorems from axioms have such a mistaken idea of what the mathematical activity is thar their judgment is more or less irrelevant :D – Mariano Suárez-Álvarez – 2010-06-29T13:05:06.063

11@Johann: some days of the week, I am such a person; and from that point of view, the picture is a beautifully clear encoding of a certain bijection, and the formal construction of the bijection itself is a very beautiful proof. No beauty is destroyed!// I strongly believe that a proof with a clear intuition should also be clear as a formal proof. If not, either (usually) our formalism isn't as good as it could be, or (occasionally) our intuition really is overlooking some non-trivial subtleties. – Peter LeFanu Lumsdaine – 2010-06-29T14:37:20.707

That's beautiful! – Jim Conant – 2010-10-14T11:18:31.030

201

Because I think proof by picture is potentially dangerous, I'll present a link to the standard proof that 32.5 = 31.5:

"proof" that 32.5 = 31.5

An animation of the above is:

enter image description here

(This work has been released into the public domain by its author, Trekky0623 at English Wikipedia. This applies worldwide.)

There does not seem to be any necessity for the particular 'path in the relevant configuration space' that was used by the author of the above animated gif. This may be seen as an argument against including an animation.

Russell O'Connor

Posted 2009-12-14T06:04:14.923

Reputation: 1 009

45+1 for "the standard proof that $32.5 = 31.5$." Made me laugh. :) – Quadrescence – 2010-10-15T20:10:11.503

14@Pietro: “there is a very strong sense in which written proofs may be formalised”? Formalisation is a highly non-trivial task, and typically depends on quite a lot of mathematical background. What affects the difficulty is not whether the proof is written or graphical, but whether it’s detailed or highly abstracted. Formalising a good proof-by-picture is no harder than formalising a high-level written proof. Insofar as there’s a difference, I’d say it’s just that written proofs can be made detailed enough that formalising them is straightforward, whereas picture proofs perhaps can’t. – Peter LeFanu Lumsdaine – 2010-11-29T01:04:37.200

89I think it is just as easy to introduce some kind of logical gap in a written proof as in a graphical one. – Steven Gubkin – 2010-03-07T23:41:35.670

3

+1 , Here is the wiki page for this. http://en.wikipedia.org/wiki/Missing_square_puzzle

– PKumar – 2014-10-25T07:17:55.213

2It might be noted that the success of the illusion partly depends on the fact this uses Fibonacci numbers (it is a coincidence I guess that the next newest answer is also about Fibonacci numbers!). – Todd Trimble – 2015-01-23T02:53:12.933

54@Steven: I think there is some truth to your claim, but I don't agree fully. First, we may notice that most proofs rely much more on writing than on pictures, and so mathematicians have developed a better radar for "written gaps". Second, there is a very strong sense in which written proofs may be formalized and checked by computer. Picture proofs, unless they share quite a bit of the "discrete" character of written proofs, usually are not amenable to such treatment. (And the notions of discreteness I can think of pretty much ensure that the picture proof could be turned into words.) – Pietro KC – 2010-05-15T20:22:44.257

154

The cardinality of the real number line is the same as a finite open interval of the real number line.

Proof without words

Jason Dyer

Posted 2009-12-14T06:04:14.923

Reputation: 2 137

3I suppose this picture can also be adapted to obtain the stereographic projection proof that a sphere is a manifold? – Kevin H. Lin – 2009-12-14T23:47:16.707

I could swear I've seen the exact picture you speak of somewhere. – Jason Dyer – 2009-12-15T01:37:54.593

Also, I drew the above image myself. Feel free to use in whatever you like. – Jason Dyer – 2009-12-15T01:38:46.283

@Jason Dyer: What software did you use? Inkscape? – davidk01 – 2009-12-15T01:48:09.550

1I usually use Inkscape for my vector-based needs, but this was just done with my Smartboard presentation software. – Jason Dyer – 2009-12-15T14:21:17.040

145

There are a couple of Fibonacci identities, I think. For example

$F_0^2+F_1^2+\cdots+F_n^2=F_{n}F_{n+1}$, with $F_0=1$.

By puting together squares of side $F_n$, one at a time, you get a rectangle of dimension $F_nF_{n+1}$: The two squares of side 1, then the square of side 2, then the square of side 3 and so on.

Here is an image I found online

fibonacci_rectangle

serargus

Posted 2009-12-14T06:04:14.923

Reputation: 21

1I think that there is a nice pictorial proof for this fact, but I don't think this is it. It's a proof for a specific $n$. To make it a general proof, the inductive step needs to be illustrated. – Max – 2011-03-16T14:08:43.077

18@Max: The inductive step is easy to figure out, since the rectangle above contains the rectangles from previous steps. – Daniel Litt – 2011-03-16T20:01:45.007

9fantastic ! – Martin Brandenburg – 2010-04-17T23:30:32.260

Really exceptional! – Koundinya Vajjha – 2010-07-24T06:49:15.347

140

It is known (see this other answer) that an 8x8 board in which squares at opposite corners have been removed cannot be tiled with dominoes, as the removed squares are of the same "colour". But what if two squares of different colours are removed? Ralph E. Gomory showed that it is always possible, no matter where the two removed squares are, and this is his proof:

Image of board

(Imagine A and B are the squares removed.) The image is from Mathematical Gems I by Ross Honsberger.

shreevatsa

Posted 2009-12-14T06:04:14.923

Reputation: 559

8What I like about this example is that there seems to be no straightforward proof without the picture; the crux of the proof's idea is specifically this picture. – shreevatsa – 2016-05-03T21:21:43.867

4Very nice. I guess the crux of the proof is that, when $mn$ is even, $P_m\times P_n$ is a Hamiltonian bipartite graph? – bof – 2016-05-04T04:15:48.747

Well, I'd call that a generalization, not the crux of the proof. :-) Staying concrete, for the question about the specific case of $m=n=8$, the crux of this proof (that this graph is Hamiltonian) is this picture. Similar pictures can be draw whenever $mn$ is even, sure. – shreevatsa – 2016-10-17T16:37:52.170

123

This is elementary as well, but one of my favorite ones :)

$1^2 + 2^2 + \dots + n^2 = \frac13n(n+1)(n+\frac12)$

(Author: Man-Keung Siu)

alt text

Mike

Posted 2009-12-14T06:04:14.923

Reputation: 101

8There's an analogous proof that the integral of n^2 from 0 to x is x^3/3. It can be obtained from this proof by smoothing out the stepped pyramids into actual pyramids. – Michael Lugo – 2009-12-14T16:47:13.137

39I think very few people have enough spatial imagination to figure out what happens exactly in the area where the three pieces come together, or could easily depict the structure seen from the opposite end. For me the picture is not convincing at all (I'd rather say the formula convinces me the picture is correct than the other way round). However maybe playing with an actual model would be quite convincing. – Marc van Leeuwen – 2011-12-12T13:31:38.253

2@Mark - I think if you just think about the width of each step at each level, you will be able to see that they do all fit together. Just counting back along a given row or column shows you that it all fits. – Steven Gubkin – 2012-02-15T15:10:32.400

3A variant of Mike's construction for $\sum_{k=1}^n k^2$, easier to visualize (I'm going to try a proof-without-words, without pictures). Take $6$ copies of each parallelepiped of size $k \times k \times 1$. Glue them together so as to make the four lateral walls of a parallelepiped of (external) size $k \times (k+1) \times (2k+1)$. Do this for k from 1 to n, forming a collection of bracelets. Insert each one in the next, like matrioskas, getting a whole parallelepiped of size $n\times(n+1)\times(2n+1)$. – Pietro Majer – 2013-04-10T10:48:28.637

1@Michael Lugo: The continuous version of this proof is "elementary geometry": the volume of a pyramid is one third of its height times the area of its ground surface! – nsrt – 2014-03-18T13:09:23.773

101

It's a long list of wonderful answers already, but I can't resist...

Question: Is it possible to find six points on a square lattice that form the vertices of a regular hexagon?

Proof without words:

alt text

Hint: A square lattice is invariant under rotation by π/2 around any lattice point. Use reductio ad absurdum.

Credit: I learned that proof from György Elekes during the Conjecture and Proof course in the Budapest Semesters in Mathematics, after constructing a proof of my own that used entirely too many words and made very laboured use of the fact that $\sqrt{3}$ is irrational. The picture here is my own creation (using Asymptote).

Follow-up: Can you find four points on a hexagonal lattice that form the vertices of a square? The proof is similar but not immediate.

Vaughn Climenhaga

Posted 2009-12-14T06:04:14.923

Reputation: 5 922

5+1 for the "Conjecture & Proof" shout-out. Best, course, ever! – Kevin O'Bryant – 2010-11-10T23:18:41.230

1Igen, nagyon jó. – Douglas Zare – 2011-02-07T05:08:41.337

Beautiful! Yes! (I had to add "Yes!" to make my comment long enough). – Włodzimierz Holsztyński – 2013-11-09T03:28:41.877

köszönöm, Google Translate. – Todd Trimble – 2015-01-23T03:05:45.120

6Why would you resist? – Mariano Suárez-Álvarez – 2010-05-20T17:41:04.857

I really like this image and proof. The same idea works for other regular polygons, and I made images for pentagons, heptagons and so on, which you can find on my blog post at http://jdh.hamkins.org/no-regular-polygons-in-the-integer-lattice/. (The code accept $n$ as input, and makes the image for an $n$-gon.)

– Joel David Hamkins – 2016-12-04T16:24:34.777

2

And here is my post on the hexagonal lattice: the only regular polygons to be found are triangles and hexagons. http://jdh.hamkins.org/no-regular-polygons-in-the-hexagonal-lattice/

– Joel David Hamkins – 2016-12-09T03:48:46.687

99

There's a picture proof in the Princeton Companion, or alternatively on p. 340 of Hatcher, of the fact that the higher homotopy groups are abelian. Actually, here's a screenshot of the one in Hatcher (hopefully fair-use!):

Hatcher p. 340

Here $f$ and $g$ are mappings (with basepoint) of $S^n$ into some space for $n > 1$; the picture shows a homotopy between $f + g$ and $g + f$.

The above diagrams show an application of the interchange law, a more general expression of the Eckmann-Hilton argument, for double categories or groupoids. Here is a more general picture

dbgxmod

which shows that the interchange law for a double groupoid implies the second rule $v^{-1}uv= u^{\delta v} $, where in the picture $a=\delta v$, for the crossed module associated to a double groupoid, taken from the book advertised here. There are many $2$-dimensional rewriting arguments which are essential to the results of this book.

Harrison Brown

Posted 2009-12-14T06:04:14.923

Reputation: 7 125

5

Page 340 of Hatcher's book: http://www.math.cornell.edu/~hatcher/AT/AT.pdf

– Dan Piponi – 2009-12-14T18:27:49.617

12

This is sometimes called the Eckmann-Hilton argument: http://en.wikipedia.org/wiki/Eckmann%E2%80%93Hilton_argument

– Kevin H. Lin – 2009-12-14T20:46:49.077

3I've heard that term, but I've never quite understood how the diagram is supposed to prove the more general abstract nonsense theorem. But if you can explain it, that's what community wiki's for! :D – Harrison Brown – 2009-12-14T20:53:48.977

4

There are lots of places on the web where this is explained nicely: http://www.youtube.com/watch?v=Rjdo-RWQVIY , http://math.ucr.edu/home/baez/week258.html , http://ncatlab.org/nlab/show/Eckmann-Hilton+argument , etc....

– Kevin H. Lin – 2009-12-14T23:50:06.237

The "more general picture" seems to be broken. – Gerry Myerson – 2014-03-18T22:15:39.977

93

This might be trivial but integration by parts has a nice proof without words:

enter image description here

(Got from: Roger B. Nelsen, Proof without Words: Integration by Parts, Mathematics Magazine, Vol. 64, No. 2 (Apr., 1991), p. 130; the original link is http://www.maa.org/sites/default/files/Roger_B04151._Nelsen.pdf).

Daniel Parry

Posted 2009-12-14T06:04:14.923

Reputation: 851

3@Daniel, I've turned the PDF into a PNG, and inserted the relevant part. I did keep the URL to the PDF for reference. Thanks, by the way! – Mariano Suárez-Álvarez – 2011-02-07T02:55:58.927

8The same picture also gives an interesting formula for the integral of an inverse function! – Matt Noonan – 2011-06-29T00:57:59.617

3I guess this proof works only when $f$ and $g$ are both increasing? – Greg Martin – 2015-11-19T19:16:23.043

92

I'm partial to the proof using Dandelin spheres that (certain) cross sections of cones are ellipses, where an ellipse is defined as the locus of points whose total distance to two foci is constant. It's particularly nice because it explains the foci geometrically, as well as the focus-directrix property with some more work.

Dandelin spheres touch the light blue plane that intersects the cone.

aorq

Posted 2009-12-14T06:04:14.923

Reputation: 2 361

Indeed. And there are also similar visual proofs for the hyperbola and the parabola – godelian – 2011-02-18T22:17:28.707

2How does the picture explain the invariance of the total distance to two foci? I don't see it ; I haven't done geometry in a while though, I'm guessing it's some triviality... refresh my memory please? :) – Patrick Da Silva – 2013-07-28T18:35:05.160

3@PatrickDaSilva: $PF1 = PP1$ because tangents to a circle/sphere have equal length. The total distance is thus equal to $PF1 + PF2 = PP1 + PP2 = P1P2$, which is constant. – aorq – 2013-07-29T08:53:27.950

@aorq : Riiiight. Thanks for the clarification! It is indeed very visual. – Patrick Da Silva – 2013-07-29T13:14:22.753

I've learned this and related proofs from Hilbert and Cohn-Vossen (but these proofs still originated mostly with Dadelin). – Włodzimierz Holsztyński – 2013-11-09T03:21:41.900

I was confused by the perspective. In case anyone is having the same problem: the perspective is from a point that is (below the apex $S$ of the cone but) above the base of the cone (circle $k2$) and the bottom half-sphere ($G2$). I mistakenly thought we were looking up through $k2$ into the inside of the cone -- I think this is because in my browser, at least, the the circle $k2$ gets thicker when it passes behind the ellipse and should if anything get thinner. It's generally a nice drawing, though, and a nice proof. – Tim Campion – 2014-03-05T22:49:28.640

1Yes, this one is beautiful. – Andrés E. Caicedo – 2010-05-15T18:47:44.167

There are more gems in Dandelin's figure but I need words : Let circles $k_1,\; k_2$ lie in planes $J_1.\; J_2 $ respectively. Let the ellipse be in plane $J_E$. Then $J_1\cap J_E ,\; J_2\cap J_E$ are the directrices.. Let line $l_P$ be the tangent to the ellipse at $P,$ with $l_P\subset J_E.$ Let $l_P$ meet $J_1,\;J_2$ at $Q_1\;,Q_2$ respectively. For $ i=1,2 , $ triangles $Q_iPP_i ,\; Q_iPF_i$ are congruent (as $Q_iP_i.\; Q_iF_i$ are tangent to sphere $G_i$), So angles $Q_iPP_i = Q_iPF_i$ . But $Q_1PQ_2$ and $P_1PP_2$ are lines. So angles $Q_2PF_2=Q_2PP_2=Q_1PP_1=Q_1PF_1.$ – DanielWainfleet – 2016-12-15T13:36:51.057

81

                          visual proof

This visual proof of $$\sum\limits_{n=1}^\infty \left (\frac{1}{2}\right)^{\,2n}=\frac{1}{3}$$ is from http://www.cecm.sfu.ca/~loki/Papers/Numbers/ (Visible Structures in Number Theory, by Peter Borwein and Loki Jorgenson, The American Mathematical Monthly, vol. 108, no. 5, 2002, pp. 897-910).

Zurab Silagadze

Posted 2009-12-14T06:04:14.923

Reputation: 9 584

3

This proof is actually known to Archimedes and used in his Quadrature of the Parabola https://en.wikipedia.org/wiki/1/4_%2B_1/16_%2B_1/64_%2B_1/256_%2B_%E2%8B%AF

– Machinato – 2016-07-18T12:48:59.843

Visual recursion. Awesome. – Manuel Bärenz – 2017-03-06T17:46:18.587

81

Means inequalities:

alt text

The image was sent to me by James M. Lawrence, grazie! See also page 53 of "Proofs without words: exercises in visual thinking, Volume 2" for a very different layout of the same 4 inequalities.

Another one exists involving the sum $$1^3 + 2^3 + \cdots + n^3:$$

alt text

The second image is due to Brian Sears

Dave Pritchard

Posted 2009-12-14T06:04:14.923

Reputation: 753

2I used the second proof (involving sum of cubes) in my class today after proving it by induction. A few were quite inspired by it! – Somnath Basu – 2012-02-24T18:42:42.690

22nd proof: It would be nicer if the small strips were above and to the left of the big square. – Günter Rote – 2013-02-25T22:56:24.083

2The first proof could use some words. How is HM constructed? What is the small circle for? How does one prove that those segments have the claimed lengths? – Federico Poloni – 2014-04-19T16:04:44.893

1

For completeness, since a link is still missing: Mariano Suárez-Álvarez has given a beautiful improved version of the second image here: https://math.stackexchange.com/q/61483

– Peter Heinig – 2018-02-24T13:20:29.183

75

$$2 \pi > 6$$

hexagon inscribed in a circle

$ $ $ $ $ $ $ $

muad

Posted 2009-12-14T06:04:14.923

Reputation: 732

9And similarly one proves that $\pi < 4$ by inscribing a circle in a square. – Michael Hardy – 2010-11-16T21:46:20.557

18At first I was thrown off by this, because I was looking at area and not circumference. The area of an inscribed regular 12-sided polygon in the unit circle is also 3. – Todd Trimble – 2011-03-12T22:07:53.120

http://www.jstor.org/stable/10.5951/mathteacher.105.8.0632 – Benjamin Dickman – 2012-12-02T08:48:04.590

Helpful to remember that pi is ratio of circumference of the circle to diameter. – Talespin_Kit – 2016-12-21T15:54:58.890

70

Wikipedia has a few nice proofs of the pythagorean theorem. Elementary, but elegant.

Pythagorean Theorem, picture proof

Steve Flammia

Posted 2009-12-14T06:04:14.923

Reputation: 1 418

14A typical fake proof --- a simple statement as Pythagorean theorem is proved using much more advanced theorem on existence of area... – Anton Petrunin – 2010-11-30T20:26:31.687

1oops! didn't see the word "non-trivial" in there... – Steve Flammia – 2009-12-14T15:40:24.897

23Pythagoras' theorem is trivial? I had no idea … Seriously, I don't necessarily think that the existence of a very simple proof implies triviality. Such proofs are, after all, not so easily discovered. Anyway, this is my favourite proof of the theorem. – Harald Hanche-Olsen – 2009-12-14T20:58:57.823

4The 20th President of the US, James Garfield, independently discovered the proof obtained by halving the right-hand diagram along a diagonal of the square of side length c. It requires you to write down an equation, though. That's my favorite proof, but mostly because of the corollary that B. Obama isn't the first geeky POTUS. – Harrison Brown – 2009-12-15T03:23:05.457

26A typical fake refutation. You don't need to define Lebesgue measure to do manipulations in geometry. All operations can be defined geometrically if I associate a number X with the segment of length X, and define $X \mapsto X^2$ as a function, mapping a segment to a square with such side. In fact, even many of infinite summations can be done geometrically, using the obvious topology and metric on shapes. Thanks to this formalistic tradition it took 100 years of pain to get from non-trivial Lebesgue construction to much more natural motivic integration. – Anton Fetisov – 2011-11-13T10:38:37.263

13@HB: Um, Thomas Jefferson? – Pete L. Clark – 2010-03-06T03:23:28.843

1I was told about an Indian mathematician who included the diagram on the right in his book about geometry. His proof of the Pythagorean theorem then consisted of just one word: "See?" – Paul Siegel – 2010-05-15T13:58:31.507

Paul Siegel: That sounds very familiar to Bhaskara's "Behold!", which was a slightly different proof that the one displayed here. – muad – 2010-07-11T03:22:37.493

There's another really elegant proof of the Pythagorean theorem that involves basically drawing a single line. See Frank Wilczek who attributes it to Einstein, "A Polished Jewel": http://frankwilczek.com/2013/pythagorasTwo(Einstein)WithFigure.pdf

– Dave Pritchard – 2017-11-22T01:51:28.673

68

Duality between $\ell^1$ and $\ell^\infty$ norms.

p-norm 1 -> infinity

and the reverse animation

p-norm infinity -> 1

Igor Khavkine

Posted 2009-12-14T06:04:14.923

Reputation: 10 675

Mariano, thanks for fixing up my post! – Igor Khavkine – 2009-12-16T13:56:21.480

15I... don't quite get it. I think I need a few more words: What's the dot representing in each picture? – Harrison Brown – 2009-12-16T15:01:07.173

11The red line in xy-space satisfies the given equation. The dot gives the (a,b) coordinates of the same line in ab-space. The xy- and ab-spaces are linearly dual to each other. The resulting black and red shapes represent the unit balls in respective norms. – Igor Khavkine – 2009-12-16T15:34:25.187

65

If we have 3 circles on the plane with tangent lines, we can notice they have colinear intersection!

Made in Inkscape

To prove it, we can visualize the same configuration in 3D, the balls lay on a surface and rather than tangent lines we take cones: The colinearity comes from the fact that if we lay a plane ontop of this configuration it will intersect the table in a line!

This is from 'curious and interesting geometry' and the proof is attributed to John Edson Sweet. I really like this proof because it gives a vivid example of the general idea that sometimes, to solve a problem in the most simple way you need to view it as a part of some bigger whole.

muad

Posted 2009-12-14T06:04:14.923

Reputation: 732

18You need to draw a 3D picture of this to get rid of the words! – Ian Agol – 2011-06-28T16:39:18.907

Don't we need the cones to all have the same slope? – benblumsmith – 2012-01-23T13:39:50.857

2In this pretty solution there is another pretty geometric problem: Given three spheres there is a plane which is tangent to all three. – Rogelio Fernández-Alonso – 2012-01-29T16:51:36.337

5Where is the picture? – Patrick Da Silva – 2013-07-28T18:29:19.017

1This was one of my favorite proofs in this list... it's a shame that imageshack took this picture off to promote their site. – KalEl – 2014-11-07T22:36:48.113

I warmly recommend the (briefly cited) very interesting book "The Penguin Dictionnary of Curious and Interesting Geometry", by David Wells that can be accessed at (https://archive.org/details/ThePenguinDictionaryOfCuriousAndInterestingGeometry)

– Jean Marie Becker – 2016-12-22T11:28:24.537

65

Another proof of the sum of the first $n$ squares, relying on the knowledge of the formula for the sum of the first $n$ numbers:

$$1^2 + 2^2 + \dots + n^2 = n(n+1)(2n+1)/6$$

This one has a similar flavor to the fabled proof by Gauss of the sum of the first $n$ numbers. It's a good follow up for students after Gauss's proof.

JeremyKun

Posted 2009-12-14T06:04:14.923

Reputation: 331

There's probably a nice three-dimensional rendition of this that doesn't require writing down all those numbers. – Michael Lugo – 2012-08-16T23:03:00.227

9+1 Superb. Is this original? If not, to whom is it attributed? – I. J. Kennedy – 2013-11-22T02:05:20.097

@MichaelLugo the 3D rendition is elsewhere on this page http://mathoverflow.net/q/8851 (you commented on it), but I do prefer this version.

– adl – 2016-01-12T16:21:18.820

58

I'm quite surprised no-one pointed out this one yet:

Theorem. The trefoil knot is knotted.

Proof.

3-colored trefoil know $\square$

Some comments: a 3-colouring of a knot diagram D is a choice of one of three colours for each arc D, such that at each crossing one sees either all three colours or one single colour. Every diagram admits at least three colourings, i.e. the constant ones. We'll call nontrivial every 3-colouring in which at least two colours (and therefore all three) actually show up. It's easy to see (one theorem, more pictures!) that Reidemeister moves preserve the property of having a nontrivial 3-colouring, and that the unknot doesn't have any nontrivial colouring.

The picture shows a (nontrivial) 3-colouring of the trefoil.

EDIT: I've made explicit what "nontrivial" meant ― see comments below. Since I'm here, let me also point out that the number of 3-colourings is independent of the diagram, and is itself a knot invariant. It also happens to be a power of 3, and is related to the fundamental group of the knot complement (see Justin Robert's Knot knotes if you're interested).

Marco Golla

Posted 2009-12-14T06:04:14.923

Reputation: 4 804

This is wonderful. – Kevin H. Lin – 2011-06-16T19:28:00.573

What does "nontrivial" mean? – Tom Goodwillie – 2011-06-28T15:11:24.803

@Tom Goodwillie: I've edited, and added some remarks. Thank you. – Marco Golla – 2011-06-28T20:39:15.560

58

Here's a proof of the inequality of the arithmetic and geometric means in the form $$\frac{x_1^n}{n} + \cdots + \frac{x_n^n}{n} \geq x_1\cdots x_n.$$

Proof for $n=3$:

(there should be a figure here...)

The "figure" for general $n$ is similar, with $n$ right pyramids, one with an $(n-1)$-cube of side length $x_k$ as its base and height $x_k$ for each $k=1,\ldots,n$.

(I made this in Inkscape, a wonderful free-software vector drawing application. For the inequality and associated labels, I used the textext extension.)

Darsh Ranjan

Posted 2009-12-14T06:04:14.923

Reputation: 4 554

2And what exactly is a proof about this? – darij grinberg – 2010-11-10T23:40:01.027

8The box has volume xyz and is contained in the union of the three square pyramids, which respectively have volumes x^3/3, y^3/3, and z^3/3. Thus xyz <= x^3/3 + y^3/3 + z^3/3. – Darsh Ranjan – 2010-11-11T03:41:43.327

52

AndrewLMarshall

Posted 2009-12-14T06:04:14.923

Reputation: 260

11Nice, but that reminds me of the "proof" of $2=\pi$ by approximating a straight line of length 2 by starting with a circle with this line as diameter, then two circles with one half of the line as diameter each, then for circles with on quarter of the line as diameter, ...

One still has to find an argument that a geometric process converges at all and converges to the desired result. Both cannot be deduced purely from looking at a picture. – Johannes Hahn – 2010-11-08T11:27:26.133

1Hmm, not sure, the point behind a proof by picture is that you do "get it," i.e., you see how the argument works in its full rigor. Now, either you do or you don't, but in this case I think it's all there. With circular arcs approximating a straight line you might notice upon observation that the arc length is independent of the iterations, which immediately discounts convergence... – AndrewLMarshall – 2010-11-10T06:21:06.727

1By contrast, here you might observe that the difference between, say, how 2 circular wedges differ from their triangular counterparts in ratio, and how a wedge of twice the size differs from its triangular counterpart in ratio, does give on the order of geometric convergence. You can more or less just see that. – AndrewLMarshall – 2010-11-10T06:21:33.840

5Wikipedia attributes this proof to Leonardo da Vinci. You can make establish rigorous convergence by using triangles that inscribe and circumscribe the wedges. – S. Carnahan – 2010-11-11T03:04:02.640

2Hah, this is actually the proof appear in my primary school textbook. (I went to primary school in China, it was like 6th or 5th year) I'm amazed by this proof, but I'm not sure many kids can remember this though. – temp – 2012-05-30T02:40:22.483

49

Here is the very first piece of original mathematics I ever did, in high school:

The derivative of sine is cosine.

alt text

Steven Gubkin

Posted 2009-12-14T06:04:14.923

Reputation: 6 931

5It looks like your image is no longer available... – I. J. Kennedy – 2010-11-16T19:09:28.823

3Leibniz actually did this drawing. It's very nice because you can teach it to undergrads. You can do the same with any of the trig functions and their inverses. For tangent, you can extend the hypotenuse of the above triangle until it intersects the line tangent at the point $1$ (assuming this is the unit circle in the complex plane). Then you get a triangle with base $1$, height tangent, and hypotenuse secant. For cosecant and cotangent, you draw a tangent line from the point i. Then through similar triangles you can differentiate all these functions and their inverses. – Phil Isett – 2011-07-08T21:00:58.020

1Yup, I have drawn pictures for all of those as well, but this always seemed like the simplest one. Never understood why this isn't in calculus books. – Steven Gubkin – 2011-07-10T15:41:25.663

3@StevenGubkin If you still have it, could you put the picture back in? No one can see it. – Todd Trimble – 2015-10-20T16:05:46.533

1This post is very much related to this. – Simply Beautiful Art – 2016-11-17T00:46:59.517

44

The sequence of pictures

intersection of 3 diangles intersection of 2 diangles intersection of 2 diangles intersection of 2 diangles

proves the area formula for spherical triangles $A=\hat{ABC}+\hat{BCA}+\hat{CAB}-\pi$.

CuriousUser

Posted 2009-12-14T06:04:14.923

Reputation: 563

3Thomas Harriot first proved this formula in 1603, apparently by a similar argument, though I have not seen his picture(s). – John Stillwell – 2010-02-22T22:31:23.253

5

Haha, I'm happy to see these illustrations useful to someone! I created them some years ago, mainly to crystalize what I saw in my minds eye after finding some simple proofs of this identity online. The words accompanying these images can be found at http://planetmath.org/encyclopedia/AreaOfASphericalTriangle.html Also, original MetaPost source can be obtained from this unfortunately obscure link: http://images.planetmath.org:8080/cache/objects/5841/src/sph-tri.mp

– Igor Khavkine – 2010-04-26T20:55:25.063

Incidentally, I tried to find a similar proof for the area formula for hyperbolic triangles. Unfortunately, that did not work due to non-compactness of hyperbolic space. If anyone knows whether such a proof exists, I'd be happy to see it. – Igor Khavkine – 2010-04-26T20:57:24.673

2

There is an analogous proof using the fact that although the hyperbolic plane has infinite area, a triply asymptotic triangle has finite area, so once you pick one of the two triply asymptotic triangles containing your triangle, you're in business. The relevant picture's in my answer posted separately (I posted it before I had the reputation to leave comments): http://mathoverflow.net/questions/8846/proofs-without-words/24774#24774

– Vaughn Climenhaga – 2010-05-18T19:04:42.907

This same proof also appears at the very opening of this paper: http://arxiv.org/abs/1301.0352

– Yaakov Baruch – 2016-06-08T14:44:38.900

34

Sphere eversion


And here's a two-dimensional rendering of the sphere eversion: enter image description here

Ian Agol

Posted 2009-12-14T06:04:14.923

Reputation: 43 120

4I just watched the video, which was excellent, but it had a lot of words in it. – Patricia Hersh – 2012-08-19T00:23:58.017

11As pretty as it is, that is nowhere understandable as a proof. More as an illustration. – Willie Wong – 2010-03-11T16:44:55.743

14@Willie: Suppose someone wrote down the equations/formulas for the sphere eversion in that video. It seems to me that checking that the formulas indeed give a sphere eversion would be a rather difficult and tedious task, whereas a video animation is, although not a rigorous proof, much more immediately convincing. – Kevin H. Lin – 2010-04-06T16:30:56.847

33

A classic one, from the late 19th century, that surprized Peano's contemporaries.

Question : "A curve that fills a plane ? You must be kidding"

Answer :

enter image description here

Well, of course a formal proof was necessary, but it is still one of my favorites.

Alexis Monnerot-Dumaine

Posted 2009-12-14T06:04:14.923

Reputation: 132

11Project: Fill the square one pixel at a time by following (an approximation to) this curve; then find some suitable baroque music accompaniment; then upload it to youtube. – Michael Hardy – 2010-11-16T21:51:30.030

41If you look at the picture in detail you can see that you are defining a sequence of continuous functions that converge uniformly. It's also clear from the picture that the image is dense. Therefore the limiting function exists and its image (being dense and compact) is the whole square. Of course, this proof isn't 100% visual but the non-visual part -- the basic facts about uniform convergence and compactness -- can be regarded as background knowledge. So I think it's a nice example. – gowers – 2011-04-10T20:18:58.777

5Remarkably, no picture nor mention to it was made in Peano's article, the construction being completely based on ternary expansions. The picture of a sequence converging to a square-filling curve appeared one year later in the paper by Hilbert. – Pietro Majer – 2011-11-17T14:14:32.927

3

@Michael Hardy, I think it has been done: http://www.youtube.com/watch?v=4RQmLNa5ZNo&feature=related

– Gerry Myerson – 2012-02-15T03:02:19.940

4Contrary to gowers, I don't think it's clear that we are defining a sequence of continuous functions which converges uniformly. We aren't defining a sequence of functions at all, only a sequence of images of the interval under a function. If we choose the "wrong" sequence of parameterisations of this sequence of curves then we do not get a limit function. The sequence of parameterisations (which is not illustrated) is crucial to proving the existence of the limit object: without some indication of which parameterisations we must choose there is no proof. – Ian Morris – 2014-06-26T07:45:45.017

33How can you be sure that you're eventually covering all the points with irrational or transcendental coordinates? And giving a sequence of curves which fill more and more of the plane isn't the same as giving a single curve that does it all at once - it's not clear that such a limiting curve exists just looking at the pictures. – Michael Burge – 2010-09-14T08:47:14.967

13Existence of the limits object is something that is very often forgotten. For example most Introductions to fractals give geometric descriptions of Koch's snowflake etc. via such an iteration but don't prove that there exists a limit of this iteration. – Johannes Hahn – 2010-09-14T09:22:18.400

33

Algebraic manipulations in monoidal categories can also be performed in a graphical calculus. And the best part is that this is completely rigorous: a statement holds in the graphical language if and only if it holds (in the algebraic formulation). See for example Peter Selinger's "A survey of graphical languages for monoidal categories". There are many instances, for example in knot theory studied via braided categories. The following specific example comes from Joachim Kock's book "Frobenius Algebras and 2D Topological Quantum Field Theories", and proves that the comultiplication of a Frobenius algebra is cocommutative if and only if the multiplication is commutative.

enter image description here

Chris Heunen

Posted 2009-12-14T06:04:14.923

Reputation: 2 475

The link to Selinger's paper wasn't working – Yemon Choi – 2012-02-15T04:47:22.500

There are many proofs of similar flavor about 4-manifolds using the Kirby calculus. – Matt Brin – 2012-08-15T14:04:33.187

Picture is dead – BlueRaja – 2013-06-28T06:37:28.410

I'm voting this up because I like string diagrams, even though you don't mention them specifically. – Ryan Reich – 2013-10-11T14:48:48.137

5this proof makes me wonder what is a 'picture' and what is – Jeremy Lane – 2014-04-19T14:43:09.197

29

As you probably already know — there are loads of these in Proofs without Words (and II) by Roger Nelson.

Mike

Posted 2009-12-14T06:04:14.923

Reputation: 101

Yup. I was wondering if there are examples proving non elementary results (my example is not exactly non-elementary, I know...) – Mariano Suárez-Álvarez – 2009-12-14T06:14:59.407

26

$$\arctan \frac{1}{3} + \arctan \frac{1}{2} = \arctan 1$$

enter image description here

It's easy to generalize this to

$$ \arctan \frac{1}{n} + \arctan \frac{n-1}{n+1} = \arctan 1, \text{ for } n \in \mathbb{N}$$

which can further be generalized to

$$ \arctan \frac{a}{b} + \arctan \frac{b-a}{b+a} = \arctan 1, \text{ for } a,b \in \mathbb{N}, a \leq b $$

Edit: A similar result relating Fibonacci numbers to arctangents can be found here and here.

L.Z. Wong

Posted 2009-12-14T06:04:14.923

Reputation: 624

3It needed quite a long time for me to understand this. But, well, then it is amazing! – Gottfried Helms – 2015-10-28T10:16:26.917

1Very nice. It might be a bit more clear if the right triangle for arctan(1/2) and arctan(1/3) were colored in the first picture, and the triangle for arctan(1) was colored in the second picture. – Steven Gubkin – 2016-11-17T02:57:16.730

23

The cover of Peter Winkler's first book is a great proof without words of a statement which I'll leave you to guess, regarding the combinatorics of tiling a heaxagon with rhombi.

EDIT: I think the guessing game isn't helpful. The statement is that when tiling a perfect hexagon with the appropriate kind of rhombi of various orientations, the number of tiles in each orientation is the same. The image is slightly misleading in its use of color; there ought to be just three colors, corresponding to the three orientations.

Alon Amit

Posted 2009-12-14T06:04:14.923

Reputation: 4 846

@Alon: could you repost the image using a more permanent upload site? – Mariano Suárez-Álvarez – 2010-11-08T03:57:00.250

Done! Thanks for the comment. – Alon Amit – 2010-11-10T23:08:31.480

3

I'd be more impressed by this if I knew what statement was supposedly being proven by this illustration. That rhombus tilings are in 1-1 correspondence with 3d orthogonal surfaces (Thurston 1990, http://dx.doi.org/10.2307/2324578)?

– David Eppstein – 2009-12-14T23:06:24.400

That rhombus tilings are equinumerous to plane partitions which fit in a box. – Mariano Suárez-Álvarez – 2009-12-15T00:11:08.917

2Also, there are equal numbers of rhombi of each orientation in any tiling, and in fact, any tiling can be obtained from any other one by rotating "unit" hexagons formed by three rhombi. – Darsh Ranjan – 2009-12-15T02:35:14.773

1What do the colors represent? In particular, there are two colors for "upward-facing" rhombi (red and light gray) and two colors for "right-facing" rhombi (brown and dark gray), and I don't see why. – Michael Lugo – 2009-12-15T03:03:57.757

Sorry - I didn't want to spoil the fun right away. The statement being proven is the one indicated by Darsh Ranjan: however you tile a hexagon with rhombi, there's an equal number of tiles in each of the three orientations. The picture-proof asks you to believe that all such tilings can be regarded as the facets of a cubical arrangement, and the orientations correspond to the viewing angle. As far as I know, the colors are random and are just a distraction. – Alon Amit – 2009-12-15T05:15:04.737

There should be 3 colors, for the 3 orientations. (I think it even says this in the book.) I think the gray is a mistake introduced by the cover designer - unless there is some hidden meaning in the arrangement of gray rhombi? – Emil – 2010-01-16T22:41:55.257

By the way - I highly recommend this book. Practically every problem in it is both challenging and interesting. – Yaakov Baruch – 2016-06-08T14:29:28.317

23

In an attempt to push the bar towards the non-trivial, I'll mention the proof that the boundary complex of every polytope is shellable. The proof is virtually word-free but requires an actual movie rather than a still image: imagine yourself in a spaceship, taking off in a straight line from one of the facets, away from the polytope. Every once in a while a new facet is visible to you; under assumptions of general position, this provides a shelling of the complex (obviously, you need to fly off to projective infinity and come back on the other side).

This was assumed by Euler but first proved only in 1970 by Brugesser and Mani, who said that the idea came to him in a dream. More details here (search for "shellability") or here.

Alon Amit

Posted 2009-12-14T06:04:14.923

Reputation: 4 846

27Why are there so many words and so few pictures in this answer? – David Eppstein – 2009-12-14T23:07:50.480

17Because I couldn't a way to draw this, let alone animate, in a reasonable time. I trust that the description is helpful in imagining what the actual wordless proof is. – Alon Amit – 2009-12-15T05:17:04.437

12I want a video! – Emil – 2010-01-16T22:45:18.510

@AlonAmit The difference between what we want and what you gave us is explained in this video.

– Simply Beautiful Art – 2016-11-15T23:07:48.970

22

I am surprised that no one had cited the "proof" that the rationals are countable yet. See, for example, this picture

enter image description here

Campello

Posted 2009-12-14T06:04:14.923

Reputation: 485

Maybe it doesn't fit into the "non-trivial" category? – Campello – 2014-03-19T12:12:16.890

5I think that the fact that the rationals are countable qualifies as non-trivial, when put in historical perspective – Geoff Robinson – 2014-03-19T19:02:33.113

21

Conway and Soifer tried to set a record for least number of words in a mathematical paper. I've reproduced it here in its entirety.

Can n2 + 1 unit equilateral triangles cover an equilateral triangle of side > n, say n + ε?
John H. Conway & Alexander Soifer
Princeton University, Mathematics
Fine Hall, Princeton, NJ 08544, USA
conway@math.princeton.edu asoifer@princeton.edu

n2 + 2 can:

figure 1

figure 2

BlueRaja

Posted 2009-12-14T06:04:14.923

Reputation: 475

2"This paper is worth publication, provided the authors add some words of explanation on their construction." – Pietro Majer – 2013-04-10T10:29:42.960

20

I just saw this proof, which is of course not mine.

Proof with words: The [area of a] circle

Similar in concept to the above video:

enter image description here

Anna Taurogenireva

Posted 2009-12-14T06:04:14.923

Reputation: 368

19

(I'd post this as a comment to Mariano Suárez-Alvarez, but I've not enough rep). From a ME thread.

$$\sum_{k=1}^n (-1)^{n-k} k^2 = {n+1 \choose 2} = \sum_{k=1}^n \; k = \frac{(n+1) \; n}{2}$$

alt text

leonbloy

Posted 2009-12-14T06:04:14.923

Reputation: 216

19

A line that bisects the right angle in a right triangle also bisects a square erected on the hypotenuse:

https://www.futilitycloset.com/wp-content/uploads/2011/09/2011-09-12-half-and-half-2.png

source: https://www.futilitycloset.com/2011/09/12/half-and-half/

sclv

Posted 2009-12-14T06:04:14.923

Reputation: 101

18

This should really be a comment on Marco Radeschi's answer from Feb 22 involving the area formula for spherical triangles, but since I'm new here I don't have the reputation to leave comments yet.

In reply to Igor's comment (on Marco's answer) wondering about an analogous proof for the area formula of hyperbolic triangles: there is one along similar lines, and you're rescued from non-compactness by the fact that asymptotic triangles have finite area. In particular, the proof in the spherical case relies on the fact that the area of a double wedge with angle $\alpha$ is proportional to $\alpha$; in the hyperbolic case, you need to replace the double wedge with a doubly asymptotic triangle (one vertex in the hyperbolic plane and two vertices on the ideal boundary) and show that if the angle at the finite vertex is $\alpha$, then the area is proportional to $\pi - \alpha$. That follows from similar arguments to those in the spherical case (show that the area function depends affinely on $\alpha$ and use what you know about the cases $\alpha=0,\pi$).

Once you have that, then everything follows from the picture below, since you know the area of the triply asymptotic triangle and of the three (yellow, red, blue) doubly asymptotic triangles.

alt text

(That picture is slightly modified from p. 221 of this book, which has the whole proof in more detail.)

Vaughn Climenhaga

Posted 2009-12-14T06:04:14.923

Reputation: 5 922

17

This proof-without-words of the Pythagorean Theorem is far from a new one, but it's the first one I've ever seen 'in the wild' (this photo was snapped after finishing dinner at a Mongolian Grill restaurant):

enter image description here

Steven Stadnicki

Posted 2009-12-14T06:04:14.923

Reputation: 501

11I imagine people from the other tables, watching somebody while taking a picture of an empty plate! – Pietro Majer – 2016-12-04T07:31:12.570

16

Q: Can you tile chessboard less two opposite corner tiles with two tiles?

Tiling proof

$ $ $ $

Gil Kalai

Posted 2009-12-14T06:04:14.923

Reputation: 12 545

I don't think this is clear enough to be self-contained, although I have something in mind to fix it. Do you mind if I try? – Jason Dyer – 2009-12-19T18:30:36.653

I have edited and put in my modification of the image. – Jason Dyer – 2009-12-19T22:16:30.877

can someone explain this in words? – Turbo – 2012-02-15T06:51:49.013

3It's easier if you do use words. If you take away opposite squares, you have more of one color than another... – Todd Trimble – 2012-08-27T03:42:30.073

@Turbo, When you tile with dominoes, each domino covers two adjacent squares. Because every two adjacent squares contain 1 black and 1 white, the original question is equivalent to the question: Can you tile with black-and-white dominoes where each domino's colors match the colors of the two squares it covers. (So we have replaced the original question with a more constrained question, but know that the answers must be identical). Yet when tiling with black-and-white dominos that match what they cover, it's clear you can only cover boards with an equal number of black and white squares. – Jonah – 2017-09-24T06:54:29.750

15

Late to the party, but David Lehavi and Bob Palais both mentioned the proof that $\pi_1(SO(3))$ has an element of order 2. In fact it is the only nontrivial element, and so the double cover of $SO(3)$ is simply connected.

Here's an animated illustration of that fact, courtesy of Wikipedia (here):

Robin Saunders

Posted 2009-12-14T06:04:14.923

Reputation: 1 434

15

In the movie category, I'm surprised that no-one has yet posted a link to Moebius Transformations Revealed.

Thierry Zell

Posted 2009-12-14T06:04:14.923

Reputation: 3 516

2But what does that movie prove? – Mariano Suárez-Álvarez – 2010-11-08T03:50:25.297

4@Mariano: it doesn't prove anything, but then again neither do any proofs without words. They merely give us insight into the proof, and in that respect, any movie has even more potential than a simple image. I think we will soon see very innovative approaches in movie-proofs. – Thierry Zell – 2010-11-08T03:59:36.233

1Very beautiful. I suppose it proves the usefulness of abstraction in obtaining unity – William – 2012-02-12T00:08:32.920

12

The area under a cycloid is three times the area of the generating circle. enter image description here

Thierry de la Rue

Posted 2009-12-14T06:04:14.923

Reputation: 381

How do you know each of the red bars of the football shape has exactly the width as the corresponding chord on the circle at the same height? – Jonah – 2017-09-24T07:02:30.957

11

Have a look at this document from an MIT-instructor: http://mit.edu/18.098/book/extract2009-01-21.pdf

vonjd

Posted 2009-12-14T06:04:14.923

Reputation: 3 017

11

  • The first homotopy group of SO_3 has an order 2 element (that's a classic).

  • The surface area of a quarter of the unit sphere is Pi via Gauss-Bonnet (My source is Ariel Shaqed - it should have been a classic, but no one I asked seems to knew it). The sphere is what you reach with a straight hand while standing still. Hold a Pencil in your hand, that's your tangent vector. Now parallel transport the pencil on a quarter sphere: it points in the opposite direction. QED

David Lehavi

Posted 2009-12-14T06:04:14.923

Reputation: 3 381

1

For SO(3) has order 2 element: http://gregegan.customer.netspace.net.au/APPLETS/21/21.html

– Dan Piponi – 2009-12-14T15:29:51.597

Indeed, but it's not the one I wanted.... – David Lehavi – 2009-12-14T20:27:14.783

7Place a glass on the open palm of your hand. You can, with a bit of practice, rotate the glass twice (but not once) around the vertical axis without spilling any liquid from it, and return to your original position. Each part of your body goes through a loop in SO_3. Moving from the shoulder via the arm to the glass, you get a homotopy essentially proving the theorem. I have seen dancers from somewhere in south-east Asia incorporating this move into their dance. – Harald Hanche-Olsen – 2009-12-14T21:21:05.860

David, it's not the one I wanted either :-) I wanted to find a video of Feynman himself doing the plate trick but there doesn't seem to be one online. – Dan Piponi – 2009-12-14T21:44:47.137

21Why are there so many words and so few pictures in this answer? – David Eppstein – 2009-12-14T23:07:14.833

4@David: well, you can think if this answer (or of Harald's comment, which gets my emphatic upvote) as a script for the choreography which, when acted out, is a proof without words :P – Mariano Suárez-Álvarez – 2009-12-15T00:00:19.940

2

It doesn't feature Feynman, but here's a video of a human doing the plate trick (just after 1 minute in): http://www.youtube.com/watch?v=CYBqIRM8GiY

– Harrison Brown – 2009-12-15T02:42:06.710

@Herald: thanks - thats the one I wanted. @David E. becasue for both of them you need a movie (and I didn't mennage to verbaly describe the SO_3 proof which Herald did). – David Lehavi – 2009-12-15T05:58:04.323

isnt this also showing about $\eta^2$? or rather $lim\pi_{n+1}(S^n)$? – Sean Tilson – 2010-03-05T20:23:41.600

10

enter image description here

From the book "Proofs without words", there are ton of others too but this one I had trouble proving in UG, so like it most.

Bhaskar Vashishth

Posted 2009-12-14T06:04:14.923

Reputation: 169

I like using $\int{-1}^01+r+r^2+\dots+r^{n-1}dr=\int{-1}^0\frac{1-r^N}{1-r}dr$, but this way is very much visual. – Simply Beautiful Art – 2016-11-15T23:24:35.060

10

Proof of the associativity law $f * (g * h) = (f * g) * h$ in the fundamental groupoid of a topological space:

enter image description here

You can find more of these diagrams in J. P. May's A Concise course in algebraic topology.

Martin Brandenburg

Posted 2009-12-14T06:04:14.923

Reputation: 31 905

9

The pathspace of any topological space is contractible.

Pf (as given in my homotopy theory class): slurp spaghetti.

Jon Cohen

Posted 2009-12-14T06:04:14.923

Reputation: 581

9

I like the tiling proof of the Pythagorean Theorem. The left image is credited to Al-Nayrizi and Thābit ibn Qurra (9th century) and the right by Henry Perigal (19th century).

**

Marc Chamberland

Posted 2009-12-14T06:04:14.923

Reputation: 157

I'm having trouble seeing a triangle (of the appropriate dimensions) in the Perigal tiling. – Gerry Myerson – 2012-08-20T22:46:51.617

Gerry, slide the red square to the left by half the side length of a white square. The segment connecting the two lower red corners is the hypotnuse, and the legs have lengths which are the widths of the two tiling squares. Yes, I know that sounds confusing. – Marc Chamberland – 2012-08-21T00:58:49.423

Thanks, Marc, not confusing at all. But I think if you have to add that to see that there's a triangle there, it's not really a proof without words. Well, at least, for me it's not a proof without words. – Gerry Myerson – 2012-08-21T05:33:55.287

9

I was somehow challenged by the idea: do more abstract topics allow proofs without words? I came out with this example. Of course, it is disputable if it is really "without words", since some words of explanation should be given (here they are: vertical segments represent Banach spaces and subspaces; connecting segments between two of them represent a linear operator. Italic letters $a,b,c,d,e$ are the dimensions of the corresponding linear subspaces).

enter image description here

Pietro Majer

Posted 2009-12-14T06:04:14.923

Reputation: 35 538

8

Also elementary, but here is a proof that

$C_n = \binom{2n}{n} - \binom{2n}{n+1} = \frac{\binom{2n}{n}}{n+1},$

where $C_n$ is the $n$th Catalan number.

http://utdallas.edu/~hagge/images/Catalan.pdf

Sorry for the link; new users may not use image tags.

Here's the image:

alt text

Tobias Hagge

Posted 2009-12-14T06:04:14.923

Reputation: 221

2Sorry for not noticing your question (much) earlier. The differences between adjacent terms in Pascal's triangle form another triangle which obeys the same generation rules. In my picture of that triangle, the yellow squares count some of the downward paths on a square grid which has been rotated $45^\circ$, namely those that never fall to the left of the top square. One definition of $C_n$ is that it is the number of such paths which terminate at the bottom corner of an $n \times n$ grid. – Tobias Hagge – 2010-10-26T05:46:50.083

4Do you have an explanation for the picture? I looked at it, and looked at it, and don't get it. – Willie Wong – 2010-03-11T16:38:45.703

7

Here you can find Grace Lin's proof without Words that The Product of the Perimeter of a Triangle and Its Inradius Is Twice the Area of the Triangle (see the figure below)

                                    Grace Lin's proof

The proof originally appeared in the 1999 October issue of Mathematics Magazine.

Zurab Silagadze

Posted 2009-12-14T06:04:14.923

Reputation: 9 584

7

$S^2 \vee S^1 \vee S^1$ is homotopy equivalent to the Klein bottle with self-intersection.

Loreno Heer

Posted 2009-12-14T06:04:14.923

Reputation: 254

7

Posted this quite a while ago on math.SE as an answer to https://math.stackexchange.com/q/733754/214353; I think it has a place here too.

$\hskip7em\phantom{\ }$ enter image description here

To be rigorous, it maybe only proves that $f(z):=\displaystyle\lim_{n\to\infty}\left(1+\frac zn\right)^n$ is $1$ at integer multiples of $2\pi i$ (perhaps also that $f$ is $2\pi i$-periodic), but does not give any insight into why $f(z)=\text{something}^z$; still...

I've seen it much better rendered once somewhere on the web but could not find it again, so tried to reconstruct it myself

მამუკა ჯიბლაძე

Posted 2009-12-14T06:04:14.923

Reputation: 7 451

7

There is a beautiful proof of the fact that a checkerboard with sides $2^{n}$, and one square removed can be tiled with $L$-shaped pieces formed by three squares. Given that a checkerboard of sides $2^{n-1}$ can be so tiled, then a square checkerboard of sides $2^{n}$ can be tiled by filling in the quarter in which the removed piece lies, and then placing an extra $L$-shaped tile with one square in each of the remaining three quarters.

Daniel Miller

Posted 2009-12-14T06:04:14.923

Reputation: 2 686

I first learned this in Dan Velleman's book "How to prove it." I'm not sure if he originated it or not. – Jim Conant – 2011-02-07T02:36:04.503

7

Can you tile an 8x8 chessboard with one corner cut off with dominoes of dimension 3x1?

alt text

This is a simple way to show that choosing a useful coloring can make a proof trivial.

This proof was also a result of the Conjecture and Proof class in the Budapest Semesters in Mathematics. It was one of the first problems encountered there, hence not that hard :)

JeremyKun

Posted 2009-12-14T06:04:14.923

Reputation: 331

1

See also: MESE 220.

– Benjamin Dickman – 2015-11-12T08:14:19.673

7

This proves the Minkowski version of the Pythagorean theorem:

enter image description here

$c^2 = a^2 - b^2$

Ron Maimon

Posted 2009-12-14T06:04:14.923

Reputation: 543

1

I suppose I should link to the physics stackexchange question that this came from: http://physics.stackexchange.com/questions/12435/einsteins-postulates-minkowski-space-in-laymans-terms/13621#13621

– Ron Maimon – 2011-08-23T21:48:49.590

1Dead link alert! – Simply Beautiful Art – 2016-11-15T23:22:18.310

6

There a proof of Erd˝os-Mordell Inequality 'without words' is an impressive one. Please follow the link http://forumgeom.fau.edu/FG2007volume7/FG200711.pdf

Sunni

Posted 2009-12-14T06:04:14.923

Reputation: 928

How is that "without words"? :-/ – Andrea Ferretti – 2010-03-05T17:23:11.933

If you observe carefully on the graphs, you don't even need to write a word. – Sunni – 2010-03-05T19:15:53.047

6

The idea is to prove things in ways that are obvious to different parts of your brain, right? Anyone found any "auditory proofs"? Some candidates -

  1. Nyquist sampling theorem?

  2. sin[a] + sin[b] = 2sin[(a+b)/2]cos[(a-b)/2]. If you use at and bt instead of a and b, you can translate that to show how the addition of two sine tones close in frequency can also be perceived as a modulation or "vibrato" around the centre frequency. The factor of 2 might be hard, though you can add a gain instead of 2 and show that the difference is silence when the gain is 2 :)

  3. Sampling in frequency domain (comb filter) is periodicity in time domain?

Here are some "audio illusions" though, for your amusement - http://www.youtube.com/watch?v=e6JSTkwXg90

Kumar

Posted 2009-12-14T06:04:14.923

Reputation: 1

1Are there more details on 1? 2 and 3 don't seem like proofs so much as examples, though maybe you are just putting them forth as challenges. – j.c. – 2010-03-07T11:54:57.253

5

This is apparently not was intended, but I think it qualifies. From Principia Mathematica: the proof of 1+1=2.

Chris Conway

Posted 2009-12-14T06:04:14.923

Reputation: 101

Which image? The second link is dead and the first has no proof-like images. – Simply Beautiful Art – 2016-11-15T23:26:42.327

1https://en.wikipedia.org/wiki/File:Principia_Mathematica_54-43.png – Chris Conway – 2016-12-04T04:46:49.040

5

Proof of the lantern relation (taken from the book: A Primer on Mapping Class Groups by Farb, B. and Margalit, D.)

Proof of the lantern relation

Loreno Heer

Posted 2009-12-14T06:04:14.923

Reputation: 254

5

enter image description here.
This is an example I did when I was in high school.
Let it be a unit disc, consider the length of horizontal line, we know Yellow=$2\cos \frac{3}{7}\pi$, Yellow+Green=$-2\cos \frac{5}{7}\pi$, Red+Green=$2\cos \frac{1}{7}\pi$.
Then 1=Red=Red+Green-(Green+Yellow)+Yellow=$2(\cos \frac{3}{7}\pi+\cos \frac{5}{7}\pi+\cos \frac{1}{7}\pi).$

Guo Qi

Posted 2009-12-14T06:04:14.923

Reputation: 158

I don't understand it. Seems like it does require some words... – Johannes Hahn – 2015-11-11T18:25:46.633

Sorry about that. Actually, I don't really know how to explain it well. – Guo Qi – 2015-11-12T06:08:50.667

5

I've tried to read carefully through all the posts here, and I think no one has mentioned the excellent book by R.B. Nelsen which contains many more such examples. I give here an explicit citation:

Nelsen, Roger B. Proofs without words: Exercises in visual thinking. No. 1. MAA, 1993.‏

Here is an example which I have recently used: cube is sum of consecutive odds

assaferan

Posted 2009-12-14T06:04:14.923

Reputation: 541

4

Nelson's book was already mentioned eight years ago (but without any illustrations): https://mathoverflow.net/a/8849 (and was the second answer to question).

– jeq – 2017-08-03T14:16:15.740

5

Rich Schwartz had on his site a great paper consisting of only a picture which proved that every right triangle admits a periodic billiard path. Unfortunately, he's since deleted it, so I can't post it here. (It shouldn't take too long for anyone interested to re-construct the proof, though.)

Aaron Mazel-Gee

Posted 2009-12-14T06:04:14.923

Reputation: 3 066

2I am guessing he did it by assembling four of the said right-triangles into a parallelogram. There is a path that bounces directly between the two longer sides. Mod out by the symmetry and you get a periodic path in the triangle. – Willie Wong – 2010-03-11T17:04:04.713

4

A 3D proof of a Fibonacci identity, that even includes a video:

enter image description here

VividD

Posted 2009-12-14T06:04:14.923

Reputation: 112

Link does not work. – ThiKu – 2015-05-14T08:57:12.190

You are right, I'll delete the link until I hopefully find working one, thanks. @ThiKu – VividD – 2015-05-14T09:00:36.247

1This isn't a Fibonacci identity per se; for all $a$ and $b$, $(a+b)^3 = a^3+b^3+3ab(a+b)$. – Steven Stadnicki – 2015-05-16T00:40:26.333

4

This image is a bijection between the puzzle rule and the semistandard tableau rule for Littlewood-Richardson coefficients. It is taken from this paper of Ravi Vakil, where it is attributed to Terry Tao.

The picture generalises to a bijection between rules in K-theoretic Schubert calculus, but I haven't seen a picture and don't currently have the patience to create one.

Peter McNamara

Posted 2009-12-14T06:04:14.923

Reputation: 5 136

too complicated.... – Turbo – 2017-10-24T21:16:42.087

4

A crucial step in proving the triangle inequality for the $L^p$ norms is to prove Young's inequality: $ab \leq \frac{a^p}p + \frac{b^q}q$ when $a,b>0$ and $p,q > 1$ are conjugate ($\frac 1p + \frac 1q=1$). This can be proved by comparing the areas in the following picture:

The graph of $y=x^{p-1}$

An easy calculus exercise gives the blue area as $\frac{a^p}p$ and the green area as $\frac{b^q}q$, hence their sum dominates the area $ab$ of the rectangle outlined in red.

I learned this proof from Cohn's measure theory book, where it appears as an exercise (in Section 3.3).

Vaughn Climenhaga

Posted 2009-12-14T06:04:14.923

Reputation: 5 922

You miss your graph.... – Hu xiyu – 2017-11-29T17:55:16.663

That's one way of establishing $ab \leq \frac{a^p}{p} + \frac{b^q}{q}$, but I find this easier to grok via convexity of the exponential function. – Todd Trimble – 2017-11-30T00:32:00.687

4

Let $0\leq x,y,z,t\leq1$ Prove that $x(1-y)+t(1-x)+z(1-t)+y(1-z)\leq 2$.

Draw a 1x1 square and mark in consecutive sides disjoint segments starting at the vertexes of lengths $x,y,z,t$. Joining the consecutive end points of the intervals that are not vertexes of the square form four triangles, the area of the triangles is the left hand side divided by 2, the area of the square is the right hand side divided by 2.

Anna Taurogenireva

Posted 2009-12-14T06:04:14.923

Reputation: 368

3This proof without words has an awful lot of them! – I. J. Kennedy – 2011-04-30T17:39:58.847

Indeed, there is a proof with only eleven words: rearrangement and arithmetic-geometric inequalities. (Details are left to the reader.) – dvitek – 2011-05-04T00:13:11.890

I don't think drvitek's proof makes sense. – darij grinberg – 2011-06-28T14:55:49.217

+1 It is quite a nice idea, if you actually do the drawing. – rem – 2014-06-17T10:23:37.297

4

alt text

The composition of two continuous mappings is continuous.

user11863

Posted 2009-12-14T06:04:14.923

Reputation:

3

Given three mutually tangent circles in the plane, there exist exactly two circles tangent to all three.enter image description here

Turbo

Posted 2009-12-14T06:04:14.923

Reputation: 3 300

3

Here are some dynamic versions:

http://www.math.utah.edu/~palais/sums.html (two of the summation formulas mentioned above)

Several belt, plate, and tangle trick animations:

http://www.math.utah.edu/~palais/links.html

A visual derivation of complex multiplication:

http://www.math.utah.edu/~palais/newrot.swf

Pythagoras in the Isosceles case, based on the Yale tablet:

http://www.math.utah.edu/~palais/PythagorasIsosceles.html

and the general case:

http://www.math.utah.edu/~palais/Pythagoras.html

Bob Palais

Posted 2009-12-14T06:04:14.923

Reputation: 1

There is an animation of the Dandelin Spheres construction depicted above in 3d-XplorMath in anaglyph 3d.

http://3d-xplormath.org/

Not really a proof, but visual descriptions of the relationship of cosine and sine curves and uniform circular motion:

http://www.math.utah.edu/~palais/cose.html http://www.math.utah.edu/~palais/sine.html

and epicycloids:

http://www.math.utah.edu/~palais/daledots.swf

– Bob Palais – 2011-02-07T04:04:45.257

2All the links in this post appear to be broken. – I. J. Kennedy – 2011-04-30T17:21:49.367

3

Interesting how everyone understands "proof without words" as "proof made of pictures". I read the title and immediately thought that every proof can be written without words, using just first order logic. I stopped there and thought that this is just another language, using different words - and I came to the conclusion that there can not be a mathematical proof without "words", because you have to get some information across! Sure, you can use different languages than English. But in the end, this boils down to the question, what is a word?

BTW: Unmentioned so far are category-theoretical proofs, which can sometimes be expressed very comprehensively as a sequence of diagrams. I am too lazy to look up a good example, because I already explained that I don't believe in the question.

Jesko Hüttenhain

Posted 2009-12-14T06:04:14.923

Reputation: 1 699

4Formulas (first order or what not) are just words written in abbreviated form. That really does not count... – Mariano Suárez-Álvarez – 2011-07-06T01:01:41.223

5So are pictures. That's my point. – Jesko Hüttenhain – 2011-08-09T17:35:58.247

5I doubt there is any sense in which one can formalize the notion, but I think it is pretty clear that a proof written in the first order calculus, or any other calculus, is simply not a "proof without words". You do not believe in the question, you say, but I honestly cannot understand what that can possibly mean: there is certainly something that gets the name proof-without-words (there is even a section in the MAA Monthly dedicated exclusively to this, and it has run for decades!) and most people ---while probably not being able to explain exactly what they are--- recognize them. – Mariano Suárez-Álvarez – 2011-09-16T17:33:15.167

On the contrary, I would say that any picture that is a rigorous proof must first be formalised in some sense, and will then most probably be in words of some form. – Manuel Bärenz – 2014-03-19T12:36:23.783

3

This is not entirely without words, but Byrne's edition of Euclid's elements has cut down the number of words to a bare minimum.

http://www.math.ubc.ca/~cass/Euclid/byrne.html

euklid345

Posted 2009-12-14T06:04:14.923

Reputation: 424

1This is not quite in the spirit of the question... – Mariano Suárez-Álvarez – 2011-09-16T17:27:30.643

3+1: Thanks for this wonderful and beautiful link (be it in the spirit of the question or not). – Hans Stricker – 2011-09-16T18:03:27.000

3

From Wikipedia: here is a "proof without words" of the Yoneda Lemma.

alt text

isomorphismes

Posted 2009-12-14T06:04:14.923

Reputation: 348

7This answer has already been proposed, and after some discussion it was more or less agreed that this is not a proof-without-words in standard sense of the term. – Mariano Suárez-Álvarez – 2011-10-01T23:45:59.713

2

Trig proof

A nice proof for trigonometric equation:

$\sin^2(x)+\cos^2(x)=1$

Mostafa Mirabi

Posted 2009-12-14T06:04:14.923

Reputation: 1 497

11This is an exhibit of the fact, but it isn't really a proof - it doesn't explain why those two functions sum to 1, just shows (arguably, just claims) that they do. You could replace the curve with any function $f$ with $f(\pi/2)=1$. – Steven Stadnicki – 2015-05-16T00:45:03.047

2@StevenStadnicki In fact, I'm pretty sure that the function in the picture is not $\sin x$, the inflection point has a sharper third derivative than it should (although I'm sure this is just a limitation of the means by which the picture was drawn). There is certainly nothing geometrical constraining the shape of the diagram. – Mario Carneiro – 2015-06-25T18:53:27.603

8However, this could be a nice proof of $\int{0}^{\pi/2}\sin^2 x\,\mathrm{d}x = \int{0}^{\pi/2}\cos^2 x\,\mathrm{d}x = \frac{1}{2}\left(\frac{\pi}{2}\cdot 1\right)$ – Machinato – 2016-07-18T13:29:47.897

Well this might be actually interpreted as a visualization of the fact that squaring a sine/cosine curve produces another (shifted up) sine/cosine curve, viz. $\cos^2(x)=\frac12(1+\cos(2x))$ and $\sin^2(x)=\frac12(1-\cos(2x))$; in this way it comes closer to be a proof of something. – მამუკა ჯიბლაძე – 2017-11-12T07:30:07.290

2

I suggest the videos of Viennot explaining the bijections between different families of objects counted by Catalan numbers:

http://www.xavierviennot.org/contscience/videos.html

user11235

Posted 2009-12-14T06:04:14.923

Reputation: 453

2

Here's a proof of the area of a circle (or sector) which is different from the one posted previously.

EDIT: I was unable to embed the file, which is in pdf form. Here is a link:

http://wildpositron.files.wordpress.com/2011/04/sectorarea2.pdf

I discussed what goes into making the proof complete to show that the map preserves area on my blog here (it requires just another picture or two, but it's essentially still only a geometric argument):

http://wildpositron.wordpress.com/2011/04/05/calculating-the-area-of-a-sector/

enter image description here

Phil Isett

Posted 2009-12-14T06:04:14.923

Reputation: 1 443

2

For $0 \lt k \lt n$,

$$\binom{n}{k} = \frac{n}{n-k}\binom{n-1}{k}$$


How k-subsets of [n], marked dark green in the rows, come from k-subsets of [n-1] after n-fold duplication and rearrangement:

alt text Exactly $n-k$ times:

alt text
By induction, a base case, and taking $k=n$ and $k=0$ for granted: $$\binom{n}{k} = \frac{n}{(n-k)} \frac{(n-1)!}{(n-1-k)!\ k!} = \frac{n!}{(n-k)!\ k!}$$

Roberto Mizzoni

Posted 2009-12-14T06:04:14.923

Reputation: 61

For me the standard argument is just as visual, and clearer: I have n!/(n-k)! ordered lists of length k with no repetitions from an alphabet of n letters. If I group together all words using the same letters, there are k! members of each group, hence n!/(n-k)!(k!) groups. Each group corresponds to an unordered list. – Steven Gubkin – 2012-02-15T15:05:02.013

I find it just as visual, and very clean, but even harder to depict. – Roberto Mizzoni – 2012-02-15T21:05:31.617

-4

This is a "proof without words" by an equation, not a picture.

Three complex numbers $a,b,c$ in the complex plane form the vertices of an equilateral triangle if and only if $~a^2 + b^2 + c^2 = ab + bc + ca$:

$$ $$

$$ \hspace{-3in} 2 |a^2 + b^2 + c^2 - ab - bc - ca|^2 $$ $$ = ( |a-b|^2 - |b-c|^2)^2 + ( |b-c|^2 - |c-a|^2)^2 + ( |c-a|^2 - |a-b|^2)^2 . $$

Marc Chamberland

Posted 2009-12-14T06:04:14.923

Reputation: 157