Об одном диофантовом уравнении

УДК 511.6

ОБ ОДНОМ ДИОФАНТОВОМ УРАВНЕНИИ

АВАНЕСОВ Э.Т., ГУСЕВ В.А., кандидаты физ.-мат. наук

Показана невозможность решения известной десятой проблемы Гильберта с помощью соответствующей системы диофантовых уравнений.

Ключевые слова: арифметические характеристики поля, решения диофантова уравнения, десятая проблема Гильберта.

ABOUT A DIOPHA NTINE EQUATION

E.T. AVANESOV, V.A. GUSEV, Candidates of Physics and Mathematics

The authors represent impossibility of solution to the famous Hilbert's tenth problem by means of appropriate system of Diophantine equations.

Key words: field arithmetic characteristics, solutions of diophantine equations, Hilbert tenth problem.

В своей знаменитой лекции о математических проблемах, произнесенной на 2-м Международном Конгрессе математиков (Париж, 1900), Гильберт [1] сформулировал следующую проблему:

«... 10. Решение проблемы разрешимости для произвольного диофантова уравнения.

Пусть задано произвольное диофантово уравнение с произвольным числом неизвестных и с целыми рациональным коэффициентами; требуется указать общий метод, следуя которому можно было бы в конечное число шагов узнать, имеет данное уравнение решение в целых рациональных числах или нет».

В работе [2] Дэвис, опираясь на известный результат Дж. Робинсон [3], доказал следующее предложение.

Теорема 1. Если диофантово уравнение 9

не имеет нетривиальных решений (т. е. решений, отличных от х = ±1, у = 0; и = ±1, V = 0), то 10 проблема Гильберта неразрешима в смысле рекурсивной теории чисел.

Заметим, что наличие нетривиального решения диофантова уравнения (1) не влечет никакого вывода о разрешимости (или неразрешимости) 10-й проблемы, а лишь устанавливает факт невозможности исследования проблемы на таком пути.

Теорема 2. Диофантово уравнение (1) имеет нетривиальное решение.

Доказательство. Введем обозначения:

A = x2 B = u2

7 y 2, - 7v2.

Тогда диофантово уравнение

Очевидно уравнение (3) означает, что элемент а = 3A + By/7 квадратичного поля K(>/7) имеет норму Norma = 2. Далее мы используем

следующие арифметические характеристики поля K (л/7 ) :

1) число классов идеалов равно h = 1;

2) основная единица есть е = 8 + 3V7, причем

Norme = ±1 ;

3) простой расчет по mod3 показывает, что рациональная часть всякого целого числа поля с нормой 2 делится на 3;

4) существует лишь один класс ассоциированных чисел нормы 2, а в качестве его представителя можно взять число ц = 3 + л/7 .

Таким образом, каждое целое число K (V7 ) с нормой два имеет вид

а = ±цеп = ±( + V7) + 3л/7) , число n > 0.

Наконец, из (2) заключаем, что A,B > 0, а потому все целые неотрицательные решения диофантова уравнения (3) задаются по формуле

3An + Bnj7 =(3 + >/7 )(8 + 3л/7 ) , n > 0.

Переход к матрицам второго порядка приводит к соотношению

n

Bn

8 7

9 8

из которого получаем искомые рекуррентные соотношения:

An+1 = 8 An Bn+1 = 9 An

7 Bn

8Bn

А = в0 =1.

Проведенный компьютерный расчет до п = 26 показывает, что А0 = 1, В0 = 1; А1 = 15, В1 = 17;

А2 = 239, В2 = 271; А3 = 3809, В3 = 4319;

Аб = 15418831, В6 = 17483311;

А26 =17231429089624614166470862182959,

В26 =19538604045167506118097869511631.

Чтобы установить факт простоты чисел А26 и В26 или разложить их на множители, необходимо разложить на множители А26 - 1 и В26 - 1.

© ГОУВПО «Ивановский государственный энергетический университет имени В.И. Ленина»

і

Легко определяем:

А26 -1 =2•7•17•131-4049•117701-159839х х41499117483311,

B26 -1 =2•35•5 • 19 • 71-131-117701х х17483311•22110582149,

где последние множители также простые числа.

Существование первообразных корней порядков А26 - 1 и В26 - 1 по modA26 и, соответственно, В26 приводит, согласно известной теореме Лемера [4], к простоте чисел А26 и В26.

С другой стороны, непосредственно обнаруживается, что числа А26 и В26 - квадратичные вычеты по mod7.

