Intuition

9.1 INTRODUCTION
- 9.1.1 The Essence of Intuition
- 9.1.2 Mathematical Intuition
9.2 SEMINAR
EXERCISES

9.1 INTRODUCTION

**Figure 1.** If you look up the word "intuition", you inevitably get to the Einstein quote **"The only real valuable thing is intuition"**. This widely quoted sentence seems not to have any source in Einsteins work. The quote appears in a book **"The psychology of conciousness"** of 1973 by Robert Even Ornstein. In the 1986 edition of the book, the quote is gone. It is questionable that Einstein should have said this: intuition without knowledge and technique mastery is of little value, as it is as vague as the "sixth sense" or "gut feeling". Photo: Nobel foundation archive. Einstein was awarded the prize in 1921 and received it in 1922.

9.1.1 The Essence of Intuition

Intuition is a mysterious notion in psychology. Ask a different school of psychology or go to a different culture and intuition will be understood in different ways. It is sometimes even linked to spirituality or religion. In mathematics, good intuition is usually thought of as the ability to "gain insight" or "see structures", sometimes an ability to be "creative". One attempt for definition is "understanding without conscious reasoning". Intuition can also be dangerous. An intuitive argument is not a proof for example, even if it might lead to a rigorous proof eventually. Extremely intuitive thinkers are sometimes also self-delusional. This is illustrated by the existence of extremely intuitive proofs of major open problems, but they are usually simply wrong.

9.1.2 Mathematical Intuition

What is intuition then? René Descartes tried to formulate it in his treatise "Rules for the Direction of the mind" written between 1619 and 1628. Rule 12 in that document tells "Finally we ought to employ all the help of understanding, imagination, sense and memory, first for the purpose of having a distinct intuition of simple propositions". For Descartes therefore, intuition has various components including understanding, imagination, sense and memory. This is a rather modern notion. A computer scientist can argue that computers already can be intuitive: the proof is by evidence only but we have seen in chess for example that computers have surpassed any human chess player. The last attempts by world chess champions to win against a machine failed. Since then, human-machine chess matches are all handicap variants, where the human is given a substantial advantage. And chess is a game where intuition is important.¹

9.2 SEMINAR

9.2.1 Intuition in Historical Perspective

Despite all what has been said in the introduction, it is important in mathematics to gain "intuition" about objects, about definitions and about theorems and proofs. One way to see intuition is to see it as a mnemonic device which allows to understand things in a way which is better to remember. It also gives us pointers where we have to be careful. Non-intuitive results can also lead to intuition in other areas. An example from probability theory is the non-intuitive result that if you have a class of students, the probability that two have the same birthday is more than a half. This is the birthday paradox. Indeed, the probability that none of them has the same birthday is Now, once you have seen this, you have gained intuition about conincidences. They happen much more than we believe is reasonable. We can now take this to our advantage and design algorithms which gives us a result if two events collide. This has been used in cryptology for example. We can design algorithms which can pick a lock much faster than we believe is possible.²

9.2.2 The Role of Intuition in Mathematics

Now, rather than telling how to get intuition, it is maybe better to look at cases where intuition fails. This can then turned around and allows us to elevate our intuitive understanding. We will illustrate pitfalls with intuition by showing that intuitive notions can also mislead. We can state "false theorems" which we would believe to be true but which are false. We start with the notion of "continuity" for which an intuitive definition tells: we can "draw the graph of a continuous function without having to lift the pen". Of course, we can not work with this definition to prove theorems. It is a good intuitive notion although and provides some sort of "proto understanding". If you want to probe your notion of understanding about continuity, ask yourself whether the function is continuous or not everywhere.

9.2.3 Misleading Nature of Intuition

Starting with Cauchy and pushed heavily by Weierstrass, continuity is defined precisely using the infamous definition: is continuous at , if for every there exists such that if , then . Using more fancy mathematical quantifier notation (for all) and (exists) and (implies) and (is element of) you can impress your friends (and annoy readers and graders) by writing The fact that his definition is not intuitive at all and that most students just learn this "epsilontic" by intimidation is illustrated by the following variation by Ed Nelson³ We make it our first exercise:

