Путеводитель для влюбленных в математику - [10]

Глава 4 √2

Перед началом концерта музыканты настраивают инструменты по одной ноте, чтобы добиться гармоничного звучания. Однако это невозможно. Скоро мы увидим почему.

Рациональные числа

Целые числа прекрасно ладят с тремя простейшими арифметическими действиями – со сложением, вычитанием и умножением. Мы производим эти операции над двумя целыми числами и получаем целое же число. А вот деление одного целого числа на другое[41] может привести к дробному результату.

Числа, представляющие собой результат деления целого числа на целое, называют рациональными[42]. Например, 1,5 – это рациональное число, потому что равно 3/2.

Целое число 3 рациональное, потому что 3 = 3/1 (а еще 6/2, 12/4 и т. д.). Все целые числа – рациональные.

Целые числа ладят с тремя арифметическими действиями, а рациональные числа – со всеми четырьмя. Сумма, разность, произведение и частное рациональных чисел всегда будут рациональным числом (с привычной оговоркой о неправомерности деления на ноль).

Рациональные числа пригодны для описания повседневной жизни. Величины, которые мы измеряем, – вес, интенсивность звука, расстояние, цена, температура, время, численность населения, радиочастоты – выражаются рациональными числами.

Но если рациональные числа удобны для работы и над ними можно осуществлять арифметические операции, зачем нам другие числа?

Можно задаться более фундаментальным вопросом: существуют ли другие числа?

Диагональ квадрата

Каково расстояние между противоположными вершинами квадрата? Позже, в главе 14, мы обсудим решение этой задачи. Сейчас же достаточно знать, что длина диагонали квадрата 1 × 1 равна √2

Если умножить число √2 само на себя (другими словами, возвести в квадрат), мы получим 2. Посчитайте приблизительное значение √2 на калькуляторе. А теперь давайте посмотрим, можно ли приблизиться к этому числу с помощью ручки и бумаги.

Начнем с того, что, если возвести в квадрат 0, получится 0, а если возвести в квадрат 1, получится 1. Наша цель 2, а найденные числа меньше. С другой стороны, если возвести в квадрат 2, мы получим 4, а если возвести в квадрат 3, получим 9. Это больше, чем нам нужно.

1² – слишком ма́ло, 2² – слишком много. Попробуем найти величину между 1 и 2, перемещаясь с шагом 0,1, как показано в таблице.

Легко заметить: 1,4 слишком мало для квадратного корня из двух, а 1,5 – слишком велико. Следовательно, √2 лежит между этими двумя величинами.

Продолжим в том же духе. Будем возводить в квадрат числа между 1,4 и 1,5, двигаясь с шагом 0,01. Мы обнаружим, что 1,41² = 1,9881, а 1,42² = 2,0164. Из этого можно сделать умозаключение, что

Мы можем двигаться таким образом все дальше и дальше, приближаясь к √2

Рано или поздно мы либо успокоимся (достигнув числа, фантастически близкого к

либо почувствуем отчаяние (увидев, что никогда не сможем точно вычислить √2

Но что означает это «точно»?

За границами рационального

Разумный способ определить точное значение числа – представить его в виде рационального числа, то есть отношения двух целых чисел. Если бы мы сумели представить √2 в виде дроби

где a и b – целые числа, мы бы нашли его точное значение.

Увы, но такое невозможно. Однако это нужно доказать.

Теорема. √2 не является рациональным числом.

Будем идти от противного, как и в главе 1, где мы подсчитывали количество простых чисел. Предположим, что √2 – рациональное число. Если это допущение приведет к абсурдным выводам, значит, оно несостоятельно.

Итак, приступим. Если √2 – рациональное число, его можно выразить в виде отношения двух целых чисел:

Возведем обе части тождества в квадрат:

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

Таким образом:

или:

2b² = a². (С)

Если a – целое число, мы можем разложить его на простые множители, причем (согласно основной теореме арифметики) одним-единственным способом:

a = p₁ × p₂ × … × p_n.

Проделаем аналогичную процедуру с b:

b = q₁ × q₂ × … × q_m.

Следовательно, левую часть равенства (С) можно представить в таком виде:

2b² = 2 × (q₁ × q₂ × … × q_m)² = 2 × (q₁ × q₁) × (q₂ × q₂) × … × (q_m × q_m).

Несложно заметить, что 2b² раскладывается на нечетное число простых множителей.

Аналогично поступаем с правой частью (С):

a² = (p₁ × p₂ × … × p_n) ² = (p₁ × p₁) × (p₂ × p₂) × … × (p_n × p_n).

В отличие от 2b², выражение a² раскладывается на четное число простых множителей.

Подытожим. В соответствии с нашим предположением 2b² = a². Это означает, что некоторое число одновременно можно разложить на четное и нечетное количество простых множителей. Но это противоречит основной теореме арифметики.

Мы пришли к невозможному выводу. Таким образом, наша изначальная посылка была ошибочна. Следовательно, √2 не является рациональным числом.

Такие числа, как √2 называют иррациональными. Рациональные числа хороши для операций с физическими величинами[43], но их недостаточно для всех математических величин. Длина диагонали квадрата 1 × 1 – иррациональное число.

Конструктивные числа

Начав с числа 1 и шаг за шагом проделывая операции сложения, вычитания и умножения, мы можем получить любое целое число, но и только. Если мы добавим операцию деления, нам откроются все рациональные числа, но ими же мы и будем ограничены.