Микель Альберти - Мир математики. т.20. Творчество в математике. По каким правилам ведутся игры разума

Пифагорейцы считали, что длина D (квадратный корень из 2) должна быть соизмерима со стороной квадрата, то есть быть дробным числом. Если бы мы разделили сторону квадрата на достаточно большое число частей, например на миллион, то длина диагонали должна была равняться целому числу частей. Можно ли представить ее как 1414213? Нет, так как квадратный корень из двух нельзя представить в виде частного двух натуральных чисел, и это помешало найти меру, которой можно было бы вычислить и сторону квадрата, и его диагональ.

Теорема породила чудовище, невозможное с общепринятой точки зрения.

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

Так появились несоизмеримые величины. В то время математики не обладали достаточными знаниями, чтобы доказать, что длина окружности также несоизмерима с ее диаметром, то есть что число π несоизмеримо с дробными числами.

Рассмотрим, почему квадратный корень из 2 нельзя представить как частное двух натуральных чисел. Всякое натуральное число n можно представить в виде произведения простых множителей. Пример:

12 = 2 2·3;

315 = 3 2·3·7.

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

12 2= (2 2·3) 2= 2 4·3 2;

315 2= (З 2·5 ·7) 2= З 4·5 2·7 2.

Если частное двух натуральных чисел m и n равно квадратному корню из двух, то

Теперь разложение на простые множители для m 2и для m 2содержит четное число простых множителей. По этой причине, вне зависимости от того, присутствует ли 2 в разложении n 2на множители, 2 будет фигурировать в разложении 2 n 2нечетное число раз. Если разложение n 2на множители не содержит 2, то разложение 2 n 2будет содержать одну двойку; если же в разложении n 2содержится несколько двоек, их число будет четным, следовательно, в разложении 2 n 2двойка встретится нечетное число раз. Поэтому m 2и n 2 не могут быть равны, так как в разложении одного из этих чисел 2 встретится четное число раз, а в разложении другого — нечетное число раз. Следовательно, √2 не может быть частным двух натуральных чисел, и диагональ квадрата и его сторона несоизмеримы.

* * *

ТРАНСЦЕНДЕНТНЫЕ ЧИСЛА

Многочлен — это выражение, в котором присутствует переменная, возведенная в различные степени с натуральным показателем. Числа, на которые умножается переменная в этих степенях, называются коэффициентами. Например, следующий многочлен

Р( х ) = х 5— 4 х 3+ 3 х 2/2 -6

имеет рациональные коэффициенты, а именно 1, -4, 3/2 и -6. Число а называется корнем многочлена, если при этом значении переменной многочлен обращается в ноль: Р( а ) = 0. Число а = 2 является корнем вышеприведенного многочлена. Число называется трансцендентным, если не существует многочлена с рациональными коэффициентами, корнем которого оно бы являлось. Иными словами, нельзя записать уравнение со степенями с натуральным показателем, решением которого будет трансцендентное число. Иррациональность числа √2 была доказана еще в Древней Греции. Об иррациональности числа я математики подозревали давно, однако доказательство этому было найдено лишь в 1761 году благодаря усилиям Иоганна Ламберта. В 1882 году Линдеман доказал, что я является трансцендентным числом. Как следствие, была окончательно доказана невозможность решения задачи о квадратуре круга. Число е ( е = 2,71828182845904…) названо так по первой букве фамилии одного из величайших математиков всех времен — Леонарда Эйлера(1707–1783) . Так же как и π, е является иррациональным и трансцендентным.

* * *

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

Однако математик Курт Гёдель(1906–1978) доказал, что это не так, что существуют недоказуемые теоремы о натуральных числах, то есть о них нельзя сказать, истинны они или ложны. Согласно так называемой теореме Геделя о неполноте натуральные числа также содержат парадоксы.