Полный текст статьи
Печать

К диофантовым уравнениям приводят задачи, по смыслу которых неизвестные значения величин могут быть только целыми числами. Долгое время надеялись отыскать общий способ решения любого диофантова уравнения. Однако в 1970 г. ленинградский математик Ю. В. Матиясевич доказал, что такого общего способа быть не может. Тем не менее, можно найти общие подходы к решению некоторых классов диофантовых уравнений.

В одной из предыдущих статей мы рассматривали решение уравнения

х² + ру²  =z²

где  р, x, y, z ϵ Nр – простое  число. Была поставлена задача найти решения для более сложного уравнения

х² + kу²  =  z²  (1)

где  k, x, y, zϵ N,  k – свободное от квадратов любое нечётное число. 

Очевидно, что если ‹х, у, z› – решение уравнения (1), то  и любая тройка            ‹lх, lу, lz›,  где  l ϵ N,  также  является решением уравнения (1). Основными мы будем называть те тройки решений, для которых нет ни одного, отличного от единицы, натурального числа, делящего все три числа х, у, z без  остатка. То есть такие, для которых (х, у, z) = 1.

Легко показать, что тогда также выполняются условия

(х, kу) = (z, kу) = (х, z) = 1. (2)

Действительно,  положим, например,  что k|х,  то  есть  х = kх1.  Имеем,   х1² + kу²  =  z².   Откуда  следует, что   k|z, то есть  z = kz1, тогда   1² + у²  = kz1²,  но  тогда  k|у, а  значит (х, у, z) = k≠1,  что противоречит условию (х, у, z)=1. Полученное противоречие доказывает необходимость условия  (х, kу) = 1.  Аналогично можно доказать, что   (z, kу) = (х, z) = 1.

Для  отыскания  решений  уравнения  (1) будем  рассматривать  не  само  уравнение  (1),  а равносильное  ему  уравнение

рy² = (z + x)(z – х),(3)

k

k1

k2

m

n

х

у

z

х² + kу²  =  z²

1

1

1

2

1

3

4

5

3² + 4²  = 5²

3

3

1

1

1

1

1

2

1² + 3·1²  = 2²

3

1

3

2

1

1

4

7

1² + 3·4²  =  7²

3

3

1

3

2

23

12

31

23² + 3·12²  =  31²

5

1

5

1

1

2

1

3

2² +5· 1²  = 3²

5

1

5

2

1

1

4

9

1² +5· 4²  = 9²

6

6

1

1

1

5

2

7

5² +6· 2²  = 7²

6

2

3

2

1

5

4

11

5² +6· 4²  = 11²

6

3

2

3

2

19

12

35

19² +6· 12²  = 35²

 

 

 

           

 

Таким образом, в результате проведённого исследования были  найдены общие формулы решения диофантова уравненияй второй степени от трёх переменных. На основе полученных решений, можно сделать вывод, что  найденные подходы могут быть использованы к нахождению общих решений близких диофантовых уравнений.