Седьмая проблема Гильберта

Седьма́я пробле́ма Ги́льберта — одна из 23 задач, которые Давид Гильберт предложил 8 августа 1900 года на II Международном конгрессе математиков. Задача связана с доказательством и изучением трансцендентности и иррациональности некоторых чисел.

Постановка задачиПравить

Ниже приведена выдержка из доклада Гильберта, посвящённая седьмой проблеме.

Арифметические теоремы Эрмита о показательной функции и их развитие, выполненное Линдеманном, несомненно, останутся удивительными для математиков всех поколений. Но сейчас же появляется задача — пойти по проложенному пути дальше, как это уже сделал Гурвиц в своих двух интересных исследованиях «Об арифметических свойствах некоторых трансцендентных функций». Я хотел бы поэтому указать класс задач, на которые, по-моему, следовало обратить внимание как на ближайшие в этом направлении. Когда мы узнаём, что некоторые специальные трансцендентные функции, играющие в анализе существенную роль, принимают при определённых алгебраических значениях аргумента алгебраические же значения, то это обстоятельство кажется нам особенно удивительным и достойным дальнейшего исследования. Мы всегда ждём, что трансцендентные функции при алгебраических значениях аргументов принимают, вообще говоря, трансцендентные значения, и хотя нам хорошо известно, что существуют даже такие целые трансцендентные функции, которые для всех алгебраических значений аргумента принимают рациональные значения, мы всё же считаем очень вероятным, что такая функция, как, например, показательная $e^{i\mathrm{\pi <!--\; \pi \; -->}z}$$e^{{i\pi z}}$ , которая, очевидно, для всех рациональных значений аргумента $z$$z$  принимает алгебраические значения, с другой стороны, будет всегда принимать для всех алгебраических иррациональных значений $z$$z$  трансцендентные значения. Этому высказыванию можно придать и геометрический облик следующим образом. Если в равнобедренном треугольнике отношение угла при основании к углу при вершине есть алгебраическое, но не рациональное число, то отношение основания к боковой стороне есть трансцендентное число. Несмотря на простоту этого предложения, а также на его сходство с задачами, решёнными Эрмитом и Линдеманном, его доказательство представляется мне исключительно трудным, так же как и доказательство того, что степень ${\mathrm{\alpha <!--\; \alpha \; -->}}^{\mathrm{\beta <!--\; \beta \; -->}}$$\alpha ^{{\beta }}$  при алгебраическом основании $\mathrm{\alpha <!--\; \alpha \; -->}$$\alpha$  и алгебраическом иррациональном показателе $\mathrm{\beta <!--\; \beta \; -->}$$\beta$  — как, например, число $2^{\sqrt{2}}$$2^{{\sqrt {2}}}$  или $e^{\mathrm{\pi <!--\; \pi \; -->}}=i^{-<!--\; -\; -->2i}$$e^{{\pi }}=i^{{-2i}}$  — есть всегда или трансцендентное число, или по крайней мере иррациональное. Можно быть уверенным, что решение этой и аналогичных проблем должно привести нас к новым точкам зрения на существо специальных иррациональных и трансцендентных чисел.

РешениеПравить

Сам Гильберт считал седьмую задачу очень трудной. Карл Зигель приводит цитату Гильберта, в которой тот относит время решения седьмой задачи гораздо дальше доказательства гипотезы Римана и теоремы Ферма.

Тем не менее частичное решение, относящееся к трансцендентности отношения основания к боковой стороне равнобедренного треугольника, было получено А. О. Гельфондом уже в 1929 году, а трансцендентность числа $2^{\sqrt{2}}$$2^{{{\sqrt 2}}}$  была доказана Р. О. Кузьминым в 1930 году. В 1934 году Гельфонд получил окончательное решение задачи: он доказал, что число вида ${\mathrm{\alpha <!--\; \alpha \; -->}}^{\mathrm{\beta <!--\; \beta \; -->}},$$\alpha ^{\beta },$  где $\mathrm{\alpha <!--\; \alpha \; -->}$$\alpha$  — алгебраическое число, отличное от $0$$0$  и $1,$$1,$  а $\mathrm{\beta <!--\; \beta \; -->}$$\beta$  — иррациональное алгебраическое число, всегда является трансцендентным (число $e^{\mathrm{\pi <!--\; \pi \; -->}}$$e^{\pi }$  впоследствии даже получило название постоянной Гельфонда). Немного позднее решение было получено также Теодором Шнайдером.

ЛитератураПравить

• Гельфонд А. О. . К седьмой проблеме Гильберта // Проблемы Гильберта / под ред. П. С. Александрова. — М.: Наука, 1969. — 240 с. — 10 700 экз. Архивная копия от 17 октября 2011 на Wayback Machine — С. 121—127.
• Фельдман Н. И. . Седьмая проблема Гильберта. — М.: Издательство МГУ, 1982. — 312 с.
• Болибрух А. А. . Седьмая проблема Гильберта: иррациональные числа // Проблемы Гильберта (100 лет спустя). — М.: МЦНМО, 1999. — 24 с. — (Библиотека «Математическое просвещение», выпуск № 2). — 3000 экз.
• Тихомиров В. М., Успенский В. В.  Советская математика 30-х годов (II): А. О. Гельфонд и Л. Г. Шнирельман, часть «Александр Осипович Гельфонд и седьмая проблема Гильберта» // Математическое просвещение, серия № 3. — 2000. — Вып. 4. — С. 33—48.