Proof by contradiction
Proof by contradiction (also known as reducto ad absurdum or indirect proof) is an indirect type of proof that assumes the proposition (that which is to be proven) is false and shows that this assumption leads to an error, logically or mathematically. Thus, the proposition is true. Famous results which utilized proof by contradiction include the irrationality of and the infinitude of primes. This technique usually works well on problems where not a lot of information is known, and thus we can create some using proof by contradiction.
Proof that the square root of 2 is irrational
Assume is rational, i.e. it can be expressed as a rational fraction of the form , where and are two relatively prime integers. Now, since , we have , or . Since is even, must be even, and since is even, so is . Let . We have and thus . Since is even, is even, and since is even, so is a. However, two even numbers cannot be relatively prime, so cannot be expressed as a rational fraction; hence is irrational.
Assume there exists a finite number of primes . Let . is not divisible by any of the known primes since it will leave a remainder of one upon division by any one of them. Thus, must be divisible by some other prime not in our list, which contradicts the assumption that there is a finite number of primes.