Доказательство от противного — что представляет собой, когда используется

В толковом словаре математических терминов дано определение доказательству от противного теоремы, противоположной обратной теореме. «Доказательство от противного – метод доказательства теоремы (предложения), состоящий в том, что доказывают не саму теорему, а ей равносильную (эквивалентную), противоположную обратной (обратную противоположной) теорему. Доказательство от противного используют всякий раз, когда прямую теорему доказать трудно, а противоположную обратной легче. При доказательстве от противного заключение теоремы заменяется её отрицанием, и путём рассуждения приходят к отрицанию условия, т.е. к противоречию, к противному (противоположному тому, что дано; это приведение к абсурду и доказывает теорему».

Читать далее «Доказательство от противного — что представляет собой, когда используется»