Седьма́я пробле́ма Ги́льберта — одна из 23 задач, которые Давид Гильберт предложил 8 августа 1900 года на II Международном конгрессе математиков. Задача связана с доказательством и изучением трансцендентности и иррациональности некоторых чисел.
Постановка задачи
правитьНиже приведена выдержка из доклада Гильберта[1], посвящённая седьмой проблеме.
Арифметические теоремы Эрмита о показательной функции и их развитие, выполненное Линдеманном, несомненно, останутся удивительными для математиков всех поколений. Но сейчас же появляется задача — пойти по проложенному пути дальше, как это уже сделал Гурвиц в своих двух интересных исследованиях «Об арифметических свойствах некоторых трансцендентных функций»[2]. Я хотел бы поэтому указать класс задач, на которые, по-моему, следовало обратить внимание как на ближайшие в этом направлении. Когда мы узнаём, что некоторые специальные трансцендентные функции, играющие в анализе существенную роль, принимают при определённых алгебраических значениях аргумента алгебраические же значения, то это обстоятельство кажется нам особенно удивительным и достойным дальнейшего исследования. Мы всегда ждём, что трансцендентные функции при алгебраических значениях аргументов принимают, вообще говоря, трансцендентные значения, и хотя нам хорошо известно, что существуют даже такие целые трансцендентные функции, которые для всех алгебраических значений аргумента принимают рациональные значения, мы всё же считаем очень вероятным, что такая функция, как, например, показательная , которая, очевидно, для всех рациональных значений аргумента принимает алгебраические значения, с другой стороны, будет всегда принимать для всех алгебраических иррациональных значений трансцендентные значения. Этому высказыванию можно придать и геометрический облик следующим образом. Если в равнобедренном треугольнике отношение угла при основании к углу при вершине есть алгебраическое, но не рациональное число, то отношение основания к боковой стороне есть трансцендентное число. Несмотря на простоту этого предложения, а также на его сходство с задачами, решёнными Эрмитом и Линдеманном, его доказательство представляется мне исключительно трудным, так же как и доказательство того, что степень при алгебраическом основании и алгебраическом иррациональном показателе — как, например, число или — есть всегда или трансцендентное число, или по крайней мере иррациональное. Можно быть уверенным, что решение этой и аналогичных проблем должно привести нас к новым точкам зрения на существо специальных иррациональных и трансцендентных чисел[3].
Решение
правитьСам Гильберт считал седьмую задачу очень трудной. Карл Зигель приводит цитату Гильберта[4], в которой тот относит время решения седьмой задачи гораздо дальше доказательства гипотезы Римана и теоремы Ферма.
Тем не менее частичное решение, относящееся к трансцендентности отношения основания к боковой стороне равнобедренного треугольника, было получено А. О. Гельфондом уже в 1929 году[5], а трансцендентность числа была доказана Р. О. Кузьминым в 1930 году[6]. В 1934 году Гельфонд получил общее решение задачи[7]: он доказал, что число вида где — алгебраическое число, отличное от и а — иррациональное алгебраическое число, всегда является трансцендентным[8] (число впоследствии даже получило название постоянной Гельфонда). Немного позднее решение было получено также Теодором Шнайдером[9].
Примечания
править- ↑ Hilbert, David. Vortrag, gehalten auf dem internationalen Mathematiker-Kongreß zu Paris 1900 (нем.). — Текст доклада, прочитанного Гильбертом 8 августа 1900 года на II Международном конгрессе математиков в Париже. Дата обращения: 27 августа 2009. Архивировано из оригинала 8 апреля 2012 года.
- ↑ Hurwitz, Adolf. Über arithmetische Eigenschaften gewisser transcendenten Functionen (нем.) // Mathematische Annalen. — Berlin: Springer, 1883. — Bd. 22, Nr. 2. — S. 211—229. (недоступная ссылка)
- ↑ Перевод доклада Гильберта с немецкого — М. Г. Шестопал и А. В. Дорофеева, опубликован в книге Проблемы Гильберта / Под ред. П. С. Александрова. — М.: Наука, 1969. — С. 36—37. — 240 с. — 10 700 экз. Архивировано 17 октября 2011 года.
- ↑ Siegel C. L. . Transcendental numbers. — Princeton: Princeton University Press, 1949. — Vol. 16. — 102 p. — (Annals of mathematics studies). — ISBN 0-691-09575-2. Архивировано 12 ноября 2012 года. — P. 84.
- ↑ Gelfond A. Sur les nombres transcendants (фр.) // Comptes Rendus de l'Académie des sciences. — Paris, 1929. — Vol. 189. — P. 1224—1228.
- ↑ Кузьмин Р. О. Об одном новом классе трансцендентных чисел // Известия Академии наук СССР. VII серия. Отделение физико-математических наук. — 1930. — № 6. — С. 585-597.
- ↑ Гельфонд А. О. О седьмой проблеме Гильберта // Доклады Академии наук СССР. — 1934. — Т. 2. — С. 1—6.
- ↑ Рыбников К. А. . История математики. 2-е изд. — М.: Изд-во Моск. ун-та, 1974. — 455 с. — С. 304.
- ↑ Schneider T. Transzendenzuntersuchungen periodischer Funktionen (нем.) // Journal für die reine und angewandte Mathematik. — 1934. — Bd. 172. — S. 65—69.
Литература
править- Гельфонд А. О. . К седьмой проблеме Гильберта // Проблемы Гильберта / под ред. П. С. Александрова. — М.: Наука, 1969. — 240 с. — 10 700 экз. Архивная копия от 17 октября 2011 на Wayback Machine — С. 121—127.
- Фельдман Н. И. . Седьмая проблема Гильберта. — М.: Издательство МГУ, 1982. — 312 с.
- Болибрух А. А. . Седьмая проблема Гильберта: иррациональные числа // Проблемы Гильберта (100 лет спустя). — М.: МЦНМО, 1999. — 24 с. — (Библиотека «Математическое просвещение», выпуск № 2). — 3000 экз.
- Тихомиров В. М., Успенский В. В. Советская математика 30-х годов (II): А. О. Гельфонд и Л. Г. Шнирельман, часть «Александр Осипович Гельфонд и седьмая проблема Гильберта» // Математическое просвещение, серия № 3. — 2000. — Вып. 4. — С. 33—48.