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

Метод доказательства от противного в математике заключается в следующем: www.geeksforgeeks.org

1. Предполагают, что противоположное утверждение (отрицание) истинно. www.geeksforgeeks.org
2. Логически рассуждают, исходя из этого предположения. www.geeksforgeeks.org
3. Находят противоречие, которое является результатом, нарушающим известный факт, правило или аксиому. www.geeksforgeeks.org
4. Делают вывод, что предположение должно быть ложным, поэтому исходное утверждение должно быть истинным. www.geeksforgeeks.org

Этот способ доказательства основывается на истинности закона двойного отрицания в классической логике. ru.wikipedia.org

Этапы метода доказательства от противного: www.geeksforgeeks.org

1. Предположить обратное тому, что нужно доказать. www.geeksforgeeks.org
2. Рассуждать логически, исходя из этого предположения. www.geeksforgeeks.org
3. Найти противоречие, которое является результатом, нарушающим известный факт, правило или аксиому. www.geeksforgeeks.org
4. Сделать вывод, что предположение должно быть ложным, поэтому исходное утверждение должно быть истинным. www.geeksforgeeks.org