Читаем Гаусс. Теория чисел полностью

Задачи такого типа часто встречаются в повседневной жизни, и их решение заботило математиков с самого начала развития этой науки. Очевидно, что задачи типа x - 3 = 0 имеют единственный корень, то есть 3. Если мы возьмем многочлен x + 3 = 0, то для его решения нам придется учитывать отрицательные числа, поскольку решение — это -3. Именно по этой причине потребовалось расширить множество натуральных чисел до множества целых чисел, которое включает в себя и отрицательные числа. Вавилоняне и египтяне осознали, что для решения простых уравнений первой степени нужно новое расширение, в данном случае это дроби, поскольку решением уравнения 3x — 2 = 0 является величина 2/3. Множество, которое включало в себя дроби, назвали множеством рациональных чисел.

С увеличением показателя степени многочлена все усложняется, и такое простое уравнение, как х²-2 = 0, привело греков к великому открытию, поскольку решение нельзя было выразить в виде дроби. Действительно, методом от противного было найдено аналитическое доказательство того, что sqrt(2) не является рациональным числом.

ИРРАЦИОНАЛЬНОЕ ЧИСЛО sqrt(2)

Находчивые древнегреческие математики предложили доказательство нерациональности sqrt(2), пользуясь методом от противного, который состоит в том, чтобы предположить противоположное тому, что мы хотим доказать, и прийти к логическому противоречию. Предположим, что sqrt(2) рационально, то есть его можно выразить с помощью некоторой дроби p/q. Теперь предположим, что дробь невозможно сократить, то есть что р и q — взаимно простые. Иначе было бы достаточноразделить оба элемента дроби на наибольший общий делитель. Так как sqrt(2) = p/q, получается, что, если возвести в квадрат оба члена, то 2 = p²/q², значит, 2q² = p², то есть р² — это четное число, и, следовательно, таким же является р. Так как р — четное число, то существует натуральное число k, такое, что р = 2k. Если подставить новое значение р в наше уравнение, получится, что 2q² = 4k². Это предполагает, что q² = 2k², то есть q -— также четное. Но это означает, что нашу исходную дробь можно сократить, а это противоречит условиям, следовательно, предположение, что sqrt(2) — рациональное число, ложно.

Столкнувшись с невозможностью выразить такие числа, как sqrt(2), в виде дроби, математики назвали их иррациональными. Несмотря на сложности, связанные с их точной записью, иррациональные числа имеют реальное значение, поскольку их можно представить как точки на числовой прямой. Число sqrt(2) находится между 1,4 и 1,5, и если построить прямоугольный треугольник, катеты которого будут равны 1, мы знаем, что его гипотенуза равна sqrt(2) по теореме Пифагора. Множество чисел, в которое включались бы и рациональные, и иррациональные числа, назвали действительными числами, и они представлены на числовой прямой.

Проблема поиска корней многочлена усложнялась, когда речь шла о том, чтобы найти решения таких с виду простых уравнений, как х² + 1 = 0. Казалось очевидным, что ни одно число, возведенное в квадрат, не может дать в результате отрицательное число, каким бы ни было исходное число, положительным или отрицательным. Итак, пришлось создать новый тип чисел, которые позволили бы решить уравнения этого типа. Новое число, sqrt(-1), было названо мнимым числом и обозначено как г. Создание, казалось бы, из ничего, решения для этого уравнения кажется обманом: почему бы не признать, что у уравнения просто нет решения? Но ответ в том, что найденное решение вызвало большой прогресс арифметики и при этом оно не содержит логических противоречий. Самолеты никогда не поднялись бы в воздух, если бы инженеры не пользовались мнимыми числами. Итак, если мы будем использовать новое обозначение и решим уравнение х² +1=0 как квадратный многочлен вида aх² + bх + с = 0, с помощью известной формулы

что приводит к корням i и -i, то получается, что x² + 1 = (x + r) · (x - r), в соответствии с основной теоремой алгебры.