28
$\begingroup$

There are many proofs where the whole idea can be expressed by a picture and often naturally translated into a correct formal proof.

Often one has to argue with students that a picture is not a proof (but a good thing to get a proof started).

What is the most impressive (but at most undergraduate level) example, where the picture-proof seems okay, but the formal proof goes wrong, to convince a student in paying attention to do a formal proof?

$\endgroup$
5
  • $\begingroup$ I remember once hearing about one of the "great" mathematicians (I think it was Gauss) doing a picture proof and getting it wrong. I believe the error was that he missed a "hole" in a 3D object. Does anyone know what I am talking about?... $\endgroup$
    – user1729
    Commented Mar 21, 2014 at 9:46
  • 1
    $\begingroup$ @user1729 Why not ask that as a new question, maybe on math.se or the relevant history site? $\endgroup$
    – Tommi
    Commented May 9, 2017 at 10:47
  • $\begingroup$ I think we are completely missing the "Didn't think of all cases" situation. I will try and come up with an example but I think other than limit type situations it is the most common one. $\endgroup$
    – DRF
    Commented May 12, 2017 at 14:05
  • $\begingroup$ This duplicates math.stackexchange.com/q/743067. $\endgroup$
    – user155
    Commented Nov 27, 2021 at 20:37
  • $\begingroup$ There is a nice counter-example to Morley's theorem in hyperbolic geometry, given around 20.50 in this lecture "Langage mathématique" by Alain Connes (2018). $\endgroup$
    – Watson
    Commented Feb 11, 2022 at 9:43

11 Answers 11

32
$\begingroup$

This one can be presented to students at any level, really, although the way to explain "repeat to infinity" will certainly change for your audience. It can be used to teach them that weird things happen with limits and we can't just pass things through to the other side. It's also a good way to jumpstart a discussion of definitions: what's a proper way to define "convergence" here? Does it really converge to the circle?

enter image description here

$\endgroup$
9
  • 5
    $\begingroup$ You could also do something similar to "prove" that the real Pythagorean theorem is $a+b=c$ $\endgroup$ Commented Mar 20, 2014 at 20:49
  • 2
    $\begingroup$ similarly, by considering a straight line from $(0,0)$ to $(1,1)$, you an 'show' $\sqrt 2=2$. $\endgroup$ Commented Mar 20, 2014 at 21:23
  • 1
    $\begingroup$ @TimSeguine: In the taxicab metric, the Pythagorean theorem is $a + b = c$. $\endgroup$
    – Vectornaut
    Commented Nov 24, 2015 at 0:21
  • 2
    $\begingroup$ @Vectornaut I honestly hadn't ever heard anyone talk about the Pythagorean theorem outside of the context of inner product spaces, because there you have the concept of orthogonality. In a general metric space, how do you define what a "right triangle" is? $\endgroup$ Commented Nov 24, 2015 at 11:44
  • 1
    $\begingroup$ @TimSeguine, you're right—I should have said the taxicab norm. I was thinking of "Pythagorean theorem" as synonymous with "distance formula": the formula that gives you the norm of a vector in $\mathbb{R}^n$ in terms of its coordinates. In the Euclidean norm, the distance formula is $\|v\|^2 = |v_1|^2 + \ldots + |v_n|^2$, while in the taxicab norm, it's $\|v\| = |v_1| + \ldots + |v_n|$. Sorry about the sloppy language! $\endgroup$
    – Vectornaut
    Commented Nov 24, 2015 at 20:33
24
$\begingroup$

The Curry Paradox is a classic. This animation resolves it:

enter image description here

$\endgroup$
1
  • $\begingroup$ Can you please tell me how do you do such animations? What app/site do you use? And how is the best way for me to learn it? $\endgroup$ Commented Sep 26, 2019 at 9:15
12
$\begingroup$

This one can be shown to any student that understands the distance formula, and has a willingness to think about $n$-dimensional space for $n>3$.

