Hearted Youtube comments on Mathologer (@Mathologer) channel.
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
That table at 37:31 really shows how outstanding 355/113 is as an approximation of pi. It is astonishingly good for a three digit denominator.
.
Here's a question: Is there any other famous irrational number that has a rational approximation with a three digit denominator that is anywhere near as good as this one?
To decide this, we need to think about making some measure of the "goodness" of a rational approximation (q) of an irrational number (r). To start with, we should calculate the proportional difference, (r-q)/r.
We then realize that we must take absolute values to ignore the sign of the difference.
We could then take the reciprocal so we can express this amount as being accurate to within 1 part in N, where N=|r/(r-q)|. (I use N here to indicate nearness of the approximation.)
If we care only for how accurate the approximation is, this is a good measure and the higher the value of N, the better the approximation.
But, that would have us just choosing bigger and bigger denominators as "better" when really some preference should be made for smaller denominators as these are generally found sooner and with less effort than bigger denominators (and perhaps smaller denominators are easier to remember).
So, we could apply a penalty for larger denominators by dividing the score, N, by the denominator, d. But is this a sufficient penalty? Perhaps a better measure is to divide by the square of the denominator. I will settle on having a "rational approximation goodness score" calculated as:
RAGS = | r / (r-q) | / d²
Here are some scores (N and RAGS) for approximations of π
(I have used the fractions given in the table at 37:31)
Rational N-score RAGS
3/1 22 22.188
13/4 29 1.811
16/5 54 2.152
19/6 125 3.480
22/7 2,484 50.704
179/57 2,530 0.779
201/64 3,247 0.793
223/71 4,202 0.834
245/78 5,541 0.911
267/85 7,549 1.045
289/92 10,897 1.287
311/99 17,599 1.796
333/106 37,751 3.360
355/113 11,776,666 922.286
52,163/16,604 11,801,038 0.043
Note: The fractions given by the convergents from the continued fraction representation of π are
3/1, 22/7, 333/106, 355/113 and then the following:
Rational N-score RAGS
103,993/33,102 5,436,310,128 4.961
104,348/33,215 9,473,241,406 8.587
208,341/66,317 25,675,763,649 5.838
312,689/99,532 107,797,908,602 10.881
Here are some scores for rational approximations of √2
Note: The sequence is given by a/b → (a+2b)/(a+b)
Rational N-score RAGS
3/2 16 4.121
7/5 99 3.980
17/12 576 4.003
41/29 3,363 3.999
99/70 19,600 4.000
239/169 114,243 4.000
577/408 665,857 4.000
1,393/985 3,880,899 4.000
3,363/2,378 22,619,537 4.000
8,119/5,741 131,836,323 4.000
19,601/13,860 768,398,423 4.000
It is interesting that while the nearness (N-score) increases at a rate that converges towards 3+2√2, the denominator increases at a rate that converges towards 1+√2. Since (1+√2)² = 3+2√2, the adjusted score (RAGS) converges to a constant (=4) as the sequence progresses.
Here are some scores (N and RAGS) for approximations of the golden ratio φ:
Rational N-score RAGS-score
3/2 14 3.427
5/3 33 3.697
8/5 90 3.589
13/8 232 3.629
21/13 611 3.614
34/21 1,596 3.620
55/34 4,182 3.617
89/55 10,945 3.618
144/89 28,658 3.618
233/144 75,024 3.618
377/233 196,419 3.618
610/377 514,228 3.618
987/610 1,346,270 3.618
1,597/987 3,524,577 3.618
2,584/1,597 9,227,466 3.618
4,181/2,584 24,157,816 3.618
6,765/4,181 63,245,986 3.618
10,946/6,765 165,580,143 3.618
In the case of approximations of φ the improvement in nearness (N-score) occurs at a rate that converges towards 1+φ = φ². Then, as the denominator increases at a rate that converges to φ, the RAGS-score also converges to a constant which happens to be 2+φ = 1+ φ².
The approximations of φ and √2 are generated by formulae that create convergence to fixed multiples for increases in the denominator. There is also a fixed rate of convergence towards the rational, as evidenced by the continued fraction representations of φ and √2 being 1+1/(1+1/(1+1/(1+1/… and 1+1/(2+1/(2+1/(2+1/… respectively.
I think it is fair that this scoring system gives these formulaic fractions equal standing. It is also worth noting that the RAGS for φ is less than for √2, which is consistent with φ being the "more irrational" number that is harder to approximate.
I have also calculated the N-scores and RAGS for √3 = 1+1/(1+1/(2+1/(1+1/(2+1/(1+1/(2+1/…
The continued fraction pattern is 1,2,1,2,… It shouldn’t be a surprise that the N-scores increase at a rate that converges to 2+√3 while the RAGS converges to an alternating sequence of 3 and 6, with the higher RAGS coinciding with the approximations that are slightly greater than √3. This is because the approximations that are greater than √3 have a proportionately smaller increase in denominator than those that are less that √3 – i.e. if you go from above √3 to below √3, the denominator has increased by more than the numerator to obtain a smaller fraction.
The scoring for the approximations of π is certainly more interesting since the continued fractions are not in a fixed pattern and so the quality of the approximations relative to denominator as indicated by the RAGS varies considerably. And just to come back to it: How good is the 355/113 approximation for π? It is the absolute stand-out amongst those shown here.
[Note - these calculations were done "quick and dirty" in a spreadsheet and so the values are likely inaccurate past 10 digits.]
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4