Вы находитесь на странице: 1из 14

Math-Net.

Ru
All Russian mathematical portal

R. Kuzı̌min (R. Kuzmin), Sur une nouvelle classe de


nombres transcendants, Bulletin de l’Académie des
Sciences de l’URSS. VII série, 1930, Issue 6, 585–
597

Use of the all-Russian mathematical portal Math-Net.Ru implies that


you have read and agreed to these terms of use
http://www.mathnet.ru/eng/agreement

Download details:
IP: 212.128.98.139
January 29, 2020, 17:56:07
ИЗВЕСТИЯ А К А Д Е М И И Н А У К СССР. 1930.
BULLETm DE L'ACADÉMIE D E S SCIENCES D E L'URSS

Classe des Sciences Отделение Физико-


Physieo-Mathématiques Математических Наук

ОБ ОДНОМ НОВОМ КЛАССЕ ТРАНСЦЕНДЕНТНЫХ ЧИСЕЛ

Р. О. КУЗЬМИНА

(Представлено академиком И. Ш. Виноградовым в заседании Отделения Физико-Математи­


ческих Наук 4 апреля 1930 года)

В декабрьском выпуске журнала «Comptes Bendus de l'Académie des


Sciences de Paris» (1929) помещена интересная заметка A. ГЕЛЬФОНДА,
в которой автор излагает новый результат, полученный им в теории тран­
сцендентных чисел с помощью крайне остроумных соображений. Результат,
а
достигнутый им, можно высказать так: все числд вида сю , где со — алге­
браическое число, а — мнимая квадратичная иррациональность, трансцен-
дентны. В частности, например, е = (— 1)~ транснендентно. В настоя­
% г

щей работе я доказываю теорему, в некотором отношении дополнительную


а
к теореме ГельФонда. Мою теорему можно прочесть так: числа вида со ,
где со—алгебраическое число, а — вещественная квадратичная иррацио­
нальность, трансцендентны.
Например, по этой теореме 2 * трансцендентно. Интересно отметить,
Ѵ

что о столь просто определенном числе до сих пор не было известно даже
меньшее—рационально ли оно. Вопрос об его иррациональности был когда-то
предложен в «Nouvelles Annales Mathématiques», но до сих пор не был
решен, как это отмечено, например, в докладе А. Я . ХИНЧИНА на Московском
съезде математиков РСФСР.
Содержащийся в § 3 и имеющий в данной работе вспомогательное
значение результат не лишен самостоятельного интереса. Он может быть
легко обобщен и несколько уточнен.
Метод, которым я пользуюсь, в основе своей близок к методу А . О. ГЕЛЬ-
ФОНДА (последний впрочем в полном виде неизвестен мне, так как полное
его изложение находится в японских журналах, оставшихся мне недоступ-
- 5 8 5 -
586 Р. О. КУЗЬМИН

ными). В некоторых отношениях мой метод проще и элементарнее. В част­


ности я обхожусь без теории Функций комплексного переменного.

§ 1» Пусть D — целое положительное число, не делящееся на 4 .

Кроме того пусть а = * , если D = 1 (mod 4) и q^—VD в осталь-

ных случаях. При этом D неравно точному квадрату.


Целые числа хч-<ху квадратичной области ( 1 , а) будем изображать
точками (х у) с целыми координатами. Числа идеала (а) данной квадратич­
г

ной области будут тогда изображаться точками параллелограматической


сети, у которой площадь основного параллелограма будет равна норме
идеала N(a).
Рассмотрим область S с площадью, которую будем обозначать S,
ограниченную контуром длиной I. При этом будем считать, что площадь S
увеличивается беспредельно, а Форма области если и изменяется, то так,
r
что отношение величины I к величине Vò не превосходит некоторой постоян­
ной С. В случае, если Форма площади не изменяется, сказанное условие
выполняется само собой.
Определим сколько точек сети идеала (а) лежит внутри площади S.
К основному параллелограму сети отнесем одну вершину. Так как все
остальные основные нараллелограмы получаются у данной сетки параллель­
ным перенесением, то каждому из них тем самым будет отнесена одна из
его вершин. Ясно, что таким образом каждой точке будет соответствовать
один параллелограм. Пусть п г число таких параллелограмов, которые
целиком лежат внутри $, п — число таких параллелограмов,
% которые
с областью S имеют хотя бы одну общую точку, п — число точек сети,
лежащих внутри 8.
Тогда очевидны неравенства

