Чтение онлайн

на главную - закладки

Жанры

Если бы числа могли говорить. Гаусс. Теория чисел
Шрифт:

В «Исследованиях» Гаусс придал новое направление теории чисел, которая перестала быть набором разрозненных результатов и превратилась в такую же важную математическую дисциплину, как анализ или геометрия.

Работа разделена на семь глав, или разделов. Первые три раздела вводные, разделы с IV по VI образуют центральную часть работы, а раздел VII — это маленькая монография, посвященная отдельной теме, но связанная с остальными главами.

< image l:href="#"/>

Молодому

Гауссу повезло, что он мог рассчитывать на материальную помощь герцога Брауншвейгского (сверху), который оплачивал его образование и покровительствовал ученому до своей смерти в 1806 году. Благодаря влиянию герцога Гаусс в 1791 году поступил в Коллегию Карла (внизу), где начал работу над некоторыми своими важнейшими математическими результатами, отраженными в «Арифметических исследованиях», обложка которых представлена на среднем фото.

В разделе I, состоящем всего из пяти страниц, вводятся элементарные понятия, такие как признаки делимости на 3, 9 и 11. Кроме того, Гаусс дает определение сравнения по модулю; это понятие будет раскрыто в разделе II: если заданы целые числа а и b и их разница (а - b или b - а) делится без остатка на число m, мы говорим, что a, b сравнимы по модулю m, и это записывается следующим образом: a = b (mod m). Так, 56 = 6 (mod 5) или 47 = 14 (mod 11).

Сравнения по модулю — очень важное открытие в математике, они помогают выполнять вычисления любого типа. Их идея близка к тому, как работают с обычным циферблатом часов, поэтому сравнения также называют вычислителями часов. Если обычные часы со стрелками показывают 9, и проходит 4 часа, стрелки будут показывать 1. То есть 13=1 (mod 12). Такое вычисление, как 7^2 = 7 · 7, в итоге дает 1 по модулю 12, поскольку 49, разделенное на 12, в остатке дает 1. Результат сравнения по модулю — это всегда остаток от деления числа на определенный модуль.

Значимость этой системы проявляется, когда речь идет о более сложных вычислениях. Если нужно вычислить 7^3 = 7 · 7 · 7, вместо того, чтобы умножать 49 на 7, Гаусс мог ограничиться тем, чтобы умножить 7 на результат последнего сравнения по модулю, то есть 1, произведение будет равно, без сомнения, 7. Так, Гаусс знал, что произведение — это число, которое при делении на 12 в остатке дает 7. Этот метод может быть применен на больших числах, которые превышают возможность вычисления. Не имея ни малейшего понятия о значении 799, с помощью сравнений по модулю ученый знал, что если разделить это число на 12, в остатке получится 7. Исследования Гаусса в этой области арифметики были революционными для математики начала XIX века и позволили ученым обнаруживать структуры, до этого скрытые. Сегодня арифметика сравнений по модулю, также называемая модульной арифметикой, является фундаментальной для безопасности в интернете, где сравнения используются для величин, превышающих количество атомов во Вселенной.

Также преимущество этой записи состоит в том, что она напоминает форму, в которой мы записываем алгебраические выражения. Вместо арифметической делимости, описание которой может быть громоздким, она дает краткую запись, благодаря которой можно складывать, вычитать и умножать сравнения, если их модуль одинаков, а также решать уравнения вида: ах + b == c (mod m).

В заключении к двум первым разделам Гаусс применил эти методы к историческим проблемам, таким как вычисление знаменитой функции Эйлера. Функция (N) определяется как количество целых положительных чисел, меньших или равных N и взаимно простых с . В математике два числа называются взаимно простыми, если у них нет общих делителей, то есть их наибольший общий делитель — 1. Например, 9 = З^2 является взаимно простым с 10 = 5 · 2, и его нужно было бы найти при вычислении ( 10). Множество ( 10) состоит, следовательно, из четырех элементов (1, 3, 7 и 9), и значит, ( 10) = 4.

Гаусс вывел общую формулу для вычисления . Если мы разложим N на простые множители 1,2, ...,рn, то получим N = р1m1, p2m2 · ... · pnmn, где pi простые числа, a mi — кратность их повторения. Формула имеет вид:

Если применить формулу к N= 10, то

чего и следовало ожидать.

Формула зависит от простых чисел, на которые раскладывается N, а не от кратности их повторения. В случае с N = 180 получается, что 180 = 2^2 · З^2 · 5, следовательно,

Раздел заканчивается доказательством основной теоремы о многочленных сравнениях. Так, сравнение степени m,

amxm + am-1xm-1 + ··· +а1x + b == 0 (mod р),

модуль которой р — простое число, не являющееся делителем аm, может быть решена не более чем m различными способами или не может иметь больше m корней, не сравнимых по модулю р.

