34
$\begingroup$

Pi appears a LOT in trigonometry, but only because of its 'circle-significance'. Does pi ever matter in things not concerned with circles? Is its only claim to fame the fact that its irrational and an important ratio?

  • 2
    I'd rather this be a comment instead, so: $\pi$ turns up in the expression for the so-called "probability integral" (a.k.a. the "error function") among other things. How circles relate to this is a bit of a long-winded explanation though.2010-08-26
  • 4
    Have you read http://en.wikipedia.org/wiki/Pi#Use_in_mathematics_and_science ?2010-08-26
  • 16
    Also, let's get one thing straight here: circles are _eerily important._ You will never stop running into circles in mathematics.2010-08-26
  • 5
    (For example, although the Fourier transform is "concerned with circles" (functions on the circle being the same thing as periodic functions) it penetrates into the deepest parts of modern mathematics. Many appearances of pi are because of a Fourier transform lurking somewhere in the background. You might also want to read this MO thread where I asked a similar question: http://mathoverflow.net/questions/18180/what-are-some-fundamental-sources-for-the-appearance-of-pi-in-mathematics)2010-08-26
  • 0
    Qiaochu: good that you linked to it; I like gowers's "circles and rotations appear a lot."2010-08-26
  • 4
    Fundamental source of $\pi$ is circle nothing else. It may be difficult to find it but it is always there.2010-08-26
  • 0
    are any of these places simplified by replacing π with τ/2? http://tauday.com/2011-03-23
  • 0
    Since you can define $\pi$ to be the ratio of a circle's circumference to its diameter, you can always reverse-engineer some context in which $\pi$ appears to get something to do with circles. **Proof:** Suppose we have some interesting fact about $\pi$, and let $P$ be a totally self-contained proof of that fact. Then there must be a first statement $s$ in $P$ at which the number $\pi$ appears. Now suppose we have defined $\pi$ to be the ratio of a circle's circumference to its diameter. But then in order to introduce $\pi$ into2012-04-23
  • 0
    (contd.) our proof we have to work straight from the definition of $\pi$ (since $P$ is self contained). So we have to introduce circles into our proof at some point before $p$.2012-04-23
  • 0
    Hmmm.. I seem to have allowed for the possibility that there exists some statement about $\pi$ which is true but which is not provable in any order of logic, and which has nothing to do with circles. Now that is an interesting thought.2012-04-23
  • 0
    On a related note: http://www.smbc-comics.com/?db=comics&id=2420#comic2012-04-23
  • 0
    Often convergence includes PI. For example, [Hardy's proof of the Dirichlet eta function](https://en.wikipedia.org/wiki/Dirichlet_eta_function)2012-10-18
  • 0
    Sometimes it seems one will never stop running in circles either. :-)2013-06-09
  • 0
    http://numbers.computation.free.fr/Constants/Pi/piSeries.html2013-10-27

5 Answers 5

45

It is difficult to know if a circle is not lurking somewhere, whenever there is $\pi$, but the values of the Riemann zeta function at the positive even integers have a lot to do with powers of $\pi$: see here for the values.

For instance, you can prove that the probability that two "randomly chosen" positive integers are coprime is $\frac{1}{\zeta(2)} = \frac{6}{\pi^2}$.

  • 15
    You had my upvote at "it is difficult to know if a circle is not lurking somewhere..."2010-08-26
  • 0
    Maybe that has something to do with angles and the 2D lattice.2012-12-20
  • 0
    @asmeurer: Actually it has to do with [the fact that](http://en.wikipedia.org/wiki/Basel_problem) $\displaystyle \sum_{n=1}^{\infty} \frac{1}{n^2} = \frac{\pi^2}{6}$.2013-06-09
  • 0
    @ShreevatsaR you're just restating what $\zeta(2)$ is. That doesn't explain where the $\pi$ comes from, fundamentally.2013-06-09
  • 0
    @asmeurer: True, but I'm saying it has nothing to do with "angles and the 2D lattice". Nothing I know of, anyway. The proof that $\zeta(2)$ has that value (see the linked article) doesn't use those, and the proof that the probability of two "randomly chosen" prime numbers is $\frac{1}{\zeta(2)}$ is straightforward.2013-06-10
  • 0
    @ShreevatsaR Yeah we know that the proof does not use circles to compute $\zeta(2)$. That is the point of damiano's comment "difficult to know if a circle is not lurking somewhere"2014-09-23
  • 0
    @Ant: My comment was a reply to asmeurer's speculation that it had to do with "angles and the 2D lattice" -- my comment was not a reply to anything in this (damiano's) answer.2014-09-23
22

$\pi$ appears in Stirling's approximation, which is not obviously related to circles. This means that $\pi$ appears in asymptotics related to binomial coefficients, such as

$$\displaystyle {2n \choose n} \approx \frac{4^n}{\sqrt{\pi n}}.$$

In other words, the probability of flipping exactly $n$ heads and $n$ tails after flipping a coin $2n$ times is about $\frac{1}{\sqrt{\pi n}}$. This asymptotic also suggests that on average you should flip between $n + \sqrt{\pi n}$ and $n - \sqrt{\pi n}$ heads.

  • 6
    This is closely related to J. Mangaldan's comment about the probability integral. Somehow I think it all ties back to the fact that e^{-x^2} is its own Fourier transform.2010-08-26
  • 0
    Yes. Yes it does. :)2010-08-26
  • 1
    I guess that comment is worth explaining: the relationship is that the constant in Stirling's approximation can be computed from the central limit theorem. This is explained at http://terrytao.wordpress.com/2010/01/02/254a-notes-0a-stirlings-formula/ .2011-01-14
  • 0
    @QiaochuYuan You might be interested in Kunth's "Why Pi?" Lecture. He shows how this is related to cirlces!2012-02-27
