ОСНОВНЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ

12. 1. Определение 1.

Сравнением с одной неизвестной называется сравнение по модулю m вида

f(x) º g(x) (mod m) (1), где f(x) и g(x) – многочлены с целыми коэффициентами (целочисленные многочлены), xÎZ, mÎN, m > 1.

В частности, F(x) º0 (mod m) – также сравнение с одной неизвестной. Например,

x2 + 2x º x – 1(mod3), 2x3 – 1º0 (mod5) и т. д.

12. 2. Определение 2.

Говорят, что целое число "с" удовлетворяет сравнению (1), если при подстановке числа с вместо х образуется истинное числовое сравнение:

f(с) º g(с) (mod m) – "И" (т.е. истинно).

Например, дано сравнение x2 + 2x º x – 1(mod3).

при х = 1: 12 + 2 ×1 º1 – 1(mod3), или 3 º0(mod3) – "И"Þх = 1 удовлетворяет (1);

при х=1+3=4: 42 + 2×4º4 – 1(mod3), или 24º3(mod3) – "И"Þх = 4 удовлетворяет (1).

12. 3. Теорема 1.

Если число "с" удовлетворяет сравнению (1) и с1 º с (mod m), – то число с1 также удовлетворяет сравнению (1).

Вывод: если число "с" удовлетворяет сравнению (1), – то класс чисел (вычетов) по модулю m также удовлетворяет сравнению (1):

= { mq + c / f(mq + с) º g(mq + с) (mod m), qÎZ, – "И" }.

12. 4. Определение 3.

Решением сравнения с одной неизвестной по модулю т называется множество всех классов вычетов по модулю т, удовлетворяющих этому сравнению.

Пример. Решить сравнение 4x º2 (mod6).

Решение.

Существуют 6 классов вычетов по модулю 6: Z6 = { }. Составим полную

систему вычетов по модулю 6, например, {0, 1, 2, 3, 4, 5}. Среди них данному сравнению удовлетворяют вычеты 2 и 5 (проверьте!). Значит, решением сравнения будут два класса вычетов: x1º2(mod6), или x1=2 + 6q, qÎZ и x2º5(mod6), или x2=5 + 6q1, q1ÎZ.

Ответ: x1º2(mod6), x2º5(mod6).

12. 5. Определение 4.

Два сравнения с неизвестной х по модулю т называются равносильными, если множества их решений совпадают.

12. 6. Теоремы равносильности сравнений с одной неизвестной.

Дано сравнение f(x) º g(x) (mod m) (1). Если:

10 к обеим частям сравнения (1) прибавить один и тот же целочисленный многочлен от х; или

20 обе части сравнения (1) умножить на одно и то же целое число, взаимно простое с модулем т; или

30 обе части сравнения (1) и модуль т умножить на одно и то же натуральное число, – то получим сравнение, равносильное данному.

12. 7. Следствие 1.

а) Можно переносить слагаемые из одной части сравнения в другую с противоположным знаком.

б) Можно все коэффициенты обеих частей сравнения разделить на к, (к, т) = 1.

12. 8. Теорема 2 о замене коэффициентов сравнения.

Пусть даны два сравнения с одной неизвестной:

f(x) = an xn + an – 1xn – 1+ ¼ + a1x + a0º0 (mod m), (*)

g(x) = bn xn + bn – 1xn – 1+ ¼ + b1x + b0º0 (mod m). (**)

Если соответствующие коэффициенты ai и bi этих многочленов сравнимы по модулю т, то есть если ai º bi (mod m) (i = 0, 1, 2, … , n), – то сравнения (*) и (**) – равносильны.

12. 9. Следствие 2.

Если все коэффициенты ai сравнения (*) заменить числами bi , сравнимыми с ai по модулю т, – то получим сравнение (**), равносильное данному.

Пример. 16 х2– 17 х + 10 º0(mod3) Û х2– 2 х + 1 º0(mod3), откуда х º1(mod3).

12.10. Определение 5.

Степенью сравнения (*) называются наибольший показатель степени члена многочлена, коэффициент ai которого не делится на т.

