Метод «от противного» при решении математических задач заключается в следующем: 14

1. Устанавливают, какие варианты возможны при решении задачи или доказательстве теоремы. 14 Например: угол может быть тупым, прямым или острым; значение переменной a может быть больше, меньше или равно значению переменной b. 1
2. Доказывают для каждого нежелательного варианта, что он неверен. 1 Как правило, удаётся установить, что для каждого нежелательного варианта какой-либо из выводов противоречит тому, что дан в условии, а потому невозможен. 1
3. На основании того, что все нежелательные варианты отброшены и только один (желательный) остался нерассмотренным, делают вывод, что именно он верный. 14