Скачиваний:
59
Добавлен:
01.05.2014
Размер:
419.33 Кб
Скачать

Диафантовы уравнения

ax+by=c a,b,c,x,yZ x,y - ?

Теорема: 8

d=D(a,b) уравнение ax+by=c разрешимо <=> c||d при этом множество решений описывается следующими уравнениями

x=x0-(b/d)t

y=y0-(a/d)t tZ

Если существует (x0,y0) – частное решение.

Доказательство:

  1. Существует если a||d то b||d , тогда есть решение если c||d

Пусть a=de1; b=de2; c=de3 => ax0+by0=d имеет решение – x1,y1

a(e3x)+b(e3y)=c решение есть - (e3x, e3y)

  1. Пусть существует x0,y0 : ax0+by0=c

a(x-x0)+b(y-y0)=0 <=> Числовое тождество <=> (a/d)(x-x0)=-(b/d)(y-y0)

((a/d);(b/d))=1 (иначе d не НОД)

-(b/d)(y-y0)|| (a/d) => y-y0=(a/d)t => y=y0+(a/d)t

аналогично x=x0+(b/d)t, т.е. если существует решение x,y то отношение имеет такой вид.

Доказательство в обратную сторону, в результате подстановки получается тождество.

Дополнение: ax+by=c разрешимо, если D(a,b)=1

Пример 1:

15x+19y=1

19=15 1+4

15=4 3+3

4=3 1+1

3=1 3

q 1 3 4

0 1 -1 4 -5

x0=-5 x=-5+19t

y0=4 y=-(-4+15t)

126x-102y=18

D(126,102)=6

21x-17y=3

ax+by=D(a,b)

Решим 21x-17y=1 для этого решим 21x+17y=1

21=17 1+4

17=4 4+1

4=4 1

q 4 1

  1. 1 –4 5

21(+4)-17(+5)=1

21(-4)-17(-5)=1

x0=-5 x=-4 3=12

y0=-4 y=-5 3=15

Общее решение : x=-12+17t

  1. Сравнения. Классы вычетов по данному модулю. Арифметика и свойства сравнений.

Сравнение

a,bZ , m

a=b(mod m) |

a=b(m) | Отклонение по модулю m

b=<a>m |

(a-b) || m |

Существует множество А – это есть АхА={(a,b)| a,bA}

RAxA

R – бинарное отклонение на множестве А – это подмножество произведения декартовых множеств.

a R b

(a,b)R

a встепает в отношение с b, если (a,b)R

m – фиксированный модуль

Декартово произведение – множество пар

Выделим множество R, если два предм. a,b входят в R, то они вступают в отношение R (а вступает в отношение с b)

  1. Бинарное отношение имеет характер равенства т.е. симметрия а R b => b R c

b) Транзитивность а R b => b R c => a R c

c) a R a

Теорема: 10

Все отношения сравнения по mod(m) делит все множество R на m непересекающихся классов.

1) Все числа одного класса сравнимы друг с другом.

2) Числа из разных классов не сравнимы друг с другом по mod(m)

Доказательство:

  1. Рассмотрим произвольное aR и фиксироманное m

A=lm+z = любое число z можно поделить на m с остатком

0<=z<m z=r

0,1,2,…,m-1 в любой класс попадают числа которые имеют одинаковый остаток при делении на m (0,1,2,..)

  1. Рассмотрим 2 элемента из одного класса

a=k(m)

b=k(m)

a=lm+k ; b=nm+k => a-b=m(l-n) || m ; a=b(m)

  1. Элементы из разных классов не сравнимы по mod m

a=k(m) k=k1 => ab(m) (т.к. a-b не сравнимо m)

b=k1(m)

Теорема: 11

Свойства сравнения:

  1. a=b(m) ; m||k => a-b||m => a-b||k

  2. M(k1,k2,..kn)=m a=b(k1) => a-b||k1 a=b(k2) => a-b||k2 => a=b(m) ……… a=b(kn) => a-b||kn

