В чём суть доказательства от неприятного? Помогите, пж

Мы делаем предположение, что то, что нам дано ошибочно, к примеру:

Обосновать иррациональность числа

Дозволяем неприятное, что число - разумное, после чего уже подтверждаем что наше предположение не правильно, в образце с корнем:

Хоть какое разумное число можно представить как несократимую дробь, где числитель - целое число, а знаменатель - естественное

Отсюда следует, что чётно, означает, чётно и a; как следует, делится на 4, а означает, и тоже чётны. Приобретенное утверждение противоречит несократимости дроби . Это противоречит изначальному предположению и - иррациональное число.