r/mathmemes • u/svmydlo • 7h ago

Proofs I have come up with a truly marvelous proof that can fit into arbitrarily small margin

Post image
764 Upvotes

100% Upvoted

25 comments sorted by

•

u/AutoModerator 7h 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.

322

u/Evening-Code-7039 7h ago

97

u/MarsMaterial 7h ago

There really is an XKCD for everything.

21

u/Evening-Code-7039 3h ago

there are actually two!

81

u/Random_Mathematician There's Music Theory in here?!? 7h ago

Optimal compression of information in a proof

60

u/ObliviousRounding 7h ago

Why'd you take a long pause before saying the proof?

23

u/svmydlo 5h ago

For dramatic effect.

15

u/johnpeters42 7h ago

To get your attention.

42

u/Keikira 7h ago edited 5h ago

Quadrata Erat Demonstrandum.

23

u/expat_123 7h ago

Where is the lean formalization?

31

u/FlameOfIgnis 6h ago edited 6h ago 
import Mathlib

macro "□" : tactic => `(tactic| sorry)

/-- The side of the smallest square into which we can pack `n` unit squares. -/
opaque s : ℕ → ℝ

theorem s_one : s 1 = 1 := by □

6

u/LaGigs Mathematics 7h ago

Amazing

9

u/SunnyOutsideToday 7h ago

It took me a while to notice the 口

2

u/slicehyperfunk Transcendental 6h ago

I know this is called a tombstone, but I always want to call it a throbber like on the computer

1

u/erockbrox 6h ago

Is the length of each side the plank length?

4

u/creeper6530 Engineering 6h ago

Look to the right 

1

u/Hogon_pumpkineater 5h ago

We got the first legit goonard oiler finally the one the true oiler has come

1

u/Dinonaut2000 5h ago

This makes me very happy

1

u/Suitable_Werewolf_61 2h ago

For n = 0 the proof is even smaller: a dot.

-2

u/ZellHall π² = -p² (π ∈ ℂ) 4h ago

s(n) = (ceiling[sqrt(n)])² I think

2

u/TurnoverOk5635 2h ago

The pattern breaks at n=5