Корень из шести (\(\sqrt{6}\)) является иррациональным числом, и это можно доказать с использованием метода от противного. Этот метод заключается в том, что мы предполагаем, что \(\sqrt{6}\) — это рациональное число, то есть его можно выразить в виде дроби \(\frac{p}{q}\), где \(p\) и \(q\) — целые числа, и \(q \neq 0\), при этом дробь сокращена до несократимой.
- Предположим, что \(\sqrt{6} = \frac{p}{q}\).
- Квадратируем обе стороны уравнения: \[ 6 = \frac{p^2}{q^2} \]
- Умножаем обе стороны на \(q^2\): \[ 6q^2 = p^2 \]
- Это уравнение говорит нам, что \(p^2\) делится на 6. Поскольку 6 является произведением простых чисел \(2\) и \(3\), это означает, что \(p^2\) должно делиться на \(2\) и \(3\). Следовательно, \(p\) также должно делиться на \(2\) и \(3\) (так как квадрат любого нечетного числа не может быть четным, а квадрат числа, не делящегося на 3, тоже не делится на 3).
- Таким образом, можно записать \(p\) как \(p = 6k\) для некоторого целого \(k\). Подставим это обратно в уравнение \(6q^2 = p^2\): \[ 6q^2 = (6k)^2 = 36k^2 \]
- Делим обе стороны уравнения на 6: \[ q^2 = 6k^2 \]
- Это уравнение показывает, что \(q^2\) также делится на 6, а значит и \(q\) делится на 2 и 3.
Теперь мы имеем, что и \(p\), и \(q\) делятся на 6. Однако это противоречит изначальному предположению, что дробь \(\frac{p}{q}\) несократима.
Таким образом, предположение о том, что \(\sqrt{6}\) является рациональным числом, неверно. Следовательно, корень из шести является иррациональным числом.
