|  Метод 4. Сравнения и диофантовы уравнения.
 Применим свойства сравнений к решению некоторых уравнений. Многие уравнения, решаемые с помощью свойств делимости, могут быть решены при помощи сравнений. Неопределенные уравнения с двумя неизвестными:
 
 (D): ax+by=c , x,y[-Z ,a,b,c[-Z
 
 Найти решения уравнения , то есть значения x,y[-Z. (a;b)=d
 
  c не :d, то (D)-не имело бы решения
 
c:d
 
 ax+by=c:d a=a1d , b=b1d , c=c1d.
 
 a1x+b1y=c1 следовательно (a1;b1)=1.
 
 Таким образом, пришли к выводу, что (a;b)=1.
 
  Теорема1. Если удовлетворяет сравнению ax=c(b), то пара чисел (x0;(c-ax0):b) является решением (D), где (a;b)=1.
 Док-во: ax0=c(b)- верное числовое сравнение, следовательно,
 
 разность чисел (c-ax0)/b[по определению сравнимых чисел],
 
 значит, (c-ax0):b-целое число. Подставим вместо x----x0,
 
 y----(c-ax0)/b. Если в результате получим c ,то все доказано.
 
 Подставляем:
 
 ax0+b(c-ax0)/b=ax0+c-ax0=c;
 
 В самом деле, пара (x0;(c-ax0)/b)-решение(D).
 
 
  Теорема2: Если (a,b)=1, то (D) имеет бесконечное множество целых решений, которые находятся по формулам:
   
 (*) x=x0-bt,
 
 y=y0+at; t[-Z
 
 (x0;y0)- некоторое решение (D)
 
 Док-во:
 
 1) Покажем, что (x;y)- по формуле (*) решение (D).
 
 a(x0-bt)+b(y0+at)=ax0-abt+by0+bat=c, так как[x0,y0]-решение(D).
 
 2) Покажем, что любое решение (D) находится по этим
 
 формулам(*); (x0;y0)-некоторое решение (D).
 
 Так как (x0;y0)-решение(D) и пара (x;y) тоже берется как решение, тогда:
 
 а)ax0+by0=c,
 
 б)ax+by=c-верное числовое равенство;
 
 Вычтем из а)-б): a(x0-x)+b(y0-y)=0<->a(x0-x)=b(y-y0),так как
 
 a(x0-x):b, x0-x:b,
 
 b(y-y0):a,[так как (a;b)=1], то y-y0:a;
 
 По определению делимости следует, что существует t[-Z , такое что
 
 x-x0=bt,
 
 y-y0=at;
 
 
  Значит, (*) x=x0-bt 
 y=y0+at
 
 ч.т.д.
 
 
  Следствие: (D) ax+by=c в Z либо не имеет решений, либо имеет бесконечное множество решений, которые находятся по формулам(*).Пример1: Найти все целые решения:
 
 50x-42y=34/:2 (1)
 
 25x-21y=17 (2) (1)<->(2)
 
 (25,21)=1, (1) имеет бесконечное множество решений.
 
 x=x0+21t,
 
 y=y0+25t, t[-Z
 
 Найдем x0,y0.
 
 Уравнение (2) можно свести к сравнению первой степени:
 
 25x=17(21)
 
 4x= -4(21) /:4, так как (4;21)=1;
 
 Имеем:
 
 x= -1(21), то есть x=20(21);
 
 Значит, x0=20
 
 21y=25x-17 <-> y=(25*20-17):21=23, y0=23
 
 Решение: x=20+21t,
 
 y=23+25t; t[-Z
 
 Вместо 20 можно было взять -1
 
  Указание: Школьники решают (D) методом спуска. Систематическое изучение диофантовых уравнений в средней школе способствует привитию навыков самостоятельной работы в математике и играет большую роль в повышении уровня математической подготовки школьников.
 
 Пример2: 3x+4y=13 (*)
 
 Аналогично предыдущему примеру1 , из уравнения имеем:
 
 3x=1(4). Откуда x=3(4) , то есть x=3+4t, t[-Z. Подставляя в
 
 уравнение, найдем y=1-3t. Множество решений:
 
 {(3+4t,1-3t);t[-Z}.
 
 
  Метод5. Метод спуска(*):
 Пример3: 5x3+11y3+13z3=0. Имеем сравнение: 5x3+11y3=0(13).
 
 Так как a3=0;1;5;8;12(13), то число 5x3+11y3делится на 13 тогда и
 
 только тогда, когда x=y=0(13). Поэтому x=13x1, y=13y1,z=13z1 .
 
 Подставив в уравнение, получим: 5x13+11y13+13z13=0.
 
 Продолжая этот процесс, получим, что числа x,y,z делятся на
 
 любую натуральную степень числа 13. Это возможно лишь при
 
 условии, когда x=y=z=0.
 
 §4 Основные пифагоровы треугольники.
 
 Задача о нахождении всех решений диофантовых уравнений второй степени.
 
 Пример1.(**) Рассмотрим уравнение второй степени с тремя неизвестными:
 
 X2+Y2=Z2 (1)
 
 Геометрически решение этого уравнения в целых числах можно использовать как нахождение всех пифагоровых треугольников, то есть прямоугольных треугольников, у которых катеты x,y и гипотенуза z выражаются целыми числами. Обозначим через d=НОД(x,y). Тогда
 
 x=x1d, y=y1d и уравнение(1) примет вид: x12d2+y12d2=z2. Отсюда следует,
 
 что z2 : на d2 и, значит, z кратно d: z=z1d .Теперь уравнение (1) можно
 
 записать в виде: x12d2+y12d2=z12d2; сокращая на d2 , получим: x12+y12=z12 . Мы пришли к уравнению того же вида, что и исходное, причем теперь величины x1 и y1 не имеют общих делителей, кроме 1.Таким образом, при решении уравнения (1) можно ограничиться случаем, когда x и y взаимно просты. Итак, пусть(x;y)=1. Тогда хотя бы одна из величин x и y
 
 (например, x будет нечетной). Перенося y2 в правую часть уравнения (1)
 
 получим: x2=z2-y2; x2=(z-y)(z+y) (2). Обозначим через d1 НОД выражений
 
 z+y и z-y. Тогда z+x=ad1 , z-y=bd1 , (3) , где (a,b)=1. Подставляя во (2)
 
 значения z+y и z-y , получим: x2=abd12. Так как числа a и b не имеют
 
 общих делителей, то полученное равенство возможно только в том случае, когда a и b будут полными квадратами(**) : a=U2 ; b=V2 .
 
 Но тогда x2=U2V2d12; x=UVd1 (4). Найдем теперь y и z из равенств(3). Сложение этих равенств дает: 2z=ad1+bd1=U2d1+V2d1 ; z=d1(U2+V2):2 (5)
 
 Вычитая второе из равенств (3) из первого, получим:
 
 2y=ad1-bd1=U2d1-V2d1 ; y=d1(U2-V2):2 (6) . В силу нечетности x из (4) получаем, что U,V и d1 также нечетны. Более того, d1=1, так как иначе из равенств x=UVd1 и y=d1(U-V):2 следовало бы, что величины x и y имеют
 
 общий делитель d1=1,что противоречит предположению об их взаимной простоте. Числа U и V связаны со взаимно простыми числами a и b равенствами: a=U2, b=V2  и в силу этого сами взаимно просты: V1=1, получим формулы :
 x=UV; y=(U2-V2):2; z=(U2+V2):2, (7),
 дающие возможность при нечетных взаимнопростых U и V(V
 
 x,y,z, удовлетворяющие уравнению (1). Простой подстановкой
 
 x,y,z в уравнение(1) легко проверить, что при любых U и V
 
 числа (7) удовлетворяют этому уравнению. Для начальных
 
 значений и формулы (7) приводят к следующим часто
 
 встречающимся равенствам:
 
 32+42=52 (V=1;U=3),
 
 52+122=132 (V=1;U=5),
 
 152+82=172(V=3;U=5),
 
 Как уже было сказано, формулы (7) дают только те решения уравнения
 
 x2+y2=z2 в которых числа x, y и z не имеют общих делителей. Все остальные целые положительные решения этого уравнения получаются домножением решений, содержащихся в формулах (7), на произвольный общий множитель d. Тем же путем, каким мы получили все решения уравнения (1), могут быть получены и все решения других уравнений того же типа.
 Пример2: Найдем все решения уравнения (1): x2+2y2=z2  в целых положительных, попарно простых числах x, y, z.
 
 Заметим, что если x, y, z есть решения уравнения (1) и x, y, z не имеют общего делителя, отличного от 1,то они и попарно взаимно просты. Действительно, если x и y кратны простому числу p>2, то из равенства
 
 
   
 следует, так как его левая часть – целое число, что z кратно p. То же самое будет, если x и y или y и z делятся на p.
 
 Заметим, что х должно быть числом нечетным для того, что НОД(x,y,z)=1. Действительно, если х четно, то левая часть уравнения (1) будет четным числом и, значит, z также будет четным. Но x2 и z2
 
 будут тогда кратны 4. Отсюда следует, что 2y2 должно делиться на 4, другими словами, что y тоже должно быть четным числом. Значит, если х четно, то все числа x, y, z должны быть четными. Итак, в решении без общего, отличного от 1 делителя х должно быть нечетным. Отсюда уже следует, что и z должно быть тоже нечетным. Перенося x2  в правую часть, получаем:
 2y2 =z2-x2=(z+x)(z-x);
 Но НОД(z+x;z-x)=2. Действительно, пусть НОД(z+x;z-x)=d. Тогда
 
 z+x=kd, z-x=ld, где k,l [ -Z.
 
 Складывая и вычитая эти равенства, будем иметь:
 
 2z=d(k+l), 2x=d(k-l).
 
 Но z и x нечетны и НОД(z;x)=1. Поэтому НОД(2x;2z)=2. Отсюда следует, что d=2. Итак, или
  , или  нечетно. Поэтому или числа 
 z+x и
  взаимно простые числа  и z-x. 
 В первом случае из равенства (z+x)
  =y2<->  , а во втором случае из равенства 
 
  (z-x)=y2 следует  , где n, m [-Z; m – нечетное число; n,m>0. 
 Решая эти две системы уравнений относительно x и z и находя y, мы получаем:
 
 или
  ,  , y=mn, 
 или
  ,  , y=mn, где m - нечетно. 
 Объединяя эти две формы представления решения x, y, z, мы получаем общую формулу:
  , y=mn,  , где m – нечетно. 
 Но, для того, чтобы z, x [-Z, необходимо, чтобы n было четным. Полагая
 
 n=2b, m=a, мы получим окончательно общие формулы, дающие все решения уравнения (1) в целых положительных, без общего делителя, большего 1, числах x, y, z:
 
 (1/)
  , y=2ab, z=a2+2b2, где a, b>0, НОД(a;b)=1, а – нечетно. 
 При этих условиях величины а и b выбираются произвольно, но так, чтобы х>0. Формулы (1) действительно дают все решения в целых положительных и взаимно простых числах x, y, z, так как, с одной стороны, доказано, что x, y, z в этом случае должны представляться по формулам (1/), а с другой стороны, если задать числа a и b, удовлетворяющие условиям, то x,y,z будут действительно взаимно просты и будут решением уравнения (1).
 
 
 |