I am supposed to present a mathematical proof to a lecture hall full of doctors in order to show them how mathematicians think. I'm having trouble picking a proof that will be easily followed by people who haven't seen anything beyond basic calculus in years. Does anyone have any suggestions? I'm trying to think of something visual to keep their attention.
Proof that doctors could relate to
895 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail AtThere are 9 best solutions below
On
My go-to example of this type is the following problem: It's easy to see how to cover a chessboard with 32 dominoes, each of which covers two adjacent squares. Suppose the chessboard has two diagonally opposite corners deleted. Is it possible to cover the remaining 62 squares with 31 dominoes?
If you try it, you quickly find that it is much more difficult than covering the full chessboard, although you might not be convinced that it was impossible. But it isn't possible. Each domino covers one black and one white square, so the 31 dominoes must cover 31 black and 31 white squares. But the mutilated chessboard has 32 squares of one color and only 30 of the other color.
I think anyone can understand this—and I have presented it to administrative assistants with no mathematical training who understood it right away—but I think it perfectly captures the essential feature of mathematics, which is that we don't consider all the possible ways of placing the dominoes one at a time, but instead we find an underlying regularity of structure and show that the solution, if it existed, would require a different kind of structure.
On
A result which is visual, simple but non-trivial is the theorem in elementary geometry that says
The angle subtended by a chord of a circle at a point on the circumference is invariant for those points which are located on the same side as the chord.
Stick to the easiest case! Don't bewilder your audience with complexity.
Explain how initially one cannot see how to get a grip on this. Then bring in the relevance of the unique center of symmetry which makes the circle a very special figure. Join the points to the center, and draw attention to the isosceles triangles. Apply the exterior angle theorem, which you have already introduced as an easy lemma during a discussion of the measurement of angles.
The above analysis shows that the angle subtended at the circumferences is a half the angle subtended at the center. We have found the required invariant.
Finally invoke Euclid's axiom "Things which are equal to the same thing are equal to one another". This proof shows that Euclid's axiom is not merely a rigorous definition but also often is the source of a useful heuristic approach to finding a route towards a proof of equality, isomorphism etc.
As an introduction doctors might warm up to the idea that both mathematics and medicine were respected disciplines in ancient Greece.
On
Claim: $1+1/2+1/3+1/4+\ldots=\infty$. [sic!]
Proof:
\begin{align*} &\,1+\frac{1}{2}+\underbrace{\frac{1}{3}+\frac{1}{4}}+\underbrace{\frac{1}{5}+\frac{1}{6}+\frac{1}{7}+\frac{1}{8}}+\underbrace{\frac{1}{9}+\ldots\frac{1}{15}+\frac{1}{16}}+\underbrace{\frac{1}{17}+\ldots+\frac{1}{31}+\frac{1}{32}}+\ldots\\ \geq&\,1+\frac{1}{2}+\underbrace{\frac{1}{4}+\frac{1}{4}}_{\text{2 terms}}+\underbrace{\frac{1}{8}+\frac{1}{8}+\frac{1}{8}+\frac{1}{8}}_{\text{4 terms}}+\underbrace{\frac{1}{16}+\ldots\frac{1}{16}+\frac{1}{16}}_{\text{8 terms}}+\underbrace{\frac{1}{32}+\ldots+\frac{1}{32}+\frac{1}{32}}_{\text{16 terms}}+\ldots\\ =&\,1+\frac{1}{2}+\left(2\times\frac{1}{4}\right)+\left(4\times\frac{1}{8}\right)+\left(8\times\frac{1}{16}\right)+\left(16\times\frac{1}{32}\right)+\ldots\\ =&\,1+\frac{1}{2}+\frac{1}{2}+\frac{1}{2}+\frac{1}{2}+\frac{1}{2}+\ldots\\ =&\,\infty. \end{align*} Bam! Lecture hall full of doctors shocked! $\quad\blacksquare$
Then show numerical examples to further convince them on the intuitive level that the harmonic series actually does diverge, albeit very slowly. For example: \begin{align*} \sum_{k=1}^{10}\frac{1}{k}\approx&\,2\mathord.93,\\ \sum_{k=1}^{100}\frac{1}{k}\approx&\,5\mathord.19,\\ \sum_{k=1}^{1000}\frac{1}{k}\approx&\,7\mathord.49,\\ \vdots&\,\\ \sum_{k=1}^{10^6}\frac{1}{k}\approx&\,14\mathord.39,\\ \vdots&\,\\ \sum_{k=1}^{10^{100}}\frac{1}{k}\approx&\,230\mathord.84\\ \vdots&\,\\ \sum_{k=1}^{10^{(10^6)}}\frac{1}{k}\approx&\,2\mathord,302\mathord,586\\ \vdots&\, \end{align*}
On
I like Euclid's proof that there are an infinitude of primes. It demonstrates a couple useful ideas such as "proof by contradiction" but also allows you to make the point that a proof of existence doesn't necessarily give you an (easy) way to generate all the primes. I think medical doctors can appreciate the fact that just because something is theoretically possible (like curing cancer) does not mean that there are effective or practical methods to do so.
On
You could pose a problem similar to the seven bridges of Königsberg. Think about some nice description of a problem that translates into finding an Eulerian path in a graph. Then choose a graph that has $4$ vertices of odd degree and prove that such a graph doesn't admit a Eulerian path. Alternatively, you could also show that a certain graph doesn't admit a Eulerian cycle.
There are also a lot of problems that can easily be solved by finding a suitable invariant. For example, consider this problem that was posed in the first round of the Bundeswettbewerb Mathematik 2011:
Ten bowls are placed in a circle. We fill these bowls clockwise with $1, 2, \ldots, 10$ marbles. In each turn you are allowed to either remove or add two marbles into two adjoint bowls. Is it possible to get exactly $2011$ marbles into each bowl after applying finitely many turns?
The answer:
It is not possible. Note that there are $1 + 2 + \ldots + 10 = 55$ marbles in the beginning, but in each turn you can only add or remove an even number of marbles. This means the total number of marbles after each move is always odd, but if each bowl contains $2011$ marbles, we have a total of $20110$ marbles. Since this is even, this state can't be reached in finitely many turns.
To keep it more visual, you can of course adjust the number of marbles and bowls.
Another interesting example might be simple games. There are a lot of games that can be explained simply, but have a "hidden mathematical twist" which gives one of the players a winning strategy. Nim is an example of such a game, though the math behind it might take a while to explain.
Last but not least, you might impress your doctors with some "mathematical magic".
On
If these are medical doctors, I think something to do with Simpson's paradox, especially as it relates to the (mis)interpretation of medical studies, would be appropriate.
On
Bayes' theorem!
If a test for a disease is $99$% accurate, and $1$% of the population has a disease, what is the probability that someone who tests positive for the disease actually has the disease?
On
How bout the good ol' introductory proof by induction: can you get to the top of a ladder if you start at the bottom and take an additional steps until you reach the top? (The base case is going from step 1 to step 2; inductive assumption that you can get to step k; you can get to step k + 1 from step k by taking one step.)
It's basic, tangible, and requires minimal math (adding one), yet shows you the logic behind a certain type of proof.
Why not stick with a classic proof by contradiction of the irrationality of $\sqrt 2$? It is short and illustrates nicely the logical point.
It is also relatively straightforward to draw a parallel to the scientific method and the 'Popper/Quine criterion': a hypothesis tested and then disproved by experiment; or in medical terms, a tentative diagnosis of a patient disproved by a further measurement or test.
What is interesting about the analogy is how it breaks down. Unlike in a science, in mathematics we can make such an argument on strictly logical grounds alone.