В разделе III, озаглавленном De residuis Potestatum («О степенных вычетах»), говорится о квадратичных вычетах и вычетах большей степени. Если заданы целые числа тип, где m не является делителем n, и если существует такое число x, что х^2 = m (mod n), говорят, что m — квадратичный вычет по модулю n; в противном случае говорят, что m — квадратичный невычет по модулю n. Например: 13 — квадратичный вычет по модулю 17, поскольку уравнение х^2 == 13 (mod 17) имеет в качестве решений х = 8, 25, 42, поскольку 8^2 = 64, что при делении на 17 дает 13 в остатке, 25^2 = 625, что при делении на 17 вновь дает 13 в остатке, и то же самое происходит с 42^2 = 1764.

В разделе доказывается малая теорема Ферма: np-1 == 1 (mod p), где р — простое число, не являющееся делителем n. То есть если р — простое число, которое не является делителем n, то np-1 всегда делится на р. Для случая n = 8 np = 5 получается, что 84– 1 = 4095, а это делится на 5. Для получения этого результата Гаусс воспользовался формулой бинома Ньютона, сформулированной для сравнений. Следствием является теорема Вильсона, в которой говорится, что если задано простое число р, то

1·2·3·...·(p-1) = (p-1)! == -1 (mod p).

Произведение всех чисел, меньших заданного простого, при добавлении единицы всегда делится на это число. Если, например, мы выберем 7, то 6! = 720, а 721 делится на 7.

Три первых раздела представляют собой системное введение в теорию чисел и готовят почву для разделов IV и V.

Главный итог раздела IV — это знаменитый квадратичный закон взаимности. Теорема (в виде гипотезы) была сформулирована Эйлером в 1742 году в его письме Гольдбаху. Полвека спустя, в 1798 году, Лежандр опубликовал доказательство, основанное на недоказанных аргументах, так что первое правильное доказательство теоремы принадлежало Гауссу, который называл ее золотой теоремой. В книге Гаусса она сформулирована в следующем виде:

Поделиться:
Популярные книги

Камень Книга седьмая

Минин Станислав
7. Камень
Фантастика:
фэнтези
боевая фантастика
6.22
рейтинг книги
Камень Книга седьмая

Барон диктует правила

Ренгач Евгений
4. Закон сильного
Фантастика:
фэнтези
попаданцы
аниме
5.00
рейтинг книги
Барон диктует правила

Ты не мой BOY

Рам Янка
5. Самбисты
Любовные романы:
современные любовные романы
5.00
рейтинг книги
Ты не мой BOY

Дворянская кровь

Седой Василий
1. Дворянская кровь
Фантастика:
попаданцы
альтернативная история
7.00
рейтинг книги
Дворянская кровь

Неверный

Тоцка Тала
Любовные романы:
современные любовные романы
5.50
рейтинг книги
Неверный

Не грози Дубровскому! Том V

Панарин Антон
5. РОС: Не грози Дубровскому!
Фантастика:
фэнтези
попаданцы
аниме
5.00
рейтинг книги
Не грози Дубровскому! Том V

Сердце Дракона. Том 19. Часть 1

Клеванский Кирилл Сергеевич
19. Сердце дракона
Фантастика:
фэнтези
героическая фантастика
боевая фантастика
7.52
рейтинг книги
Сердце Дракона. Том 19. Часть 1

Мама для дракончика или Жена к вылуплению

Максонова Мария
Любовные романы:
любовно-фантастические романы
5.00
рейтинг книги
Мама для дракончика или Жена к вылуплению

Ваше Сиятельство 3

Моури Эрли
3. Ваше Сиятельство
Фантастика:
фэнтези
попаданцы
аниме
5.00
рейтинг книги
Ваше Сиятельство 3

Снегурка для опера Морозова

Бигси Анна
4. Опасная работа
Любовные романы:
современные любовные романы
5.00
рейтинг книги
Снегурка для опера Морозова

Архил...?

Кожевников Павел
1. Архил...?
Фантастика:
попаданцы
альтернативная история
5.00
рейтинг книги
Архил...?

Идеальный мир для Социопата 2

Сапфир Олег
2. Социопат
Фантастика:
боевая фантастика
рпг
6.11
рейтинг книги
Идеальный мир для Социопата 2

Внешняя Зона

Жгулёв Пётр Николаевич
8. Real-Rpg
Фантастика:
фэнтези
попаданцы
рпг
5.00
рейтинг книги
Внешняя Зона

Идеальный мир для Лекаря 16

Сапфир Олег
16. Лекарь
Фантастика:
боевая фантастика
юмористическая фантастика
аниме
5.00
рейтинг книги
Идеальный мир для Лекаря 16