Функция Эйлера

Фу́нкция Э́йлера — мультипликативная арифметическая функция, значение которой равно количеству натуральных чисел, меньших или равных и взаимно простых с ним[1].
Например, для числа 36 существует 12 меньших его и взаимно простых с ним чисел (1, 5, 7, 11, 13, 17, 19, 23, 25, 29, 31, 35), поэтому .
Названа в честь Эйлера, который впервые использовал её в 1763 году в своих работах по теории чисел для доказательства малой теоремы Ферма, а затем и для доказательства более общего утверждения — теоремы Эйлера. Позднее функцию использовал Гаусс в своем труде «Арифметические исследования», вышедшем в свет в 1801 году. Гаусс ввёл ставшее стандартным обозначение Шаблон:Sfn.
Функция Эйлера находит применение в вопросах, касающихся теории делимости и вычетов (см. сравнение по модулю), теории чисел, криптографии. Функция Эйлера играет ключевую роль в алгоритме RSAШаблон:Sfn.
Вычисление
| +0 | +1 | +2 | +3 | +4 | +5 | +6 | +7 | +8 | +9 | |
|---|---|---|---|---|---|---|---|---|---|---|
| 0+ | 1 | 1 | 2 | 2 | 4 | 2 | 6 | 4 | 6 | |
| 10+ | 4 | 10 | 4 | 12 | 6 | 8 | 8 | 16 | 6 | 18 |
| 20+ | 8 | 12 | 10 | 22 | 8 | 20 | 12 | 18 | 12 | 28 |
| 30+ | 8 | 30 | 16 | 20 | 16 | 24 | 12 | 36 | 18 | 24 |
| 40+ | 16 | 40 | 12 | 42 | 20 | 24 | 22 | 46 | 16 | 42 |
| 50+ | 20 | 32 | 24 | 52 | 18 | 40 | 24 | 36 | 28 | 58 |
| 60+ | 16 | 60 | 30 | 36 | 32 | 48 | 20 | 66 | 32 | 44 |
| 70+ | 24 | 70 | 24 | 72 | 36 | 40 | 36 | 60 | 24 | 78 |
| 80+ | 32 | 54 | 40 | 82 | 24 | 64 | 42 | 56 | 40 | 88 |
| 90+ | 24 | 72 | 44 | 60 | 46 | 72 | 32 | 96 | 42 | 60 |
Общие сведения
Функция Эйлера показывает, сколько натуральных чисел из отрезка имеют c только один общий делитель — единицу. Функция Эйлера определена на множестве натуральных чисел, и значения её лежат во множестве натуральных чисел.
Как следует из определения, чтобы вычислить , нужно перебрать все числа от до , и для каждого проверить, имеет ли оно общие делители с , а затем подсчитать, сколько чисел оказались взаимно простыми с . Эта процедура для больших чисел весьма трудоёмка, поэтому для вычисления используют другие методы, которые основываются на специфических свойствах функции Эйлера.
В таблице справа представлены первые 99 значений функции Эйлера. Значение при не превосходит , и в точности ему равно, если — простое. Таким образом, если в координатах провести прямую , то значения будут лежать либо на этой прямой, либо ниже её. Также, глядя на график, приведенный в начале статьи, и на значения в таблице, можно предположить, что существует прямая, проходящая через ноль, которая ограничивает значения снизу. Однако, оказывается, такой прямой не существует. То есть, какую бы пологую прямую мы ни провели, всегда найдется натуральное число , такое, что лежит ниже этой прямой. Ещё одной интересной особенностью графика является наличие некоторых прямых, вдоль которых концентрируются значения функции Эйлера. Так, например, помимо прямой , на которой лежат значения , где — простое, выделяется прямая, примерно соответствующая , на которую попадают значения , где — простое.
Более подробно поведение функции Эйлера рассматривается в разделе #Асимптотические соотношения.
Мультипликативность функции Эйлера
Одним из основных свойств функции Эйлера является её мультипликативность. Это свойство было установлено ещё Эйлером и формулируется оно следующим образом: для любых взаимно простых чисел и Шаблон:Sfn
Функция Эйлера от простого числа
Для простого значение функции Эйлера задаётся явной формулойШаблон:Sfn:
которая следует из определения. Действительно, если — простое, то все числа, меньшие , взаимно просты с ним, а их ровно штук.
Для вычисления функции Эйлера от степени простого числа используют следующую формулуШаблон:Sfn:
Это равенство обосновывается следующим образом. Подсчитаем количество чисел от до , которые не взаимно просты с . Все они, очевидно, кратны , то есть, имеют вид: Всего таких чисел . Поэтому количество чисел, взаимно простых с , равно .
Функция Эйлера от натурального числа
Вычисление для произвольного натурального основывается на мультипликативности функции Эйлера, выражении для , а также на основной теореме арифметики. Для произвольного натурального числа значение представляется в видеШаблон:Sfn:
где — простое число и пробегает все значения, участвующие в разложении на простые сомножители.
Пример применения:
Свойства
Обобщённая мультипликативность
Функция Эйлера является мультипликативной арифметической функцией, то есть
Здесь существенно, что наибольший общий делитель и равен единице. Оказывается, существует обобщение этой формулы на случай, когда и имеют общие делители, отличные от единицы. А именно, для любых натуральных и Шаблон:Sfn:
где — наибольший общий делитель и Это свойство является естественным обобщением мультипликативности. Шаблон:Hider Некоторые частные случаи:
- где — наименьшее общее кратное и , а — их наибольший общий делитель.
Теорема Эйлера
Наиболее часто на практике используется свойство, установленное Эйлером:
если и взаимно просты.
Это свойство, которое называют теоремой Эйлера, вытекает из Теоремы Лагранжа и того факта, что равна порядку мультипликативной группы обратимых элементов кольца вычетов по модулю .
В качестве следствия теоремы Эйлера можно получить малую теорему Ферма. Для этого нужно взять не произвольное а простое. Тогда:
Последняя формула находит применение в различных тестах простоты.
Другие свойства
Исходя из представимости произведением Эйлера, несложно получить следующее полезное утверждение:
Следующее равенство[3][4] является следствием Шаблон:Iw:
Всякое натуральное число представимо в виде суммы значений функции Эйлера от его натуральных делителейШаблон:Sfn:
Сумма всех чисел, меньших данного, и взаимно простых с ним, выражается через функцию Эйлера:
Множество значений
Исследование структуры множества значений функции Эйлера является отдельной сложной задачей. Здесь представлены лишь некоторые результаты, полученные в этой области[5].
- Функция Эйлера принимает только чётные значения при Причём, если имеет различных нечётных простых делителей, то
Шаблон:Hider В действительном анализе часто возникает задача нахождения значения аргумента по заданному значению функции, или, другими словами, задача нахождения обратной функции. Подобную задачу можно поставить и для функции Эйлера. Однако, надо иметь в виду следующее.
- Значения функции Эйлера повторяются (например, ), следовательно обратная функция является многозначной.
- Функция Эйлера принимает лишь чётные значения при то есть если нечётно и
В связи с этим нужны особые методы анализа. Полезным инструментом для исследования прообраза является следующая теорема[6].
- Пусть — чётное, положим
- где — простое.
- Если то
Шаблон:Hider Эта теорема показывает, что прообраз элемента всегда представляет собой конечное множество. Также она даёт следующий практический способ нахождения прообраза:
- 1) вычислить ;
- 2) вычислить для всех из полуинтервала ;
- 3) все числа для которых образуют прообраз элемента .
Может оказаться, что в указанном промежутке нет такого числа что в этом случае прообраз является пустым множеством.
Для вычисления нужно знать разложение на простые сомножители, что для больших является вычислительно сложной задачей. Затем нужно раз вычислить функцию Эйлера, что для больших чисел также весьма трудоёмко. Поэтому нахождение прообраза в целом является вычислительно сложной задачей.
Асимптотические соотношения
Простейшие неравенства
- Оценка снизу значений функции ЭйлераШаблон:Sfn[7]:
- для всех кроме и
- Оценка сверху для составных Шаблон:Sfn[8]:
- для всякого составного
- Для всех натуральных значений справедливо двойное неравенствоШаблон:Sfn:
Сравнение φ(n) с n
- Верхняя грань отношения приближается к единице с ростом Шаблон:Sfn:
- В то же время отношение может быть сколь угодно большимШаблон:Sfn:
Отношение последовательных значений
- Следующие равенства показывают, насколько непредсказуемо ведет себя функция ЭйлераШаблон:Sfn:
- и
- Формулы, приведенные выше, получил Somayajulu в 1950 году. А четырьмя годами позже Шинцель и Серпинский доказалиШаблон:Sfn, что множество
- плотно в множестве действительных положительных чисел.
- В том же году они установилиШаблон:Sfn, что множество
- плотно на интервале
Асимптотики для сумм
- Точное выражение для суммы последовательных значений функции ЭйлераШаблон:Sfn:
- Отсюда вытекает, что Шаблон:Iw функции Эйлера равно . Этот результат интересен тем, что позволяет получить вероятность события, состоящего в том, что два наугад выбранных натуральных числа являются взаимно простыми. А именно, эта вероятность равна Шаблон:Sfn.
- С учётом приведённого выше выражения, можно получить следующие асимптотические оценки:
- ;
- .
- Используя мультипликативность функции Эйлера и свойства суммы делителей , несложно установить, чтоШаблон:Sfn
- .
Порядок функции Эйлера
- В 1909 году Ландау получил равенствоШаблон:SfnШаблон:Sfn:
- Этот результат можно уточнить. В 1962 году была получена оценка снизу для функции Эйлера[9]:
- для всех , с одним исключением в указанном случае следует заменить на Это одна из наиболее точных оценок снизу для Шаблон:Sfn.
- В качестве оценки сверху был установлен следующий факт[10]: существует бесконечно много натуральных таких, что
- Как отмечает Шаблон:Iw по поводу доказательства этого неравенстваШаблон:Sfn: «Способ доказательства интересен тем, что неравенство сначала устанавливается в предположении, что гипотеза Римана верна, а затем в предположении, что она не верна».
Связь с другими функциями
Функция Мёбиуса
- Следующую формулу можно использовать для вычисления Шаблон:Sfn:
- где — функция Мёбиуса.
- Другие соотношения с функцией Мёбиуса:
- [11].
Ряд Дирихле
- Ряд Дирихле с коэффициентами можно представить через дзета-функцию РиманаШаблон:Sfn:
Ряд Ламберта
- Сумма ряда Ламберта с коэффициентами Шаблон:Sfn:
Наибольший общий делитель
- Функция Эйлера является дискретным преобразованием Фурье наибольшего общего делителя[12]:
- Действительная часть:
- В отличие от произведения Эйлера, вычисления по этим формулам не требуют знания делителей
Связь с латинскими квадратами
- Число циклических латинских квадратов порядка с фиксированной первой строкой определяется функцией Эйлера . Данную особенность можно использовать при вычислении значения функции Эйлера путем подсчета соответствующего числа квадратов заданного порядка используя алгоритм без умножений и делений, однако асимптотически это медленнее, чем расчет на базе факторизации аргумента . Циклические диагональные латинские квадраты являются подмножеством циклических латинских квадратов, поэтому число циклических диагональных латинских квадратов с фиксированной первой строкой (Шаблон:OEIS) является ограничением снизу на значение функции Эйлера [13].
Приложения и примеры
Функция Эйлера в RSA
На основе алгоритма, предложенного в 1978 году Рональдом Ривестом, Ади Шамиром и Леонардом Адлеманом, была построена первая система шифрования с открытым ключом, получившая название по первым буквам фамилий авторов — система RSA. Криптостойкость этой системы определяется сложностью разложения на сомножители целого -разрядного числа. Ключевую роль в алгоритме RSA играет функция Эйлера, свойства которой и позволяют построить криптографическую систему с открытым ключомШаблон:Sfn.
На этапе создания пары из секретного и открытого ключей вычисляется
где и — простые. Затем выбираются случайные числа так, чтобы
Затем сообщение шифруется открытым ключом адресата:
После этого расшифровать сообщение может только обладатель секретного ключа :
Корректность последнего утверждения основывается на теореме Эйлера и китайской теореме об остатках. Шаблон:Hider
Вычисление обратного элемента
Функция Эйлера может быть использована для вычисления обратного по умножению элемента по модулю , а именноШаблон:Sfn:
- если
Эта формула следует из теоремы Эйлера:
Решение линейного сравнения
Метод вычисления обратного элемента можно использовать для решения сравнения
Решение задаётся формулойШаблон:Sfn:
- если
Вычисление остатка от деления
Функции Эйлера позволяет вычислять остатки от деления больших чиселШаблон:Sfn.
Нахождение порядка мультипликативной группы кольца вычетов
Мультипликативная группа кольца вычетов по модулю состоит из классов вычетовШаблон:Sfn.
Пример. Приведённая система вычетов по модулю 14 состоит из классов вычетов:
Приложения в теории групп
Число порождающих элементов в конечной циклической группе равно . В частности, если мультипликативная группа кольца вычетов по модулю является циклической группой — что возможно только при , где — простое нечётное, — натуральноеШаблон:Sfn, — то существует генераторов группы (первообразных корней по модулю ).
Пример. Группа рассмотренная в примере выше, имеет генератора: и
Нерешенные вопросы
Задача Лемера
Шаблон:Основная статья Как известно, если — простое, то В 1932 году Шаблон:Iw задался вопросом, существует ли такое составное число , что является делителем . Лемер рассматривал уравнение:
где — целое. Ему удалось доказать, что если — решение уравнения, то либо — простое, либо оно является произведением семи или более различных простых чисел[14]. Позже были доказаны и другие сильные утверждения. Так, в 1980 году Cohen и Hagis показали, что если составное и делит то и где — количество простых делителей. В 1970 году Lieuwens установил, что если то и Wall в 1980 году доказал, что если то Шаблон:Sfn.
По сей день неизвестно, существуют ли составные решения задачи Лемера. Если предположить, что их не существует, то получается следующий критерий простоты: — простое тогда и только тогда, когда [14].
Гипотеза Кармайкла
Если посмотреть даже на первые десять значений функции Эйлера {1, 1, 2, 2, 4, 2, 6, 4, 6, 4}, бросается в глаза, что среди них много повторяющихся. Гипотеза Кармайкла состоит в том, что нет такого значения , которое функция Эйлера принимала бы только один раз.
В 1907 году Кармайкл предложил как упражнение доказать следующее утверждениеШаблон:Sfn:
- Если — натуральное число, то существует натуральное число такое, что
Иначе это утверждение можно сформулировать так[15]: не существует натурального числа такого, что
Однако в 1922 году Кармайкл обнаружил, что предложенное им доказательство содержит ошибку. В этом же году он показал, что если то Позже эта оценка неоднократно улучшалась, и современное значение нижней границы, с которой стоит начинать искать контрпример для гипотезы Кармайкла, есть Это значение получили Schlafly и Wagon в 1994 году, используя метод KleeШаблон:Sfn.
В 1999 году Форд доказал следующую теорему[16]:
Это означает, что, задавшись некоторым числом можно найти среди множества значений функции Эйлера такое значение что оно принимается ровно раз. Однако, доказать, что нет такого значения, которое функция Эйлера принимала бы только один раз, до сих пор никому не удалось[15].
См. также
Примечания
Литература
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Source
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Книга
Ссылки
- Арнольд В. И., Группы Эйлера и арифметика геометрических прогрессий (2003)
- Coleman R., Some remarks on Euler’s totient function (2012)
- Dineva R., The Euler Totient, the Möbius, and the Divisor Functions (2005)
- Ford K., The number of solutions of φ(x) = m (1999)
- József Sándor, Dragoslav S. Mitrinovic, Borislav Crstici, Handbook of Number Theory I (2005)
- Gupta H., Euler’s totient function and its inverse (1981)
- Hardy, Wright An Introduction to the Theory of Numbers (2008)
- Lehmer D. H., On Euler’s Totient Function (1932)
- Ruiz S., A Congruence With the Euler Totient Function (2004)
- Schramm, Wolfgang, The Fourier Transform of Functions of the Greatest Common Divisor (2008)
- Weisstein, Eric W. «Totient Function.» From MathWorld — A Wolfram Web Resource. http://mathworld.wolfram.com/TotientFunction.html
- ↑ Шаблон:Книга
- ↑ Шаблон:OEIS
- ↑ Weisstein, MathWorld, Totient Function
- ↑ Ruiz, S., A Congruence With the Euler Totient Function, 2004
- ↑ Информация в этом разделе основана на статье: Coleman, Some remarks on Euler’s totient function
- ↑ Gupta H., 1981
- ↑ Kendall and Osborn 1965
- ↑ Sierpiński and Schinzel 1988
- ↑ Шаблон:Статья (Theorem 15)
- ↑ Nicolas, 1983
- ↑ Rosica Dineva, The Euler Totient, the Möbius, and the Divisor Functions
- ↑ Schramm, 2008
- ↑ Ватутин Э.И. О перечислении циклических латинских квадратов и расчете значения функции Эйлера с их использованием // Высокопроизводительные вычислительные системы и технологии. 2020. Т. 4, № 2. С. 40–48.
- ↑ 14,0 14,1 Lehmer, 1932
- ↑ 15,0 15,1 Coleman, Some remarks on Euler’s totient function
- ↑ Ford, 1999