17

Because of the formula $e^{i\pi}+1=0$ you will find $\pi$ appearing in lots of places where it's not clear there is a circle, e.g in the normal distribution formulae.

13

Yes, the ratio $\pi$ of a circle's circumference to its diameter shows up in many, many places where one might not expect it!

One partial explanation (similar in spirit to "circles lurk everywhere") is that the equation for a circle is a $quadratic$ (eg. $x^2+y^2 = r^2$.) After nice linear functions, the next most commonly used functions are quadratic functions and everywhere one runs into a quadratic function, a trig substitution (e.g. $x = r \cos \theta; y=r\sin \theta$) may be useful, turning the quadratic function into something involving $\pi.$ This explains the antiderivative $\int \frac{1}{1+x^2} dx$ involving $\pi$, the sum of reciprocals of squares $\sum^\infty\frac{1}{k^2}$ involving $\pi$ and the area under the Gaussian distribution involving $\pi$. And so on....

  • 1
    How does it explain the sums of reciprocals of squares involving pi?2011-01-13
  • 1
    @George: there are a few elementary proofs of sum 1/k^2 = pi^2/6 where pi creeps in for reasons at least analogous to a trig substitution: http://math.stackexchange.com/questions/8337/different-methods-to-compute-sum-n-1-infty-frac1n22011-01-14
  • 0
    @Qiaochu: Most of the proofs I know apply equally well to evaluating $\sum 1/n^d$ (for d even) and even $\sum (-1)^d/n^d$ (for d odd), which also involve $\pi$. So, the fact that the terms are squares doesn't seem particularly significant to the appearance of $\pi$.2011-01-14
  • 0
    I'll have a look through the alternative proofs in that link though.2011-01-14
  • 0
    (I meant $\sum(-1)^d/(2n+1)^d$ above). I always thought of these sums involving $\pi$ for similar reasons, and not just the $d=2$ case in isolation.2011-01-14
1

I am late to the party, but I found a curious appearance of the decimal expansion of $\pi$ in the lecture notes for the Dynamics and Relativity course by David Tong, in section 5.2.2.

We have a one-dimensional problem with two bouncing balls of mass $M$ and $m$ which can collide elastically. The leftmost ball has mass $M = 16 \times 100^Nm$, the smaller ball is on the right of the large ball. There is a perfect wall on the right of both balls (the wall does not move upon collision). $N$ is an arbitrary integer.

If a push to the right is given to the ball with mass $M$, it will move toward the smaller ball and upon collision, the smaller ball will start moving towards the wall, until it bounces back toward the larger ball. They will again collide, taking away some of the momentum of the large ball and allowing the smaller ball to move toward the wall again.

After a finite number of collisions, the large ball will start moving in the left direction. The number $p(N)$ of collisions of the balls $M$ and $m$ required to reach this situation is the first $N+1$ digits of $\pi$ (so $p(0) = 3$, $p(1) = 31$, $p(2) = 314$, $p(3) = 3141$, etc). (More precisely, it is given by $p(N) = \lfloor 10^N \pi \rfloor$).

For further details, I invite you to read the lecture notes by David Tong linked above. Basically there is a matrix recurrence relation for the velocities of the balls after each collision, and the solution to this recurrence equation involves the $\sin$ and $\cos$ functions.