Mathspp Blog

A blog dedicated to mathematics and programming!

As of now, my blog is being migrated here. You can find all the old content over here.


In this post we will talk about three different, all very common, ways of writing proofs: proofs by construction, by contrapositive and by contradiction.


This post's problem is a really interesting problem I solved two times. The first time I solved it I failed to prove exactly how it works... then some years later I remembered the problem statement and was able to solve it properly. Let's see how you do!