Любое кратное делится на НОК.

a=b(m) <=> a-b||m

  1. a=b(m) => ca=cb(cm)

Арифметика сравнений

Теорема: 12

  1. Сравнение по 1-му модулю можно по численно складывать и вычитать

  2. Сравнение по 1-му модулю можно по численно перемножать.

Доказательство:

1. a=b(m) a-b||m => a-b+a1-b1||m

a1=b1(m) a1-b1||m

(a+a1)-(b+b1)||m <=>(a-a1)=(b-b1)||m

2. a=b(m) умножается на a1 (по теоремам 11 и 3) =>

a1=b1(m) умножается на b

aa1=bb1(m)

a1b=b1b(m)

По транзитивности сравнимо aa1=bb1(m) ч.т.д.

Следствие:

Пункты 1,2 теоремы 12 можно можно обобщать на любое конечное число сравнений a=b(m) => an=bn(m)

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

A+B=C aA, bB, a+bC

A B=D aA, bB, abD

Классов конечное число, для них легко определить таблицу Кэхи (сложение и умножение классов вычетов)

m=6 – 6 классов 0,1,2,3,4,5

+

0

1

2

3

4

5

0

0

1

2

3

4

5

1

1

2

3

4

5

0

2

2

3

4

5

0

1

3

3

4

5

0

1

2

4

4

5

0

1

2

3

5

5

0

1

2

3

4

Левоциркулярная матрица т.е. она образуется циклическим сдвигом на 1 элемент влево.

Классы используются как элементы.

Теорема 13

ac=bc(m) D(c,m)=d => a=b(m/d) m/dZ т.к. d – делитель.

Доказательство:

D(c,d)=c

D(m,d)=m

ac-bc||m => ac-bc=lm, lZ

l=(ac-bc)/m=(a-b)c1/m1=>(a-b)c1||m1 ; D(c1,m1)=b1 =>(a-b)||m1 => a=b(m1) =>

=> a=b(m/d)

Следствие:

  1. m||c D(m,c)=C

ac=bc(m) => a=b(m/C)

  1. D(m,c)=1 ac=bc(m)=> a=b(m)

Пример: 24=4(10) =>(1) 12=2(5) =>(2) 6=1(5)

Теорема: 14 Обобщение арифметических операций.

Есть некоторая функция F(a,b,c…) от целых аргументов (полином)

F(a,b,c…)= kCk aa bb cc… a,b,cZ

Пример: a2b3c+2a4b+… a,b,cZ

Тогда если a=a1(m), b=b1(m), c=c1(m) => F(a,b,c…)=F(a1,b1,c1…) (m)

Доказательство:

a=a1(m), aza=aza1(m)

bzb=bzb1(m) => aza.bzb=aza1(m)bzb1(m)

Утверждение: 1 Квадрат всякого нечетного числа сравнения с 1 по mod 8

4k+1 нечетное число.

(4k+1)2=16k2+8k+1=1(8)

Утверждение: 1 Нечетное число в виде 4k+3 нельзя представить в виде суммы двух квадратов.

4k+3=x2+y2

Если x,y – четные или нечетные, то получаем четное число – не подходит.

Т.е. либо x – четное, y – нет, либо наоборот

Пусть х – четное, у – нечетное.

х2=0(4) – x – четное.

y2=1(8) – y – нечетное => y2=1(4)

x2+y2=1(4), а 4k+3=3(4) => несоответствие.

Определение: m – непересекающихся классов.

Если взять из всех классов по 1 представителю, такой набор называется полной системой вычетов по модулю m.

{0,1,2,…,m-1} – наименьшая положительная система вычетов.

{0,-1,-2,…,-m+1} – наименьшая отрицательная система вычетов.

аZ {a,a+1,a+2,a+3,…a+(m-1)}

  1. Функция Эйлера и ее свойства. Теорема Эйлера-Ферма.

Соседние файлы в папке Шпаргалка по дискретной математике