Антонио Лизана - Если бы числа могли говорить. Гаусс. Теория чисел

а это число находится между двумя предыдущими по построению. Также существует рациональное число, которое находилось бы между только что вычисленным и каким-либо предыдущим, и этот процесс можно повторять бесконечно. Итак, между двумя любыми рациональными числами существует бесконечное количество рациональных чисел независимо оттого, как близко друг от друга располагаются исходные числа. Это приводит к мысли о том, что рациональные числа находятся так близко друг от друга, как мы этого захотим. Из-за этого свойства математики говорят, что Q является плотным множеством среди действительных чисел. То есть если х — действительное число и оно является центром отрезка числовой прямой, этот отрезок обязательно содержит рациональные числа, каким бы маленьким он ни был. Остаются ли на числовой прямой промежутки для иррациональных чисел? Ответ удивляет: множество рациональных чисел имеет нулевой размер. Это означает, что если мы выберем наугад точку на числовой прямой, то вероятность того, что эта точка будет рациональным числом, равна нулю. Математики оставляют нулевую вероятность только для невозможных случаев. Удивительно, что в школьной программе так много времени посвящено овладению арифметикой множества, исчезающе малого на числовой прямой.

Кроме того, именно Гаусс увидел самые широкие возможности для применения комплексных чисел в будущем. Также Гаусс ответил и на другой вопрос: понадобится ли математикам создавать новые числа для каждого нового уравнения? Если бы мы захотели решить такое уравнение, как х 4+ 1 = 0, нужно ли искать новые числа? Гаусс доказал, что в этом нет необходимости: пользуясь числом i, математики могут решить любое полиномиальное уравнение. Его решением будет сочетание обычного действительного числа и нового числа i. Гаусс открыл, что мнимые числа — это просто добавление нового измерения к обычной числовой прямой, поэтому каждое мнимое число соответствует точке на плоскости — так же, как действительное число соответствует точке на прямой. Кроме того, ученый создал новый способ представления чисел с помощью координатной оси, как показано на рисунке.

Так, мнимое число z имело бы вид а + bi, как точка с координатами (a, b) на плоскости, что показано на рисунке. Ось R используется для действительной части, а ось I — для мнимой. Кроме того, Гаусс снабдил комплексные числа арифметикой, которая позволила бы проводить с ними все виды операций.

Несмотря на то что речь шла об очень эффективном представлении, Гаусс держал в секрете эту карту мира мнимых чисел. Как только доказательство было обнаружено, ученый убрал графические «леса», так что от них не осталось и следа. При этом он осознавал, что математики часто смотрят на графики с некоторым подозрением, отдавая предпочтение языку формул и уравнений, поскольку в то время существовало мнение, что графики могут быть ошибочными. Гаусс знал, что графическое представление мнимых чисел вызовет недоверие, поэтому исключил его из доказательства, которое сразу же стало довольно непонятным для современников. Непонятным настолько, что в некоторых книгах по истории науки говорится, что первое доказательство теоремы, предложенное математиком, было ошибочным, хотя вернее было бы сказать — неполным. И пробел находится в том варианте доказательства, которое было опубликовано, а не в том, которое Гаусс вывел для себя.

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

— Сумма:

(a + bi) + {c + di) = a + c + (b + d) i.

— Произведение:

(a + bi) · (c + di) = ac + adi + bci + bdi² = ac-bd + (be + + ad) i.

При таком определении операций у чисел есть необходимые свойства для того, чтобы иметь алгебраическую структуру поля:

— ассоциативность обеих операций;

— коммутативность обеих операций;

— существование нейтрального элемента (0 для суммы и 1 для произведения);

— существование результата, противоположного сумме, и результата, обратного произведению;