# The Diagonal Parking Theorem

(With apologies to Georg Cantor)

Theorem: There are an infinite number of stupid ways to park.

Definition: We define as stupid any parking method that places any fender of a car outside the legal lines bounding the space.

Proof:Consider a line L through the center of a legal parking space, parallel to the lines bounding the space. Consider a point P on L. There are an infinite number of lines passing diagonally through P at an angle greater than the smallest angle θ at which a car pulled into the space will intersect each of the bounding lines once. Any car parked parallel to one of these lines is, by definition, parked stupidly.

Thus, there are an infinite number of stupid ways to park. QED.

The astute reader will note that there are an infinite number of points P on L through which stupidly parked cars might pass. The implications of this for the cardinality of the stupidity of people parking their cars is left as an exercise for the reader, while you drive in circles looking for a spot that hasn’t been blocked by some goddamn idiot.

## 14 thoughts on “The Diagonal Parking Theorem”

1. Andrew Perrin says:

Aw, gosh darnit Derek, I was just going to say that the first poster to use a parking lot to calculate pi wins the Internet.

2. Clark says:

Provided that the car is as long as the parking spot is wide. (And that the person is randomly idiotic.)

3. Philip Langmuir says:

I see your parking lot and raise you a pack of hotdogs.

4. GrayGaffer says:

By the same logic, there are an infinite number of ways to park that are not stupid. What then become stupid are:

1) two cars may park legally but so close it is impossible to open their facing doors,

and

2) head-in parking. Whoever came up with that idea must have always had a chauffeur (since they had the power to install it as The Parking Method ™). If you cannot see to reverse into a slot with no obstacles you should not be driving. But when reversing out of a slot any approaching vehicles are invisible until you are already well in their path, regardless of how good you are. Yet most such vehicle drivers assume the right of way over those attempting to back out. Insane.

5. Benton Jackson says:

So, are we talking countably infinite or uncountably infinite?

What is the ratio of stupid to un-stupid?

6. onymous says:

There’s a nice mathematical fact that (assuming I’m remembering the statement correctly) if you consider the Lie group generated by driving forward/backward and turning wheels, you find that it contains sideways translations. So in an idealized mathematical world, parallel parking is easy, because the group of motions of a car lets you just move sideways.

7. How do you know that space is continuous?

8. brook says:

how does time factor into all of this?

9. And relativity! What about the people who scream into the parking space so fast that they are relativistically contracted enough to fit between the lines, and then just don’t notice that they don’t fit any more once they stop moving relative to the parking lot?

10. Ender says:

Is space/distance/position not quantized? Surely there aren’t actually infinite possible positions between 0.005mm over the line and 0.006mm?

11. anandine says:

Ender, even if space is quantized, that does not mean there cannot be an infinite number of points even within a quantum of space. Since a point is of infinitely small size, many points can dance on a quantum of space.