Пример. Какова степень сравнения 24 х3+ 5 х + 1 º0(mod3) (1) ? Найти его решения.

Решение.

1) По теореме 2 это сравнение равносильно сравнению 5 х + 1 º0 (mod 3) (2) Поэтому данное сравнение – 1-й степени.

2) Для решения сравнения (2) составим классы вычетов по модулю 3: Z3 = { } и полную систему вычетов: {0, 1, 2}. Так как х = 0 и х = 2 не удовлетворяют сравнению (2), а х = 1 удовлетворяет ему (проверьте!), – то решением сравнения (2) будет класс вычетов , т. е. x = 1 + 3q, qÎZ, или х º1(mod 3). Этот же класс вычетов будет и решением сравнения (1). Ответ: х º1(mod3).

12.11. Теорема 3.

Сравнение п-й степени по простому модулю р ( п < p ) вида

an xn + an1xn1+ ¼ + a1x + a0º0 (mod р), где an не р, может иметь не более п классов решений по модулю р.

В частности, при п = 2 сравнение имеет не более двух классов решений. Однако это неверно для составного модуля. Например, сравнение х2 – 5х + 6 º0 (mod6) имеет 4 класса решений: х º0, 2, 3, 5 (mod 6) (проверьте!).

ТИПОВЫЕ ЗАДАЧИ

1. С помощью следствий 1 и 2 заменить сравнение

547 х3– 342 х2 – 289 х + 782 º434 х3+ 179 х2+ 87 х – 134 (mod3) равносильным сравнением, коэффициенты которого по абсолютной величине были бы меньше модуля.

Решение.

1) По следствию 1 перенесём все члены сравнения в левую часть и приведём подобные члены: 113 х3– 521 х2 – 376 х + 916 º0 (mod3).

2) По следствию 2 коэффициенты полученного сравнения заменим числами, сравнимыми с ними по модулю 3 (то есть отбросим слагаемые, кратные трём):

(113 – 111) х3– (521 – 519) х2 – (376 – 375) х + (916 – 915) º0 (mod3),

или 2 х3– 2 х2 х + 1 º0 (mod3), или – х3+ х2 х + 1 º0 (mod3),

или х3х2 + х – 1 º0 (mod3).

2. Решить сравнения методом перебора соответствующих классов вычетов.

1) 2 х + 3 º0 (mod8); 2) 6 х3– 7 х2 + 13 х – 8 º– 3 х3+ 4 х2 + 25 х – 7(mod9).

Решение.

1) Полная система вычетов по модулю 8: {0, 1, 2, 3, 4, 5, 6, 7}. Подставляя в сравнение каждый из этих вычетов, находим, что ни один из них не удовлетворяет сравнению. Значит, данное сравнение не имеет решения.

2) Упростив данное сравнение (см. задачу 1), получим: 9 х3 – 11 х2 –12 х – 1 º0(mod 9) Þ – 2 х2 – 3 х – 1 º0(mod 9) Þ 2 х2 + 3 х + 1 º0(mod 9). Полная система вычетов по модулю 9: {0, 1, 2, 3, 4, 5, 6, 7, 8}. Подставляя в сравнение каждый из этих вычетов, находим, что сравнению удовлетворяют вычеты 4 и 8. Значит, решением данного сравнения являются классы вычетов и : х º4 (mod 9) и х º8 (mod 9).

Ответ: 1) нет решения; 2) х º4 ;8 (mod 9).

<== предыдущая лекция | следующая лекция ==>
ОСНОВНЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ | ОСНОВНЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ


Дата добавления: 2017-12-05; просмотров: 104; ЗАКАЗАТЬ НАПИСАНИЕ РАБОТЫ


Поиск по сайту:

При помощи поиска вы сможете найти нужную вам информацию, введите в поисковое поле ключевые слова и изучайте нужную вам информацию.

Поделитесь с друзьями:

Если вам понравился данный ресурс вы можете рассказать о нем друзьям. Сделать это можно через соц. кнопки выше.
helpiks.org - Хелпикс.Орг - 2014-2018 год. Материал сайта представляется для ознакомительного и учебного использования. | Поддержка
Генерация страницы за: 0.006 сек.