Концепция алгебраической теории чисел
В теории чисел число Хигнера ( как его назвали Конвей и Гай ) — это положительное целое число без квадратов d такое , что мнимое квадратичное поле имеет номер класса 1. Эквивалентно, кольцо целых алгебраических чисел имеет уникальную факторизацию . [1]
Определение таких чисел является частным случаем проблемы чисел классов , и они лежат в основе нескольких ярких результатов в теории чисел.
Согласно теореме (Бейкера–) Штарка–Хигнера существует ровно девять чисел Хигнера:
1, 2, 3, 7, 11, 19, 43, 67 и 163. (последовательность A003173 в OEIS )
Этот результат был выдвинут Гауссом и доказан с небольшими ошибками Куртом Хигнером в 1952 году. Алан Бейкер и Гарольд Старк независимо доказали этот результат в 1966 году, а Старк далее указал, что пробел в доказательстве Хигнера был незначительным. [2]
Полином Эйлера, порождающий простые числа
Полином Эйлера , порождающий простые числа
, который дает (различные) простые числа для n = 0, ..., 39, связан с числом Хегнера 163 = 4 · 41 - 1.
Рабинович [3] доказал, что это
дает простые числа тогда и только тогда, когда дискриминант этого квадратичного уравнения является отрицательным числом Хегнера.
(Обратите внимание, что дает , поэтому максимально.)
1, 2 и 3 не имеют требуемой формы, поэтому работающими числами Хигнера являются 7, 11, 19, 43, 67, 163, что дает простые производящие функции формы Эйлера для 2, 3, 5, 11, 17, 41; эти последние числа Ф. Ле Лионне назвал счастливыми числами Эйлера . [4]
Почти целые числа и константа Рамануджана
Константа Рамануджана — это трансцендентное число [5] , которое является почти целым числом , поскольку оно очень близко к целому числу : [6]
Это число было открыто в 1859 году математиком Чарльзом Эрмитом . [7]
В первоапрельской статье 1975 года в журнале Scientific American [8] обозреватель «Математических игр» Мартин Гарднер сделал ложное утверждение, что число на самом деле было целым числом и что индийский математический гений Шриниваса Рамануджан предсказал его - следовательно, его имя.
Это совпадение объясняется комплексным умножением и q -разложением j -инварианта .
Деталь
Далее j(z) обозначает j-инвариант комплексного числа z. Короче говоря, является целым числом, поскольку d является числом Хигнера и
через q -разложение.
Если это квадратичное иррациональное число, то его j -инвариант является целым алгебраическим числом степени , номер класса и минимальный (монический целочисленный) многочлен, которому он удовлетворяет, называется «многочленом класса Гильберта». Таким образом, если мнимое квадратичное расширение имеет номер класса 1 (поэтому d — число Хигнера), j -инвариант является целым числом.
q -разложение j , с его разложением в ряд Фурье, записанным как ряд Лорана через , начинается как:
Коэффициенты асимптотически растут,
а коэффициенты младшего порядка растут медленнее, чем , поэтому для j очень хорошо аппроксимируется своими первыми двумя членами. Установка дает
Теперь
так,
Или,
где линейный член ошибки,
объясняющий, почему находится примерно в пределах указанного выше целого числа.
Формулы Пи
Братья Чудновские в 1987 году обнаружили, что
для доказательства используется тот факт, что
аналогичные формулы см. в ряду Рамануджана – Сато .
Другие числа Хегнера
Для четырех наибольших чисел Хигнера получаются следующие аппроксимации [9] .
Альтернативно, [10]
где причина квадратов связана с определенными рядами Эйзенштейна . Для чисел Хигнера невозможно получить почти целое число; даже не примечателен. [11] Целочисленные j -инварианты хорошо факторизуемы, что следует из вида
и фактор как,
Эти трансцендентные числа , помимо того, что они точно аппроксимируются целыми числами (которые являются просто алгебраическими числами степени 1), могут быть точно аппроксимированы алгебраическими числами степени 3, [12]
Корни кубик могут быть точно заданы частными эта-функции Дедекинда η ( τ ), модулярной функции , включающей корень 24-й степени и которая объясняет число 24 в приближении. Их также можно близко аппроксимировать алгебраическими числами степени 4, [13]
Если обозначает выражение в скобках (например , ), оно удовлетворяет соответственно уравнениям четвертой степени
Обратите внимание на повторное появление целых чисел , а также на тот факт, что
они с соответствующей дробной степенью являются именно j -инвариантами.
Аналогично для алгебраических чисел степени 6:
где x s задаются соответственно соответствующим корнем секстических уравнений ,
при этом снова появляются j -инварианты. Эти секстики не только алгебраичны, они также разрешимы в радикалах , поскольку они разлагаются на две кубики по расширению (с первым разложением далее на два квадратика ). Эти алгебраические приближения могут быть точно выражены через эта-факторы Дедекинда. В качестве примера пусть тогда
где коэффициенты эта — это алгебраические числа, приведенные выше.
Номера класса 2
Три числа 88, 148, 232, для которых мнимое квадратичное поле имеет номер класса 2, не являются числами Хегнера, но обладают некоторыми схожими свойствами в терминах почти целых чисел . Например,
и
Последовательные простые числа
Учитывая нечетное простое число p , если вычислять для (этого достаточно, потому что ), можно получить последовательные составные числа, за которыми следуют последовательные простые числа, тогда и только тогда, когда p является числом Хигнера. [14]
Подробности см. в разделе «Квадратичные полиномы, производящие последовательные различные простые числа и группы классов комплексных квадратичных полей» Ричарда Моллина. [15]
Примечания и ссылки
- ^ Конвей, Джон Хортон ; Гай, Ричард К. (1996). Книга чисел. Спрингер. п. 224. ИСБН 0-387-97993-Х.
- ^ Старк, Х.М. (1969), «О пробеле в теореме Хигнера» (PDF) , Журнал теории чисел , 1 (1): 16–27, Бибкод : 1969JNT.....1...16S, doi : 10.1016/0022-314X(69)90023-7, hdl : 2027.42/33039
- ^ Рабинович, Георг «Eindeutigkeit der Zerlegung in Primzahlfaktoren inquadatischen Zahlkörpern». Учеб. Пятый интернат. Конгресс математики. (Кембридж) 1, 418–421, 1913.
- ^ Le Lionnais, F. Les nombres remarquables. Париж: Герман, стр. 88 и 144, 1983.
- ^ Вайсштейн, Эрик В. «Трансцендентное число». Математический мир .дает , по материалам Нестеренко Ю. В. «Об алгебраической независимости компонент решений системы линейных дифференциальных уравнений». Изв. Акад. Наук СССР, сер. Мат. 38, 495–512, 1974. Английский перевод по математике. СССР 8, 501–518, 1974.
- ^ Константа Рамануджана - из Wolfram MathWorld
- ^ Барроу, Джон Д. (2002). Константы природы . Лондон: Джонатан Кейп. п. 72. ИСБН 0-224-06135-6.
- ^ Гарднер, Мартин (апрель 1975 г.). «Математические игры». Научный американец . 232 (4). Scientific American, Inc: 127. Бибкод : 1975SciAm.232d.126G. doi : 10.1038/scientificamerican0475-126.
- ^ Их можно проверить, вычислив
на калькуляторе и
определив линейную погрешность.
- ^ «Подробнее о e^(pi*SQRT(163))». Архивировано из оригинала 11 августа 2009 г. Проверено 19 апреля 2008 г.
- ^ Абсолютное отклонение случайного действительного числа (выбранного, скажем, равномерно из [0,1] ) является равномерно распределенной переменной на [0, 0,5] , поэтому оно имеет абсолютное среднее отклонение и медианное абсолютное отклонение 0,25, а также отклонение 0,22 не является исключением.
- ^ «Формулы Пи».
- ^ «Расширение этаных коэффициентов Дедекинда Рамануджана».
- ^ «Простые комплексные квадратичные поля».
- ^ Моллин, РА (1996). «Квадратичные многочлены, производящие последовательные, различные простые числа и группы классов комплексных квадратичных полей» (PDF) . Акта Арифметика . 74 : 17–30. дои : 10.4064/aa-74-1-17-30.
Внешние ссылки
- Вайсштейн, Эрик В. «Число Хегнера». Математический мир .
- Последовательность OEIS A003173 (числа Хегнера: мнимые квадратичные поля с уникальной факторизацией)
- Проблема числа классов Гаусса для мнимых квадратичных полей, Дориан Голдфельд: Подробная история проблемы.
- Кларк, Алекс. «163 и Рамануджан Констан». Числофил . Брэйди Харан . Архивировано из оригинала 16 мая 2013 г. Проверено 2 апреля 2013 г.