Докажите что √3 есть число иррациональное

Согласно теореме о квадратном корне из 3, давайте предположим, что √3 - рациональное число и может быть представлено в виде дроби вида a/b, где a и b - целые числа с наименьшим общим знаменателем. Тогда можно записать:

√3 = a/b

Возводим это равенство в квадрат:

3 = (a/b)^2

Умножаем обе части на b^2:

3b^2 = a^2

Таким образом, получаем, что a^2 нечетно, так как 3 умножено на четное число b^2. Значит, a также должно быть нечетным числом. Пусть a = 2k + 1, где k - целое число.

Подставляем это обратно в уравнение:

3b^2 = (2k + 1)^2

Раскрываем скобки:

3b^2 = 4k^2 + 4k + 1

Деля правую часть на 4, получаем:

3b^2/4 = k^2 + k + 1/4

Видим, что левая часть является рациональным числом, а правая часть - целым числом, что означает, что k^2 + k + 1/4 также должно быть рациональным числом.

Однако, невозможно, чтобы квадрат или сумма двух целых чисел давала рациональное число. Это противоречит нашему предположению, что √3 - рациональное число.

Таким образом, мы доказали, что √3 является иррациональным числом.