17

Today I realized that many of my students in an upper-division undergraduate (projective) geometry class don't really understand how to use pictures in proofs. Some draw no pictures at all, making their proofs nearly impossible to read; some oppositely draw a picture but don't explain it at all; and others try to explain their picture but get confused about things like which elements of the picture are givens and which are constructed.

Now that I've noticed this problem, it seems obvious and that I should have expected it. Probably no one has ever taught them how to use pictures in proofs! I can't remember ever seeing this topic discussed in a logic textbook or an introduction-to-proofs class. And the correct use of pictures in proofs is actually a very subtle thing, e.g. how a picture should be "generic" so as to not give false intuitions.

Can anyone point to any good resources (books, papers, web pages, videos, whatever) that teach students how to use pictures in proofs?

Mike Shulman
  • 6,560
  • 21
  • 53

2 Answers2

6

The first thing comes to (my) mind is Proofs without Words I (Exercises in Visual Thinking) and II (More Exercises in Visual Thinking).

Also you (not your students) might find interesting the section "Visualization and Diagrammatic Reasoning in Mathematics" of the chapter "Proof: Its Nature and Significant" of the book "Proofs and other Dilemmas: Mathematics and Philosophy".

I'll try to add to this list later on.

Again you might find this one worthy of reading: "Visual Thinking in Mathematics An Epistemological Study"

The videos used in this personal website about projective geometry might be handy to show your students some pictures hoping that they use them in proof.

Amir Asghari
  • 4,428
  • 17
  • 40
1

This is not an answer to your question (sorry!), but rather two example books that to me illustrate(!) the power of pictures in proofs:

(1) Tristan Needham, Visual Complex Analysis, Oxford Univ. Press.


           Needham cover

(2) Nathan Carter, Visual Group Theory, MAA.


           CarterImage
Joseph O'Rourke
  • 29,827
  • 6
  • 61
  • 140
  • I have thought about buying the Visual Group Theory before. Is it worth the money? I have an old Frayleigh book. – Karl Oct 09 '15 at 19:37
  • I love it, but I'm a fool for illustrations. :-) – Joseph O'Rourke Oct 09 '15 at 19:49
  • I love Visual Complex Analysis, but I wouldn't think it is a good place to learn about the use of pictures in proofs, because it is deliberately written without any attention to rigor in proofs at all. – Mike Shulman Oct 09 '15 at 23:09