Here is a minimalist step-by-step proof with simple explanations that the square root of 2 is an irrational number. Thousands of years ago, Greek mathematicians discovered that there are irrational numbers. The following proof is a classic example of proof by contradiction. We will assume that our claim is not true, and then we will come to a contradiction. Since there are no contradictions in mathematics, we must accept that our claim is true.
If you enjoy math proof, you should check out this beautiful book list, “70 Best Math Books to Learn Writing Mathematical Proofs.”