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
n is an even number. So,
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.
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.