In mathematics, one of the most famous ways of proving theorems and propositions is to prove by contradiction. Actually, this is a logical way of thinking based on "the law on non-contradiction (LNC)" as first formalized as a metaphysical principle by Aristotle.
This way of proving says that a statement P and its negation (non)P can not happen at the same time. For example, day and night can not happen at the same time; similarly, left and right, up and down, and full and empty.
So, to prove a theorem or a proposition, you may either prove that its statement is right, or the negation of its statement is wrong.
Using the contradiction in proving a theorem or a proposition in mathematics starts usually by assuming that the statement of this theorem or proposition is wrong. Then, the researcher should find a mistake as a result of his assumption. Thus, the statement must not be wrong by contradiction, and so it is true.
For example, we will prove, using contradiction, the following statement P: "If x^2
is even, then x
is even". Suppose to get a contradiction that x
is odd, that is x=n+1
, where n
is an even number. So, x^2=(n+1)^2=n^2+2n+1
. Then x^2-(n)^2-2n=1
an odd number, hence the number y= x^2-(n)^2-2n
is an odd number. On the other hand, x^2
is even, (n)^2
is even since n
is even and 2n
is even, which implies that y
is even. So, y
is odd and even at the same time, which is a contradiction. Therefore, the statement P is true.
Conclusion
Although there are a lot of ways for proving theorems and propositions in mathematics, proving using contradiction stays the more famous and familiar way mathematicians like to use.