n N(a)<S<n N(a).
1 2

Ясно также, что число п заключено между числами п и п х г Отсюда


вытекает равенство
S
п =
• щ - ( 2 — ^ ) ;Н В Л
о<ѳ<і.

Число п — п равно числу различных параллелограмов, по которым


$ г

проходит контур, длиной ,1 Из геометрических соображений ясно, что


ОБ ОДНОМ НОВОМ КЛАССЕ ТРАНСЦЕНДЕНТНЫХ ЧИСЕЛ 587

•у каждых пяти параллелограмов один из них удален от ближайшей точки


некоторого другого из них не меньше, чем на (х — наименьшую из высот
параллелограма. Поэтому часть контура I, заключенная между той точкой,
где он входит в первый из пяти параллелограмов, и той, где он оконча­
тельно покидает последний из пяти, по длине должна быть больше, чем
число [л. Отсюда следует неравенство

В связи со сказанным раньше, находим

S 5QGsß
П:

Основной параллелограм выберем так. Первую вершину его О возьмем


в начале координат. Другую поместим в ближайшей к О из всех остальных
точек сети идеала (а). Если ближайших точек несколько, то возьмем одну
из них. Полученную точку назовем А. На прямой OA будет находиться
бесчисленное множество точек идеала (а) на расстоянии h — OA. Осталь­
ные точки будут расположены на прямых, параллельных с OA и удален-
N(a) тт ~
ных друг от друга на расстояние — . Через точку и проведем прямую
перпендикулярную отрезку OA. На параллели, ближайшей OA, найдется
одна из точек идеала (а), удаленная от проведенного перпендикуляра не
более, чем на -|. Иногда таких точек будет две. Эта точка, или одна ш
таких точек — назовем ее В—должна быть принята за третью вершину
параллелограма, у которого таким образом двумя сторонами будут век-

торы б А и OB. Пусть OB = Ji. Очевидно, что sin(Ä, Ä ) > — •


1

Называя высоты параллелограма б ж б причем б < б , находим


17 х

66 = N(a)smy>
1 Ща)^-

Из того обстоятельства, что одновременно с числом А = х-+-<ху к


идеалу (а) принадлежит также и число Аос, равное х<х ч- о?у, и не лежащее
588 P. 0 . КУЗЬМИН

на прямой OA, вытекает неравенство бг < 6D. Отсюда следует, что


2 т Ѵ
величина p. D больше чем Л (я)- ~ -
Для величины п это дает такое равенство :

§ 2. Составим произведение Iìz k всех чисел Zj. — жн- сну, изображае­


мых целыми точками площади S.
Определим в какой степени входит простой идеал (а) в разложении
числа Uz на идеальные множители. Эту степень можно определить так:
k

сосчитаем сколько чисел идеала (а) принадлежит площади S, потом решим


2 3
такой же вопрос относительно идеалов (а) , ( а ) , . . . . Таким образом полу­
чится только конечное число чисел, отличных от нуля. Ясно, что искомая
степень будет суммой полученных чисел.
Применяя окончательную Формулу § Л и обозначая искомую степень
через п (а), находим

4 J
V V

При этом суммирование распространяется на все те значения ѵ, при


которых в идеале (а) находится хотя бы одно отличное от нуля число,
ѵ

изображаемое точкой области S. Величина G по.абсолютному значению не


превосходит некоторой постоянной т, не зависящей от выбора идеала (а)
и от величины площади S.

§ 3. Полученный результат позволяет обобщить некоторые результаты


ЧЕБЫШЕВА И МЕРТЕНСА на комплексные целые числа. Будем исходить из
a
тождества: ШѴ"(%) = ïïN(a)4 \ Отсюда находим

I а

Применяя Формулу § 2, последнее можно переписать так:

т £ m (а) \ ^jp^j
ОБ ОДНОМ НОВОМ КЛАССЕ ТРАНСЦЕНДЕНТНЫХ ЧИСЕЛ 589

Для изучения правок части равенства обозначим величину


через ст. Применяя неравенство Коши-Шварца, находим

Величина lgN(a) распадается на ряд сумм ^ Ig N (а), распро-


ѵ
страненных на все (я) , имеющие хотя бы одну точку в S. Каждая из таких
сумм может быть переписана в виде

2v(p)igjp,

где V (р) = 1 или 2, смотря по тому, распадается число р на идеальные


множители или нет.
Поэтому

При этом если р не разлагается на идеальные множители, то должно


соблюдаться неравенство р < /.
Если же р разлагается на идеальные множители, тогда p — N(p).
Причем в идеале (р) должно содержаться число отличное от нуля и пред­
ставляемое точкой в S, расстояние которой от начала координат должно
быть меньше, чем L С другой стороны расстояние между ближайшими
точками идеала больше, чем величина (л, упомянутая в § 1. Поэтому

отсюда
2Z*

а
590 P. 0 . КУЗЬМИН

распространенная на все (а), имеющие хотя одну точку в S, будучи не


больше, чем величина

•p<CS

по известной теореме из теории простых чисел не превзойдет величины 4CS.


Таким же образом величина

2 ig m
(ар

распространенная на такие идеалы (а), квадраты которых содержат точки


в S, не превзойдет величины 40 \JS и т. д.
Следовательно величина

есть величина порядка &


Объединяя сказанное для величины правой части изучаемого равен­
ства, получаем выражение
Sa ^0(8
где

а, V

Для изучения величины

^lg\N(x-+-<xy)\

воспользуемся равенством

^ìg\N{x^ay)\=^\g\x^ay\^^\g\x — &у\.
Каждую из сумм правой части этого равенства можно изучать спосо­
бом пригодным, с соответствующими изменениями и для другой.
Разобьем площадь S на три части прямыми, параллельными прямой

X — осу = О и удаленной от нее на расстояние, равное у ^ ~ « При этом


предполагается, что начало координат лежит внутри S, а одна из трех
ОБ ОДНОМ НОВОМ КЛАССЕ ТРАНСЦЕНДЕНТНЫХ ЧИСЕЛ 581

частей может отсутствовать, если соответствующая прямая не пересечет


площади S. Назовем эти три части £ , S„ S . Пусть # — площадь между
г z х

проведенными прямыми. Нетрудно видеть, что

s
8
* = o ( :
Wig s ,

Поэтому для суммы У ]g\x — а.у\, распространенной на точки пло­


/
щади 8 , нетрудно доказать, что это величина порядка Sv lg S.
Ѵ

В площадях S и S , как можно убедиться рассуждениями, подобными


2 3

примененным в § 1, число точек составить величину

s + o ( ~ : î .

Для точек этих областей величина \х — ау\ заключена в пределах

где О—некоторая постоянная. Поэтому, назвав через б некоторую сред­


нюю между этими пределами, для суммы lg\x—лу\у распространен­
ной на точки площадей # и £ 2 Я У находим

Кроме того имеем очевидное равенство

\g6=\\gS + \g^=\\gS-*-0{\g\gS).

Поэтому для величины ^ lg \х — *у\ находим

2lg|« —<q,i = \s\gS + 0(8 да).


Применив подобное же рассуждение к сумме ^\g\x-t-ay\ для вели­
чины левой части изучаемого равенства получим

2 l g Щ ^ \ = SìgS-ь- 0(S Vip).


г
692 Р. О. КУЗЬМИН

Следовательно равенство, полученное в начале этого §, превращается


в такое:
SìgS-*- 0(S s/ìgS) = Sv4~0(S

Отсюда легко получается


er = ì s^oNìgS)
s

или в полном виде

а, у

Это равенство является естественным обобщением на


комплексные
числа известного результата, выведенного МЕРТЕНСОМ из чебышевской
теории простых чисел
= lg.-*-0(1).
к
р <Х

Полученное равенство можно было бы значительно обобщить и не­


сколько уточнить. Так как однако для дальнейшего это несущественно, то
в интересах простоты это опускается.
§ 4. Будем передвигать площадь S параллельным переносом так,
чтобы каждая из ее целых точек 2 = x-+-ay попадала по очереди в начало
k

координат.
Для каждого из тдких положені| площади 8 составим величину Ш А ,
где произведение распространено на все точки, лежащие внутри площади 8
при данном ее расположении. Задачей ближайших параграфов является
составление по возможности наименьшего в некотором смысле слова крат­
ного всех чисел Ш^, полученных указанным способом.
Для этого проведем окружность радиусом I с центром в начале
координат. Очевидно, что площадь этого круга S (I) будет удовлетворять
неравенствам
s<iS(0<os,

где С соответственно подобранная постоянная.


Введем в рассмотрение идеал (А), разложение которого по простым
идеалам изображается выражением П (af причем произведение распро-
7
ОБ ОДНОМ НОВОМ КЛАССЕ ТРАНСЦЕНДЕНТНЫХ ЧИСЕЛ 593

странено на все идеалы, имеющие хотя одно, отличное от нуля число,


внутри S (/). Число 1 пусть определяется Формулой

где z наибольшая из постоянных Формулы § 2, примененной ко всем ука­


занным положениям площади S.
Величина Ѳ правильная дробь, подобранная так, чтобы число X полу­
чалось целым. Суммирование распространяется на все степени идеала (а),
имеющие представителей в S(l\ не считая нуля.
Очевидно, что всякое чи&о идеала (-4), определенного таким образом,
кратно всякому из чисел ГЦ., так как оно при разложении на идеальные
множители содержит все множители любого из чисел Uz и притом в сте­
k

пенях не меньших.
Среди точек, принадлежащих идеалу (А) 1 можно найти ближайшую
к началу координат, но не совпадающую с ним. Соответствующее ей число
назовем Ж.
Если М — Х-+- a l , r
то рассуждением, подобным примененному
раньше, можно показать, что справедлива оценка
ш а х ( | Х | , \¥\) = 0()/ЩЩ.

§ 5. Для дальнейшего важно изучить величину \N(A)\.


Очевидно имеем равенство

lg|AU). = V ^ w . ) _ s V ^ ! +
(

На оснований результатов § 3, а также ввиду того, что S < 8(I) < (Д


находим
• lg\N(A)\ = SlgS-*-0(Siïg8).-

Для числа Ж, введенного в § 4, получаем

юах(|Х|, |Г|) = 0(е* ' ' ).


594 Р. О. КУЗЬМИН

§ 6. Рассмотрим наконец целое число


M M

ІЩ U (a: -f- осу)

которое можно переписать в таком виде


2 1 и ( х — осу)
1Ш(^)

Для величины І Ш ( ^ ) на основании сказанного раньше имеем оценку

Полагая П (х — а.у) = \ н - ау] для величия \ и у], нетрудно найти оценку

max(|Sj, |ч|) = в
С помощью подобной же оценки, полученной для X и Г, полагая
М - П ( х — а«/) = ï7-+-aF, находим для величин U ш V

SÎ s i os 8
m x(\U\,\V\)
â = 0(e « - - ^ ).

Замечая, что ^ ц щ ^ ^ есть целое алгебраическое число ква­


дратичной области (1, а), находим, что числа U и F должны делиться на
UN(z ). В связи со сказанным находим следовательно
Jc

где Р ш Q целые рациональные числа и притом величины порядка

0 { e O ( S V ^

§ 7. Пусть ш какое-нибудь вещественное алгебраическое число. Пред­


положим, что со* тоже алгебраическое число. С помощью интерполяцион­
ной Формулы Лагранжа для Функции находим
ОБ ОДНОМ НОВОМ КІАССЕ ТРАНСЦЕНДЕНТНЫХ ЧИСЕЛ 595

При этом с(z) — {z—z )(z—z ). l 2 ..{z—-z ); n \ некоторое среднее


число между наибольшим и наименьшим из вещественных чисел z, я19

Вместо чисел z xl z ... z примем числа, определяемые Формулой


2 n

z — x-+- ay
k

и условием, что х и у независимо друг от друга пробегают систему


значений
О, 1, 2 , . . Л ,

где t—некоторое целое число. Будем однако считать, что х и у не могут


одновременно равняться нулю.
Числу z придадим значение равное нулю, которое в целях симметрии
при записи будем заменять буквой z . 0

Деля обе части Формулы Лагранжа на ç(z ), перепишем ее так: 0

3 n
(ù~k СО* (lg iù)

Непосредственно ясно, что взявши вместо площади S, рассматривав­


шейся в предыдущих §§, квадрат с вершинами в точках (0, 0), (О, О?
(t, 0), (£, t), мы можем величины

принять за числа Ш , введенные в § 4 .


л

Пусть со и со* дробные алгебраические числа со знаменателем т. е.


предположим, что geo и geo* — целые алгебраические числа. Умножая
последнее равенство на д * и на число М
2
составленное применительно
}

к данному случаю по способу, изложенному в § 4 , находим

При этом
596 P. 0 . КУЗЬМИН

Кроме того В > geo, доЛ—целые алгебраические числа. Величина


правой части, а следовательно и левой также, отлична от нуля.
Умвожим обе части найденного равенства на величины 2 , І , . . . . . 2 , а 2 Г

сопряженные с левой частью равенства, ни одна из которых, не равна


нулю, потому что и сама левая часть отлична от нуля.
Получаем таким образом равенство

Здесь левая часть целое рациональное число, отличное от нуля и, сле­


довательно, не меньшее, чем единица по абсолютной величине.
В правой части на основании изложенного имеем

1 < І і а 0( ) 0
Ж=0(е" в *°^ « );.. г * = е * ;. ш«(lgад)" = е ^.

Кроме того для величины n i с помощью Формулы Стирлинга имеем

Наконец, для величин 2^ находим ,

0
\Ц = 0 { е ^ ) . .

Объединяя все это для величины правой части равенства находим


такую оценку

U e
ni 11^7™ et*lgt-*-Op)— { '*

Ясно, что при достаточно больших значениях числа t правая часть


равенства будет как угодно мала по абсолютной величине. Поэтому равен­
ство невозможно. Полученное противоречие показывает невозможность
а
допущения, что оба числа ш і ш одновременно являются алгебраическими.
§ 8. В ппредыдущем редполагалось, что <о—вещественное число. Это
ограничение легко устранить.
В самом деле из условий: о; = р н~qi, со* = Р - + - Qi при веществен­
ном а вытекает: 5 * = (р — q%f = jP—Qi Если P~+-Qi алгебраическое
ОБ ОДНОМ НОВОМ КЛАССЕ ТРАНСЦЕНДЕНТНЫХ ЧИСЕЛ 597

число, то по известной теореме Р — Q i тоже алгебраическое число, а сле­


2 a
довательно и число Р - н Q , равное (axö) , тоже алгебраическое, а это
2

невозможно но доказанному, ввиду того, что от вещественное алгебраи­


ческое число.
В предыдущем показано, что со* трансцендентно, если а — \ІВ пли

где В не кратно четырем и не равно точному квадрату.


Из полученного следует, что вообще при рациональных р и q и алге­
браическом со число co p + s s /
^, где m любое целое положительное число, транс­
цендентно. В самом деле, если m кратно 4, то вынося из-под радикала наи­
высшую возможную степень четырех, получим под радикалом число не
кратное четырем. При этом m не равно точному квадрату.
Очевидно также,' что если бы с о ^ ^ п р и рациональных^и^былобы
алгебраическим, то и со"^"" " ^ 1 3
тоже было бы алгебраическим, где и —
общий знаменатель дробных чисел р и q.
Таким образом изложенное доказывает справедливость теоремы:
При любом алгебраическом числе со и любой вещественной квадратич­
а
ной иррациональности число < о трансцендентно.