(It is, more specifically, an indication that "inducting on pictures" is invalid, and less so of a "pay close attention to the picture". But I think it's striking enough to warrant inclusion here.)

Draw four circles with $r=1$ on the plane at the points $(\pm 1,\pm 1)$. Draw the box which perfectly encloses these circles, i.e. a square with side length 2. Now, draw a circle that is tangent to all four of the circles. Notice that this circle is inside the box.

You can repeat this for $n=3$. Draw spheres with $r=1$ at the eight points $(\pm 1,\pm 1,\pm 1)$. Draw the box that encloses these, i.e. a cube of side length 2. Now, draw a sphere that is tangent to all those spheres. Again, you can see it sits inside the box.

Repeat this in higher dimensions. When you get to $n\geq 10$, the "inner" sphere leaks outside the box!

$\endgroup$
1
  • 1
    $\begingroup$ (1) I believe this puzzle has a slight error. The corners of the square are $(±2,±2)$, so the side length is 4. Even Saurabh Joshi’s blog talks about “side-length 4” in the sixth and seventh paragraphs. (2) “Draw a circle tangent to all four circles” is ambiguous. The blog describes “this tiny gap around the origin” and says “Put the largest possible circle there that touches all these other circles.” When I read what you wrote, I visualized a circle of radius $\sqrt2+1$ that enclosed the four smaller circles. $\endgroup$ Commented Nov 5, 2014 at 15:45
10
$\begingroup$

Not exactly an answer to your question, but my favorite example where a picture proof can go wrong is the fake proof which shows that every triangle is isosceles.

$\endgroup$
9
$\begingroup$

The missing square puzzle is a nice one. Maybe it doesn's fit your question perfectly, since no one would use this for a proof. But you might take it as a proof for the theorem, that the area of a triangle is not well-defined.

enter image description here

See wikipedia. However, this parallels András Bátkais answer.

$\endgroup$
7
$\begingroup$

Maybe, one could argue that $f(x)=x^2-2$ has a rational zero using the number line. Just imagine its graph in $\mathbb{Q}^2$. You cannot "see" whether the completeness axiom of $\mathbb{R}$ is given or not. Historically, this problem was fixed by introducing the completeness axiom. Maybe many problems of "proof by picture going wrong" were solved by choosing the right axioms.

$\endgroup$
6
$\begingroup$

Another famous example is cutting the chocolate bar to increase its size, like in this example.

Since essentially the same answer has been given afterwords by others, let me add an other one in the same spirit which is a fake picture proof of the Pythagorean theorem.

$\endgroup$
2
  • $\begingroup$ That first one had an unexpected ending! $\endgroup$ Commented Mar 20, 2014 at 21:07
  • $\begingroup$ @brendansullivan07: Yes, I should remove the link I believe... I did not read the page through, was happy that long googling gave me that animation. $\endgroup$ Commented Mar 20, 2014 at 21:09
6
$\begingroup$

I found a page with a few fallacious geometric proofs:

They both rely on inaccurate drawings of a geometric construction.

$\endgroup$
5
$\begingroup$

If this is already posted, my apologies, but, I didn't see it. I'm fond of this example as a warning against following intuition through limits:enter image description here The idea is that if you follow the purely horizontal or purely vertical paths in a manner which goes like a staircase from bottom to top then the total path length is always $3+4$. Imagine this picture continuing to make the stairs close to the hypotenuse smaller and smaller then as this process continues we obtain stair-steps arbitrarily close to hypotenuse. But, the path length of this sequence of paths is the constant $7$. The limit of a constant sequence is constant hence the length of limiting path of the sequence of paths must also be $7$. Furthermore, intuitively it is geometrically clear from the picture the path limit is identical to the hypotenuse. The length of the hypotenuse is given by $\sqrt{3^2+4^2} = 5$. Thus we have proved, $5=7$.

Of course this is not my idea, I'm not sure where this originates. Another nice picture for this is found at futility closet, pthagoras disproved. I like setting $a=3$, $b=4$ to make it easier for students to follow.

$\endgroup$
4
$\begingroup$

I believe the following "common false belief" suggested by Tao as an answer to this now famous Gowers' MO question can be also mentioned here.

The closure of the open ball of radius r in a metric space, is the closed ball of radius r in that metric space.

I guess if you check other answers of the Gowers' question, there would be some more of these.

$\endgroup$
0
$\begingroup$

I am very curious to learn the flaw in a Beth El "positive real numbers as pairs of reciprocals" diagram which seems to imply there are right triangles to which the Pythagorean Theorem may not always apply. More specifically, the diagram at HTTP//Mobius-ity.us/BENums.png uses an unorthodox but seemingly mathematically valid way of portraying the positive real number line. It does so by using a horizontal base part of the positive real number line that goes from 0 and comes to 1 and then it coninues on up by using a vertical elevation part of the positive real number line that vertically goes from 1 and comes towards infinity.

If, e.g., per the diagram, you use the value x=2, you get a 1/2, 1, 2 right triangle, one for which the length of its hypotenuse seems to be the taxicab metric 2 - 1/2, not the Pythagorean length. That seems to be so because each such right triangle's three vertices are by definition on a single one-dimensional line, even though that line looks two-dimensional IF and when you choose to disregard the important fact that the right side of each such triangle begins at 1 and not 0.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.