Метод доказательства теорем от противного — это способ рассуждений, когда из предположения, противоположного тому, что нужно доказать, приходят к противоречию с условием теоремы или с другой теоремой (или аксиомой). 2

Суть метода заключается в следующем: 2

1. Делается предположение, противоположное тому, что требуется доказать. 2
2. Затем выясняется, что следует из сделанного предположения на основании уже приобретённых теоретических знаний (теорем, аксиом и т.д.). 2
3. Устанавливается несоответствие (противоречие) предположения с теоретическими данными. 2
4. Делается вывод о том, что предположение не верно, а верно утверждение ему противоположное, то есть то, что требуется доказать. 2

Этот метод применяют тогда, когда прямую теорему доказать или невозможно или очень затруднительно. 1