Problem A: What does the following statement mean?

9.2.4 Defining Continuity Beyond Intuition

In the Monday lecture we have seen how a polygonal approximation of a curve allows to compute the arc length of a curve. Here is a first "anti-theorem". Your task is to figure out what is wrong.

9.2.5 Challenging Our Intuitive Understanding

We compute the circumference of a circle by a polygonal approximation. The following statement uses the intuition that if a polygon is close to a curve, then its length is close to the curve:

**Figure 2.** The circumference of a circle is .

9.2.6 The Circumference of a Circle Revisited

This leads to the following anti-theorem:⁴ A continuous planar curve is a function , where both functions are continuous functions.

False Theorem: The circumference of the unit circle is .

Problem B: What is wrong with the argumentation?

9.2.7 Arc Length of Continuous Curves

We could also think that the arc length of a continuous curve is finite.

False Theorem: The arc length of a continuous curve is finite.

**Figure 3.** The first approximations of the Koch snowflake.

Problem C: Find a formula for the length of the ’th Koch curve approximation if initially, the triangle has side length .

9.2.8 Challenging Continuous Curves

If a curve has the property that and stay bounded and have no jump discontinuities, we would think that the curve is continuous.

False Theorem: A bounded curve without jumps is continuous.

9.2.9 The Devil’s Comb

A counter example is the devil comb for . It does not have a jump discontinuity and it is bounded. The function is not defined at but we can define to make it defined anywhere on .

Problem D: Why is this function not continuous at ?

9.2.10 Continuity and Differentiability

Finally, we could think:

False Theorem: A continuous function is differentiable at some point.

9.2.11 Weierstrass Function

A counter example was given by Weierstrass. It is called the Weierstrass function. G.H. Hardy proved in 1916 that the function does not have any point of differentiability if .

**Figure 4.** The Weierstrass function for , displayed on .

Problem E: Show that .

**Figure 5.** The "Hue curve" in color space. It will appear in the assignment.

9.2.12 The Challenge of Morley’s Theorem

Lets look at the Morley theorem in planar geometry. It tells that in any triangle, the angle trisector intersections are an equilateral triangle. Can you find a proof? Don’t try. Without looking it up, finding an intuitive proof is very, very hard.

**Figure 6.** The **Morley theorem** has a short and intuitive proof. But it is hard to find.

9.2.13 Continuity of : A Closer Look

Finally we come back to the question early on whether the function is continuous. The answer is yes. The function is not continuous as we can find arbitrary small for which the function is and arbitrary small for which the function is . For the function however we can say that . So, if is small, also is small. If you want to check your intuition with formal statements: given any we can find a (namely ) such that if then .

EXERCISES

Exercise 1. Prove that there was a time in your life when the length of your largest tooth in millimeters was your height in meters.

Exercise 2. Is the function continuous everywhere if we assume ? Intuition is a bit harder here as we divide over at the origin and are in two variables. In either case, give a reason for your answer. You can already use polar coordinates , . Coordinates will be talked about more next week.

Exercise 3. Use the intermediate value theorem to derive Rolle’s theorem using an "intuitive" argument: if is continuously differentiable (meaning is continuous) and , then there exists a point in with .

Exercise 4. A cylinder of radius and height is approximated by a polyhedron with triangles of size . If is the polygonal approximation. Does the surface area of the polyhedron and the surface area of the surface satisfies ? Give an example where the answer is yes.

Exercise 5. As a continuation of 9.4, there is a Chinese lantern type construction which shows that is wrong in general. Look the construction of the Schwarz lantern from 1880 up and describe it.

"The Queen’s gambit" illustrates that not only intuition but hard work, training and memory matters.↩︎
The Pollard rho method is such an application to factor large integers.↩︎
E. Nelson, Internal set theory: A new approach to nonstandard analysis, 1977↩︎
Again thanks to Jun Hou Fung for suggestion.↩︎

Table of Contents