# Can Buffon’s Needle Problem be used to give a simple proof that pi is irrational?

We ought not be able to predict a value in a random sequence, but it seems that in this case (for width equal to needle length, say) we can predict that a rational expression involving pi will occur.

Added by OP Mike Jones on 8.May.2011 (Beijing time):

I believe the answer is affirmative. Below is my proposed proof which, even if it turns out to be defective, will at least clarify what I meant by the question:)

Theorem: pi is irrational. Proof: By the well-known solution to Buffon’s Needle Problem, the sequence f(n)/n converges to 1/pi, where n is the number of tosses of the needle, and f(n) is the number of line-crossings of the needle, where the needle has unit length, and the parallel lines are unit distance apart. Notice that it should be impossible to predict with certainty any value of the ratio f(n)/n. However, because of the discrete (as opposed to continuous), and physical, nature of this process, if this sequence of rational numbers converges to a rational number, it is certain that it will sooner or later take on this rational number as one of its terms. This contradiction establishes that 1/pi is irrational. Therefore pi is irrational. Q.E.D.

-
I'm not sure I understand the question... –  Fabian May 7 '11 at 22:20
My guess is that he might be saying that Buffon's Needle Problem appears to allow one to derive a "rational expression involving pi" and that would allow us to conclude that pi is rational, which is clearly wrong. Thus, I think he's asking how to show that Buffon's Needle Problem actually demonstrates irrationality of pi...or something like that. –  El'endia Starman May 7 '11 at 22:35
Your "proof" is at most a heuristic... –  Mariano Suárez-Alvarez May 8 '11 at 1:54
@Mariano: A heuristic is something that usually gives the right result but could be wrong. There's no reason for this sort of argument ever to work. –  joriki May 8 '11 at 4:49
I wonder why people are downvoting this? I think it's a very good question. –  quanta May 9 '11 at 11:55
show 1 more comment

Notice that it should be impossible to predict with certainty any value of the ratio f(n)/n. However, because of the discrete (as opposed to continuous), and physical, nature of this process, if this sequence of rational numbers converges to a rational number, it is certain that it will sooner or later take on this rational number as one of its terms.

This is not a mathematical argument. For example, the sequence $\frac{2^n - 1}{2^n}$ is a sequence of rational numbers which never takes on the value of its rational limit $1$. If you want a "random" sequence, take $\frac{2^n - 1}{2^n} + X_n$ where $X_n$ is a sequence of random rational numbers of size at most $\frac{1}{2^{n+1}}$.

-

Your proof is unconvincing. The following replaces some of your words without affecting the argument, and if it were a legitimate proof then two would be irrational.

Theorem: two is irrational. Proof: By the well-known solution to tossing the Fair Coin Problem, the sequence f(n)/n converges to 1/two, where n is the number of tosses of the coin, and f(n) is the number of heads shown, where the coin is equally likely to show each of its two faces heads or tails. Notice that it should be impossible to predict with certainty any value of the ratio f(n)/n. However, because of the discrete (as opposed to continuous), and physical, nature of this process, if this sequence of rational numbers converges to a rational number, it is certain that it will sooner or later take on this rational number as one of its terms. This contradiction establishes that 1/two is irrational. Therefore two is irrational. Q.E.D.

-
Very cute. I like it. –  mixedmath May 9 '11 at 7:25
"…it will sooner or later take on this rational number as one of its terms. This contradiction…" — actually I don't understand what the contradiction is (in the original question). –  ShreevatsaR May 9 '11 at 7:46
How one can see that $\pi$ emerges in Buffon's problem because of its relationship between the radius of a circle and the area of that circle? –  Fabian May 7 '11 at 23:12
@Fabian: One of the ways to solve Buffon's Needle is to say that the position of the needle can be described by two pieces of information: the angle $\theta$ the needle makes with the lines on the plane, and the distance $D$ between the center of the needle and the nearest line. Normalizing the length of the needle and the separation between lines to be 1, then the needle crosses a line if $D < sin( \theta)$. Consider the realm of possibilities: $(D, \theta) \in [0,1/2]\times [0,\pi]$ - we care about the cases beneath the curve $1/2 sin(x)$ - half an ellipse. That's how. –  mixedmath May 8 '11 at 1:18
@Everyone - I note that when I write $1/2 sin(x)$, I mean $(1/2)sin(x)$. ;p –  mixedmath May 8 '11 at 1:21