CC BY
29
УДК 511.235+511.528
ЧИСТО КУБИЧЕСКИЕ ПОЛЯ И ДИОФАНТОВЫ УРАВНЕНИЯ
АВАНЕСОВ Э.Т., ГУСЕВ В.А. кандидаты физ.-мат. наук
В заметке рассматриваются некоторые аспекты теории чисто кубических полей и их применение в диофантовом анализе.
Ключевые слова: чисто кубические поля, диофантово уравнение.
PURELY CUBIC FIELDS AND DIOPHANTINE EQUATIONS
E.T. AVANESSOV, Ph.D., V.A. GUSSEV, Ph.D.
This work is devoted to some aspects of purely cubic field theory and their application in Diophantine analysis.
Key words: purely cubic fields, Diophantine equation.
К проблеме Ферма. Приведем элементарное рассуждение, опирающееся на чисто кубические поля и основную единицу в них и представляющее собою вариант доказательства неразрешимости уравнения Ферма в кубическом случае. Известно [2], что заданная в однородных координатах кривая
Ах3 + By3 + Cz3 = Nxyz,
(1)
(А,B,C) = 1, ABC = M ф 0,N3 ф 27M , - первого рода.
i=1
., si
Пусть ^a¡ - b¡ - Q(1) - решения уравнения
i=1
(1), где Р(Х>(/ = 1,2,...^) - основные решения (1) бесконечного порядка; 0(1) - решения конечного порядка (исключительные решения); в,, Ь; - некоторые целые числа. Если
П2 = ^ (?) = ?3 - Лэ, Ь2, Ьэ е К(1) - (2)
кривая, бирационально изоморфная (1), то решения на (2) определяются представлением
£ • р2+£ * • о(2), 1=1 1=1
где ру2) - решения бесконечного порядка;
решения конечного порядка.
Тогда, как известно, г1 = г2 , то есть уравнения
(1) и (2) имеют одинаковые ранги (без учета исключительных решений). Решение уравнения (1) в целых числах, в сущности, не отличается от решения в рациональных числах уравнения
(3)
(4)
A?3 + Bn3 + C = N?n ,
s X y где S = -, n = , z z
или системы уравнений
а + p + у = N, ару = M = ABC,
x2 У2 Z2
где а = A— , p = B, y =—.
yz xz xy
Сведем уравнение (1) к двум различным кривым вида (2) следующим образом:
1. Полагая у = N - а - р, находим aP(N-а-Р) = M или
Очевидно, при рациональном р уравнение (5) имеет рациональное решение относительно а тогда и только тогда, когда дискриминант (5) равен полному квадрату рационального числа, то есть
-2
D,=(P(P- N))2 - 4Mp = T2
(6)
Умножив обе части (6) на 64Myp и произведя бирациональные преобразования по формулам
8M
Р
а затем V =
. t = V, -- — = U , -2 3 р
3
V'
U =
U'
27\\3 9\\2 получим нормальную форму Вейерштрасса для кривой 1 рода
V2 = и3 - 27Ы(Ы3 - 24М)и\4 +
+54(Ы6 - 36МЫ2 + 216М2)\\6.
Пусть X - действительный корень уравнения
X3 - МЫX - 2М2 = 0 , (8)
а ц - действительный корень уравнения
F (ц) = ц3 - Ац-ц-Вц = 0,
(9)
где Ац = 27Ы(Ы3 - 24М);
Вц = 54(Ы6 - 36МЫ2 + 216М2).
Поля К(Х) и К(ц), порождаемые кубическими числами X и ц, тождественны, ибо (см. [3], с. 78-80):
1) их дискриминанты йХ
4M3(N3 - 27M) и
йц = (23 - 36)2 - {4M3 - (N3 - 2M)}
отличаются квад-
Ра2 + Р(Р - N)а + M = 0 .
(5)
ратным множителем;
2) имеются переходные функции
ц = 3ц , ц = — X2 - 6Х - 2Ы2 , М
Х = ^-4;-{Ыц2 - (12М - N3)ц + 2Ы2(24М - N3)}
23 • 32 • М( '
непосредственно определяемые обращением преобразования Чирнгаузена.
Представим (7) в виде
V2 = (и -ц\2) • (и -ц'\2)• (и -ц\2) (10)
где ц,ц',ц'' - различные корни (9).
U -|W2 = V,Q2 ,
Тогда, если U2 = Q2 ,
то этому представлению отвечает удвоенная точка в смысле группы Пуанкаре-Морделла-Вейля; а значит, для обыкновенных точек на кривой (7) должно быть
(11)
0(modNormv,); i = 1,2,...,r ; r - ранг (7).
ТЕОРЕМА 1. Пусть -) - представитель W2 W3
i -го класса решений уравнения (7), v, = (U + VX + Mix2)2 • D-1, i = 1,2,...,r ; DX - индекс кубического поля X, Q = (e + fX + gX2)2 • D-1;
тогда значения U,W2 находятся из систем уравнений:
DÄ {uU + 6(N2üi - 3MNvi + 6M2Wi)W2} = e2 + 4M2fg, DÄ {v,U + 3(6u(- - N2Vj)W2} = 2(M2g2 + ef + MNfg),
DÄ jw,U + 3(-^Nü/ + 6v(- - N2Wj)W2 j = f2 + MNg2 + 2eg
соответствующие значения для V определяются из
(7).
2. Уравнение (1) аналогичным образом сведем
к уравнению (а + ß + у )3 = Naßy.
а ß
Полагая — = а1 + ß1, — = а1 - ß1, где а1 и ß1 -
Y Y
рациональные числа, причем для решения y = 0 имеем а1 = ß1 = 0 , находим
N3ß2 = (2а1 +1)3 + N3а2 .
- NX оп У Если теперь принять 2а1 +1 = , 8ß1 = —3,
то получим
У2 = X3 + (NX + 4Z 2)Z2
Поля K(|1), где |3 + (N|1 + 4)2 = 0, и K (X) (при | = 1)тождественны, так как
{4(N3 - 27)} = 82Dx
и имеются переходные функции от X к |1 и наоборот:
I = NX2 -2X-N2 , N 2 N3 - 4 N2
Dii = 64
X = —i + 8 1 8
-Ii
При N = 0, M = 1 получим чисто кубическое поле K(^2), обладающее следующими арифметическими характеристиками: базис K(^2) - степенной; число классов идеалов h =1; основная единица е = -1 + ^2 ; элемент ц1 = -2^2 удовлетворяет уравнению ц3 +16 = 0 .
Далее воспользуемся оценкой ранга, установленной в [2].
ТЕОРЕМА 2. Если одновременно 1) M не содержит квадратов, 2) M + N = 1 (mod 2), 3)h = 1,
4) хотя бы одно сравнение системы M = 1 (mod 9),
не имеет места, 5) канонические
N = M + 2 (mod 27) разложения индексов DX и содержат одни и те же простые делители р, 6) MN содержит все простые делители индексов Dx и D^ в степени выше первой, то имеет место оценка r < k0, где k0 — количество основных единиц поля K(X).
В нашем случае DX < 0, k0 = 1, DX = D^ = 1, а
значит, согласно теореме 2, следует составить лишь одну систему вида (12), полученную из представления
(3/2 -1) • (X + 232Z2) = (e + f3¡2 + g^4)2 .
Приравнивая коэффициенты при ^2 и ^4 , находим
í-f2 + 2g2 + 2ef - 2eg = 0,
1 22 2 (13)
[e2 - 2g2 - 2ef + 4fg = 2Z2.
Очевидно, если система (13) имеет ненулевые (12)целые решения, то, e, f и g должны быть четными. Сократив на 4, получим подобную же систему, значит, возможно применение метода бесконечного спуска, а следовательно, диофантово уравнение
X3 + У3 + Z3 = 0
не имеет нетривиальных решений, отличных от
xyz = 0.
К проблеме Мниха. Исследуем теперь частный случай уравнения (1), получающийся для M = ABC = 1, то есть уравнение
X3 + У3 + Z3 = NXyZ . (14)
При N = 1 мы имеем дело с так называемой проблемой Мниха существования рациональных решений системы уравнений
X1X2X3 = X1 + X2 + X3 = 1, (15)
разрешенной в отрицательном смысле в [1].
Исходя из того, что проблема Мниха эквивалентна проблеме существования рационального числа r , такого, что уравнение
U3 - U2 + rU -1 = 0 (16)
имеет рациональные корни, докажем следующее предложение.
ТЕОРЕМА 3. Не существует чисто кубических полей, в которых при рациональном r уравнение (16) разрешимо.
1
Для доказательства заменой U =— (Z +1) приведем (16) к виду
Z3 = 3(1 - 3r)Z + 29 - 9r . (17)
Последующее представление Dz = -272 • (4r3 - r2 - 18r + 31), откуда
3(4r3 -r2 -18r + 31) = t2, где t e R(1), и подстанов-1
ки r =— (x +1), 12t = y приведут к уравнению
y2 = x3 - 651x +12742. (18)
Следуя (12), составим систему уравнений
- X + 20г2 = 12 х - 5г2 = 2(д2 х - 32г2 = е-
д2
+ е1
4д.
+ 2ед,
(19)
Система (19) при условии (х,г )=1 неразрешима в целых числах, откуда вытекает, что кривая (18) не содержит обыкновенных базисных точек, а значит, ее ранг, без учета исключительных точек, равен нулю, и если на этой кривой есть рациональные точки, то они должны быть исключительными.
Единственная исключительная пара точек
(3;±104) приводит через г = -1, т = ^26 к решению
и = 1(1 + 3/26),
и2,3 ^ (1
1-1± /73
^26),
которое
3 2
принадлежит композиту чисто кубического поля К (326) и классического поля Эйзенштейна, образованного кубическим корнем из единицы.
Диофантовы уравнения. Здесь мы покажем, как задачу решения диофантова уравнения: 3
1 (х,у) = х3 + £(-1)/а/ • х3-У = А (20)
/=1
можно свести к исследованию во вспомогательном чисто кубическом поле.
Известно, что произвольная кубическая форма 1 (х, у) имеет два коварианта:
1
I д21
д21
(21)
Н = Н (х, у) = -
4 | дх ду2
^ ч д1 дН д1 дН
0 = 0 (х, у ) =-------,
дх ду ду дх
удовлетворяющие тождеству 02 = 4Н3 - 2702 , где йг - дискриминанта формы 1.
Соотношение (21) есть частный случай дио-фантова уравнения
П2 = 4?3 - д24- д3 (22)
которое, как показал Морделл [4], имеет конечное число рациональных решений (п ) при определенном ограничении на правую часть (22), причем каждому такому решению соответствует представление единицы бинарной биквадратичной формой, и наоборот.
Для решения уравнения (21) можно использовать разложение в поле К (а), где а = ^20^ • А2 , и
это приведет к уравнениям
Н' - а = цр2, (23)
где Н' = 4Н; р - целое алгебраическое число чисто кубического поля К(а); ц - некоторое целое алгебраическое число из конечного множества элементов 0(а).
Это множество зависит от числа 2йг А2, от основной единицы и числа классов идеалов 0(а). Тогда уравнение (23) эквивалентно совокупности уравнений вида
д (иМ) = 1, (24)
где д - биквадратичная форма.
Если в (23) ц = 1, то (24) приводимо и легко решается, в противном случае (24) неприводимо.
Некоторые из биквадратичных уравнений могут быть исключены рассмотрением по соответствующим модулям. Для оставшихся уравнений известно некоторое решение (ио,У0) = (1;0), а значит, и решение
(21), которое обозначим через (Н0,0'о ), 0'о = 40о.
Это означает, что (23) может быть записано как
Н' - а .у, ч -, равное квадрату элемента К (а), а уравне-
Н'0 - а
ние (24) обратится в уравнение д(и, V) = и4 - 6Н0и2У2 - 800иМ3 - 4 = 1. (25) Очевидно, различные решения (24) приведут к различным уравнениям этого типа.
Итак, проблема заключается в том, чтобы показать, что каждое получаемое таким путем уравнение вида (25) имеет только тривиальное решение
(иу) = (1;0).
ПРИМЕР 1. Для уравнения 1 (х, у) = х3 + ах2у + у3 = 1, где а - целый параметр,
0 = -(4а + 27) и свободно от квадратов.
Непосредственно находим: Н(х, у) = а2х2 - 9ху - 3ау2 , 0(х, у) = -(2а3 + 27)х3 - 27ах2у - 18а2ху2 + 27у3
и далее V2 = и3 + 432(4а3 + 27), откуда
и + 632(4а3 + 27) = ±ц^ + у0+ + 20^} ,
где х0, у0, г0 е Т; ц - определяется:
1) основной единицей чисто кубического поля К (32(4а3 + 27));
2) числом Л классов идеалов этого поля;
3) элементами с нормой, равной делителям
числа 12(4а3 + 27).
ПРИМЕР 2. Пусть
1 (х, у) = х3 +ах2у - (а + 1)ху2 + у3 = 1,
а - целый параметр, йг - свободно от квадратов, тогда
йг = (а2 + а - 3)2 - 32 = а4 + 2а3 - 5а2 - 6а - 23 ,
Н(х, у) = (а2 + 3а + 3)х2 - (а2 + а + 9)ху + (а2 - а + 1)у2
0( х, у) = -(2а3 + 9а2 + 9а + 27)х3 + 3(а3 + 7а2 + 3а + 6)х2у -
+3(а3 - 4а2 - 11а - 3)ху2 - (2а3 - 3а2 - 3а - 25)у3 и все сводится к чисто кубическому полю
К(32(а4 + 2а3 - 5а2 - 6а - 23) )
ПРИМЕР 3. Если
1 (х, у) = х3 - ах2у + Ь(а - 3Ь)ху2 + Ь3у3 = 1,
где а,Ь е г; Ь > 0; а > |Ь; йг = Ь2(а2 - 3аЬ + 9Ь2)2 > 0,
то есть группа Галуа уравнения 1 (х,1) = 0 циклическая,
Н(х,у) = (а2 - 3аЬ + 9Ь2) • (х2 - Ьху + Ь2у2),
0(х,у) = (а2 - 3аЬ + 9Ь2) • {(2а - 3Ь)х3 - 3Ь(а - 6Ь)х2у -
-3Ь2 • (а + 3Ь)ху2 + Ь3 • (2а - 3Ь)у3},
то находим V2 = и3 - 432Ь2(а2 - 3аЬ + 9Ь2)2 , и чисто
кубическое поле К(^2й2 • (а2 - 3аЬ + 9Ь2)2 ) сведет задачу в соответствии с основной единицей, числом Ь и элементами этого поля с нормой, равной дели-
2 2
телям числа 6Ь(а - 3аЬ + 9Ь ), к представлениям приводимыми либо неприводимыми биквадратичны-ми формами отрицательного дискриминанта.
ПРИМЕР 4. В качестве иллюстрации исследуем представление единицы бинарной кубической формой наименьшего неквадратного положительного дискриминанта йг = 148:
1 (х,у) = х3 + х2у - 3ху2 - у3 = 1 (26)
Вычисления дают: Н = 2(5 х2 + 3 ху + 6 у2), О = 2(-х3 + 99х2у + 63ху2 - 27у3) = 2(х + у) • •(-х2 + 100ху - 27у2)
И при V =1О, и = Н, 2
V2 = и3 - 999. (27)
Известно, что уравнение (27) имеет лишь следующие шесть решений в целых числах: (иу) = (10, ±1), (12, ± 27), (40, ± 251), (147, ± 1782),
(174, ± 2295), (22480, ± 3370501).
Так как и = Н — четно, то отбросим четвертое решение, а для оставшихся значений (и, V) составим
и решим в целых числах следующие 5 систем уравнений вида
5 х2 + 3xy + 6у2 = 1U,
<- х -y = d,
2 2 V
х - 100xy + 27y2 = V,
где d - один из возможных делителей числа V. В последнем случае для простого V =3370501 соответствующая система неразрешима, а другие системы дают
х = 1; 0; - 2; 3 и, соответственно, У = 0; -1; 1; 2.
Итак, диофантово уравнение (26) имеет лишь следующие четыре решения в целых числах: (x;y) = (1;0),(0;-1),(-2; 1) и (3;2).
Список литературы
1. Аванесов Э.Т. Замечания к проблеме В. Мниха // Matem, Casopis. - 1967. - Т. 17. - № 2. - С. 85-91.
2. Аванесов Э.Т. Об уравнении
Ax3 + By3 + Cz3 = Nxyz // ДАН БССР. - 1978. - Т. 22. -№ 5. - С. 405-408.
3. Делоне Б.Н., Фадеев Д.К. Теория иррационально-стей 3-ей степени: Тр. МИАН СССР. - 1940. - Т. 11.
4. Mordell L.J. Diophantine equations. - London: Academic Press,1969.
Аванесов Эдуард Тигранович,
Пятигорский государственный технологический университет,
кандидат физико-математических наук, профессор кафедры высшей математики,
e-mail: dekan@ivtf.ispu.ru
Гусев Владимир Алексеевич,
ГОУВПО «Ивановский государственный энергетический университет имени В. И. Ленина», кандидат физико-математических наук, профессор, зам. декана факультета информатики и вычислительной техники, телефон (4932) 26-98-78, E-mail: dekan@ivtf.ispu.ru
