Метод доказательства «от противного» заключается в том, что вместо непосредственного доказательства истинности утверждения А доказывают, что утверждение Б ложно, так как приводит к противоречию с установленными фактами. 2

Доказательство от противного состоит из трёх шагов: 3

1. Делают предположение, что истинно утверждение не В. 3
2. Приходят к противоречию с каким-нибудь истинным высказыванием. 3
3. Делают вывод о том, что сделанное предположение ложно, а значит, утверждение В истинно. 3

Пример использования метода: нужно доказать, что число — иррациональное. 1 Утверждение «А» — это утверждение о том, что число иррациональное. 1 Предположим обратное: что это рациональное число. 1 Используя математические преобразования, можно получить противоречие. 1 Следовательно, утверждение «не А» — ложное. 1 Значит, утверждение «А» — верное, то есть число — иррациональное. 1