В чём заключается метод доказательства «от противного»?

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

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

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

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