К диофантовым уравнениям приводят задачи, по смыслу которых неизвестные значения величин могут быть только целыми числами. Долгое время надеялись отыскать общий способ решения любого диофантова уравнения. Однако в 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. Имеем, k² х1² + kу² = z². Откуда следует, что k|z, то есть z = kz1, тогда kх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² |
|
|
Таким образом, в результате проведённого исследования были найдены общие формулы решения диофантова уравненияй второй степени от трёх переменных. На основе полученных решений, можно сделать вывод, что найденные подходы могут быть использованы к нахождению общих решений близких диофантовых уравнений.