Остается использовать следующее элементарное предложение: нечетное число N представимо формой х2 + 7У2 тогда и только тогда, когда каждый простой делитель, входящий в каноническое разложение N в нечетной степени, есть квадратичный вычет по mod7.

Таким образом, диофантовы уравнения (2)-(3) разрешимы, а значит, существует нетривиальное решение уравнения (1) и теорема 2 доказана.

Замечание 1. Впервые отрицательное решение 10-й проблемы Гильберта получено Ю. Матиясевичем [5]. Ввиду этого, описанные результаты и методы имеют лишь самостоятельное значение.

Замечание 2. В работе [6] (теорема 2, стр.153) установлена, в частности, следующая теорема.

Теорема 3. Пусть (N,7) = 1, если N - нечетное число, а -7 - квадратичный вычет по modN, то число N представимо формой х2 + 7У2.

Очевидно, теорема 3 намного упрощает исследование вопроса о разрешимости системы диофантовых уравнений

А26 = х 2 + 7у 2,

В26 = и2 + 7v2.

Задача 1. Остается открытой проблема непосредственного нахождения целого решения системы (5).

Задача 2. В работе [2] найдена серия уравнений, каждое из которых соответствует

мнимому квадратичному полю Q((D) с числом

классов идеалов h = 1 и бесквадратным D > 0, с аналогичным выводом о 10-й проблеме Гильберта. Исключив гауссово поле Q((-Ï) и учтя решение [7] общеизвестной проблемы десятого дискриминанта, получим 8 значений для D:

D = 2, 3, 7, 11, 19, 43, 67 и 163.

Это приводит при нечетном D к серии

уравнений:

3

9(X2 + 7y2)2 - 7(a2 + 7v2)2 = 2;

11

38

258

402

326

Теорема 4 (обобщение теоремы 1). Если хотя бы одно из диофантовых уравнений (1), (6)-(11) не имеет нетривиальных решений (т. е. решений, отличных от |х| = 1, y = 0; |u| = 1, v = 0),

то 10 проблема Гильберта неразрешима в смысле рекурсивной теории чисел.

Как и при D = 7, для D = 3 имеет место следующая теорема.

Теорема 5. Диофантово уравнение (6) имеет нетривиальное решение (x, y, u, v).

Действительно, соответствующие рекуррентные формулы будут

An+1 = 2 An + Bn , Bn+1 = 3 An + 2Bn , A = B0 = 1

Простой расчет дает: A6 = 2131 = 162 + 3 • 252, B6 = 3691 = 42 + 3 • 352 , т. е. x = 16, y = 25, u = 4,

v = 35, и теорема 5 доказана.

Оставшиеся уравнения (7)—(11) предлагаются в качестве предмета дальнейших изысканий. Разумеется, их анализ невозможен без привлечения мощных компьютеров.

Список литературы

1. Hilbert D. Gesammelte Abhanolungen. - Berlin: Springer, 1935. - V. III. - Р. 290-329.

2. Davis M. One equation to rule them all // The Rand Corporation Memorandum RM - 5494 - PR.

3. Robinson J. Existential definability in arithmetic // Trans. Amer. Math. Soc. - 1958. - 72. - Р. 437-449.

4. Lehmer D.H. A Factorisation Theorem applied to a Test for Primality // Bull. Amer. MattSoc. - 1939. - 45. - Р. 132-137.

5. Matiyasevic Ju. The Diophantine of enumerable sets // ДАН СССР. - 1970. - 191. - Р. 279-282.

6. Kern-Isberner Y., Rosenberger Y. A notes on numbers of the form n = x2 + Ny2 // Arch. Math. -1984. - V. 43. -№ 2. - P. 148-156.

7. Фельдман Н.И., Чудаков Н.Г. О теореме Старка // Математические заметки. - 1972. - Т.11 - № 3. - С. 329-340.

Аванесов Эдуард Тигранович,

Пятигорский государственный технологический университет,

кандидат физико-математических наук, профессор кафедры высшей математики,

e-mail: dekan@ivtf.ispu.ru

Гусев Владимир Алексеевич,

ГОУВПО «Ивановский государственный энергетический университет имени В.И. Ленина»,

кандидат физико-математических наук, профессор, зам. декана факультета информатики и вычислительной техники, e-mail: dekan@ivtf.ispu.ru

© ГОУВПО «Ивановский государственный энергетический университет имени В.И. Ленина»