# A mathematician walks into a bar.

Infinitely many mathematicians walk into a bar. The first one walks up to the bartender and says “I’ll have a pint.” The second one says “I’ll have half a pint.” The third one points to the second mathematician and says “I’ll have a quarter of a pint”, and so on. The bartender says “You’re all bastards” and pulls out two pints.

One of the biggest obstacles in studying Calculus for the first time is grappling with the possibility that you can add together infinitely many positive numbers and not get infinity. Today I want to talk about the most basic sorts of these cases. In this post, intended for the non-mathematician, I’ll talk about geometric series by dissecting the joke above.

The first mathematician orders $1$ pint, the second mathematician orders $1/2$ a pint, the third mathematician orders $1/4$ of a pint, and so on. At this rate, the $n$-th mathematician orders $\left(1/2\right)^{n-1}$ of a pint. To grapple with the total amount of beer ordered by all of the mathematicians, which we’ll call $S$, let’s first calculate how much total beer is ordered after the $n$-th mathematician has ordered. Let’s call this quantity $S_n$.

$S_n=1+1/2+1/4+\cdots+(1/2)^{n-1}$

If we multiply both sides by $1/2$ and distribute, we see that

$(1/2)S_n=(1/2+1/4+\cdots+(1/2)^{n-1})+(1/2)^{n}$

Now the portion inside the parentheses is just $S_n-1$ (check this!), and so

$(1/2)S_n=(S_n-1)+(1/2)^n$

Solving for $S_n$, we see that

$S_n=\frac{1-(1/2)^{n}}{1-\frac{1}{2}}$

Since $S_n$ denotes the total amount of beer ordered by the first $n$ mathematicians – to determine how much beer is consumed by all of the mathematicians, all we need to determine is what the sequence of numbers $S_1,S_2,S_3,\dots$ tends to as $n$ tends to infinity. Notice that when $n$ gets larger and larger, the term $(1/2)^n$ gets smaller and smaller – and tends to zero. So, using the notation adopted above,

$S=\lim\limits_{n\to \infty}S_n=\lim\limits_{n\to \infty}\frac{1-(1/2)^{n}}{1-\frac{1}{2}}=\frac{1-0}{1-\frac{1}{2}}=2$

Thus, collectively, all of the mathematicians ordered $S=2$ pints.

The infinite sum, or “series”, we constructed above is called a geometric series. Why? Because the ratios of successive terms is constant:

• $1/(1/2)=2$,
• $(1/2)/(1/4)=2$,
• $(1/4)/(1/8)=2$, and so on.

Geometric series are the easiest series to deal with because, using the same methods above, they’re very easy to calculate. Indeed, if $-1, we have that

$1+r+r^2+r^3+r^4+\cdots=\frac{1}{1-r}$

To test your understanding – try to replicate the argument used to explain the joke above to prove this [above we took $r=1/2$]. Also, try to see why the argument fails when $r\le -1$ or $r\ge 1$.

That’s about it for geometric series. The inspiration for this post came from telling this joke in my calculus class today and none of my students getting it at first. All of them are assigned to read this post. For those mathematicians who stuck around until the end:

Infinitely many mathematicians walk into a bar. The zeroeth one walks up and says “I’ll have a pint. The first one walks up to the bartender and says “I’ll have a pint too.” The second one says “I’ll have half of what he had” The third one points to the second mathematician and says “I’ll have a third of what the second guy had”, and so on. The bartender says “You’re all bastards” and pulls out $e$ pints. Classic.

## 3 thoughts on “A mathematician walks into a bar.”

1. Infinitely many mathematicians walk into a bar. The zeroeth says “I’ll have a pint.” The first says, “I’ll have $2\pi\cdot i$ pints.” The second says “I’ll have $-2\pi^2$ pints.” The third says “I’ll have $-4\pi^3 i/3$ pints\$, and so on. The bartender says “You’re all bastards,” and pulls out a pint.