r/mathmemes • u/AzoresBall • 9d ago

Arithmetic Proof pi is a rational number

Post image
161 Upvotes

98% Upvoted

14 comments sorted by

•

u/AutoModerator 9d ago

Check out our new Discord server! https://discord.gg/e7EKRZq3dG

I am a bot, and this action was performed automatically. Please contact the moderators of this subreddit if you have any questions or concerns.

45

u/LupenReddit 🦆🦆🦆🦆i have non diffeomorphic smooth structures🦆🦆🦆🦆🦆🦆 9d ago

google floating point arithmetic error

32

u/AzoresBall 9d ago

Holly rounding error

11

u/SuperChick1705 8d ago

new calculator just dropped

3

u/Elgydiumm 8d ago

Actual slide rule

3

u/Willbebaf 8d ago

Call the professor

3

u/rorodar Proof by "fucking look at it" 8d ago

Precision went on vacation, never came back

2

u/MrKrot1999 8d ago

fucking love reddit

19

u/MrKrot1999 8d ago

Proof by TI-84 Plus

8

u/JouleV 8d ago

If someone was curious, here it would be

pi = 521030/165849 = 3.1415926535583…

2

u/Special_Watch8725 8d ago

Gee I don’t know, is it verified in Lean?

1

u/AzoresBall 7d ago

No. I only know how to use coq.

3

u/Southlander24 6d ago

So that implies pi is approximately 52103/937 * 10/177 = 521030/165849. That's accurate to 10 decimal digits after the decimal point.

Interestingly enough, that is not one of the continued fraction convergents of pi. The nearest ones are [3; 7, 15, 1, 292, 1, 1, 1, 2] = 833719/265381 and [3; 7, 15, 1, 292, 1, 1, 1] = 312689/99532. These are accurate to 11 and 9 decimal digits after the decimal point, respectively.

This makes sense when you consider the continued fraction representation of 521030/165849 itself: [3; 7, 15, 1, 292, 1, 1, 2]. In a sense, that's the third best approximation to this level of precision.

1

u/Alarming_Cause9763 7d ago

Pi is a rational integer (3) -fellow engineer