The Parabolic Constant Mystery
Manas Shetty, Prajwal DSouza, Sparsha Kumari, Vinton Adrian Rebello
This work began with a familiar 3Blue1Brown feeling: a constant shows up where it has no obvious business being. In particular, pi appearing in unexpected contexts made us wonder whether other constants have similar geometric fingerprints. The case that caught our attention was a connection between parabolas and squares.
We spent about eight months trying different ways to understand it. Most attempts were clumsy. Eventually a much cleaner picture appeared: an average-distance problem in a square can be turned into the length of a parabolic arc.
After sitting on the idea for nearly three years, we are finally sharing it for SOME3.
This was made with viewX, a small visualization library used for the mathematical animations on this website. It is still in development and still a little buggy. :)
We also owe a lot to Matt Parker's video "There is only One True Parabola" (Stand-up Maths). The idea that all parabolas are similar is the key reason a constant can appear here at all.
Start with a unit square. Pick a point Q at random on its boundary. What is the average distance from Q to the square's center C?
By average distance, we mean: take all the possible distances, add them, and divide by how many distances were counted. For a continuous boundary, that idea becomes a limiting process.
The answer is approximately 0.5738967... This number is P/4, where P is the Universal Parabolic Constant. Its value is about 2.295587149... That raises the question: our problem is about a square, so where is the parabola?
It could be a coincidence. But when π appears in a strange place, we usually go looking for a circle. 3B1B has a whole video built on that instinct. Here we do the same thing with P: look for the hidden parabola.
What do you think is the average distance between any two points inside a unit square? Take a guess. :D
Move the slider to choose your answer. The points A and B above are draggable. :)
Here is a related problem.
What do you think is the average distance between the center and any point 'inside' the unit square?
Take a guess. :D
Point B above is draggable. :)
It is about 0.38259785. Exactly, it is
Yep. There's a P here too.
Why do these constants appear?
Can we make more constants like this? Are they special to circles and parabolas? For a square of side length \(L\), the ratio of perimeter \(4L\) to diagonal \(\sqrt{2}L\) is always \(\frac{4}{\sqrt{2}}\).
Any family of similar shapes can produce ratios like this. All circles are similar, so π is constant across circles. The useful surprise is that all parabolas are similar too. See Matt's video (Stand-up Maths) for more details.
When we scale a shape, matching lengths scale together. Double a circle and both the radius and circumference double, so their ratio stays the same. The square's perimeter-to-diagonal ratio works the same way.
If you want the calculus check for the slope at H, here it is.
The equation of this parabola is
The points C and H here are at (0, 0) and (2a, a), respectively.
You can check this directly:
1. \(y = 0 \) when \(x = 0 \) (the vertex C)
2. \(y = a \) when \(x = 2a \) (our point H)
Now, differentiate the equation of the parabola to get the slope at any point (x,y) on the parabola.
$$\frac{dy}{dx} = \frac{x}{2a}$$
At H, where x = 2a, \(dy/dx = 2a/2a\) = 1. So
At H, the tangent makes a 45 degree angle with the x axis.
Wait. Before using that, we should prove it.
How do we know that the curve is really a parabola?
If the final curve is a parabola, its points should obey an equation of the form
$$ y = \frac{x^2}{4a} $$
A point on this curve has the form:
$$ \left(x, \frac{x^2}{4a}\right) $$
Our goal is to show that, as the number of sampled points gets large (\( n \to \infty \)), points on our constructed curve approach this form.
Start with 3 points, so n = 3. Each line segment (CQ1, CQ2, and CQ3) contributes a point to the curve after scaling.
We want the final coordinates of Q1, Q2, and Q3. Take C as the origin.
There are two steps: add, then scale down.
A point Q has different coordinates after each step.
Before adding the segments.
All the points are on line AB, so each x coordinate is 1. The y coordinate is a fraction of the length of AB. For n sample points, line AB is divided into n - 1 segments, so each segment has length 1/(n - 1). For 3 points, the distance between neighboring points is 1/(3 - 1), or 1/2.
So Q1 is at (1, 0), Q2 is at (1, 0.5), and Q3 is at (1, 1).
After adding the segments.
When the segments are laid end to end, the coordinates change. The x coordinates are easy: Q1 stays at x = 1, Q2 moves to x = 2, and Q3 moves to x = 3.
The y coordinates need one more step.
Q1 stays at y = 0. Q2 gets one half-step, so it moves to y = 0.5. Q3 gets two half-steps, giving 1, plus the earlier 0.5 from Q2. So its y coordinate becomes 0.5 + 1 = 1.5.
After scaling down.
Now scale the curve down by a factor of 3. The x coordinates are divided by 3: Q1 goes to x = 1/3, Q2 moves to x = 2/3, and Q3 moves to x = 3/3 = 1.
The y coordinates are divided by 3 too.
Q1 stays at y = 0. Q2 goes from y = 0.5 to y = 0.5/3. Q3 goes from y = 1.5 to y = 1.5/3 = 0.5.
The coordinates now show the pattern.
Q1, the 1st point is at (1/3, 0).
Q2, the 2nd point is at (2/3, 0.5/3) or
$$ \left( \frac{2}{3}, \frac{1}{3}\cdot (1) \cdot \frac{1}{3 - 1} \right) $$
and Q3, the 3rd point is at (1, 0.5) or (3/3, 1.5/3) or
$$ \left( \frac{3}{3}, \frac{1}{3}\cdot (1 + 2) \cdot \frac{1}{3 - 1} \right) $$
For 4 sampled points, line AB is divided into 3 segments:
For n = 4, Q1, the 1st point is at (1/4, 0).
Q2, the 2nd point is at (2/4, 0.33/4) or
$$ \left( \frac{2}{4}, \frac{1}{4}\cdot (1) \cdot \frac{1}{4 - 1} \right) $$
Q3, the 3rd point is at (3/4, 1/4) or
$$ \left( \frac{3}{4}, \frac{1}{4}\cdot (1 + 2) \cdot \frac{1}{4 - 1} \right) $$
and Q4, the 4th point (final point) is at (1, 0.5) or (4/4, 2/4) or
$$ \left( \frac{4}{4}, \frac{1}{4}\cdot (1 + 2 + 3) \cdot \frac{1}{4 - 1} \right) $$
For this 4-point case in general,
the kth point Qk is at
$$ \left( \frac{k}{4}, \frac{1}{4}\cdot (1 + 2 + .. + (k - 1)) \cdot \frac{1}{4 - 1} \right) $$
The same pattern works for any n:
the kth point Qk is at
$$ \left( \frac{k}{n}, \frac{1}{n} \cdot (1 + 2 + .. + (k - 1)) \cdot \frac{1}{n - 1} \right) $$
Since the sum of the first \(k - 1\) integers is \((k - 1)k/2\), this becomes:
$$ \left( \frac{k}{n}, \frac{1}{n} \cdot \left(\frac{(k - 1)k}{2}\right) \cdot \frac{1}{n - 1} \right) $$
After simplifying, when we sample n points, the kth point Qk is at
$$ \left( \frac{k}{n}, \frac{1}{2} \cdot \frac{k}{n} \cdot \frac{k - 1}{n - 1} \right) $$
This also explains why the final point always has y = 0.5.
For the nth point:
$$ \left( \frac{n}{n}, \frac{1}{2} \cdot \frac{n}{n} \cdot \frac{n - 1}{n - 1} \right) $$
which gives us:
$$ \left( 1, 0.5 \right) $$
Now check what happens as the number of sampled points gets large (\( n \to \infty \)). Do the points approach the parabola equation?
As \( n \to \infty \),
$$ \frac{k - 1}{n - 1} \thickapprox \frac{k}{n} $$
So, when \( n \to \infty \), the kth point is given by:
$$ \left( \frac{k}{n}, \frac{1}{2} \cdot \frac{k}{n} \cdot \frac{k}{n} \right) $$
or
$$ \left( \frac{k}{n}, \frac{1}{2} \cdot \left(\frac{k}{n}\right)^2 \right) $$
If we take x = k/n, then
$$ \left(x, \frac{1}{2} \cdot \left(x\right)^2 \right) $$
or
$$ \left(x, \frac{x^2}{4 \cdot 0.5} \right) $$
This is the equation we wanted. The limiting curve is a parabola.
This also gives us
\( a = 0.5 \).
Since a = 0.5, H is at (2a, a), so the final point is H = (1, 0.5).