The proof of the Theorem on friends and strangers [0] from Ramsey Theory, which is a special case of Ramsey's theorem [1]. I like it because it is a fun proof t

The proof of the Theorem on friends and strangers [0] from Ramsey Theory, which is a special case of Ramsey's theorem [1]. I like it because it is a fun proof to show people to demonstrate a few different proof techniques while remaining very simple. You can draw it out on a napkin and even people who don't usually feel that they are mathematically inclined can follow along. Another favorite of mine is Cantor's diagonal argument for proving the existence of uncountable sets [2]. [0] https://en.wikipedia.org/wiki/Theorem_on_friends_and_strangers#Sketch_of_a_proof https://en.wikipedia.org/wiki/Theorem_on_friends_and_strange... [1] https://en.wikipedia.org/wiki/Ramsey%27s_theorem#2-colour_case https://en.wikipedia.org/wiki/Ramsey%27s_theorem#2-colour_ca... [2] https://en.wikipedia.org/wiki/Cantor%27s_diagonal_argument https://en.wikipedia.org/wiki/Cantor%27s_diagonal_argument