Теория сравнений
Теорема 17. Если  ,
,  , то
, то  , где
, где  .
. 
Доказательство. Если  ,
, 2 height=25 src="images/referats/3083/image122.png">, то 
 , то
, то  и, согласно свойствам наименьшего общего кратного,
и, согласно свойствам наименьшего общего кратного, .
. 
2. Сравнения первой степени с одной переменной
2.1 Основные понятия
Определение 1. Сравнением первой степени с одной переменной называется сравнение вида
| 
 | (2.1) | 
где  
 
Будем говорить, что целое число  удовлетворяет сравнению (2.1), если
удовлетворяет сравнению (2.1), если  верное сравнение.
верное сравнение. 
Теорема 1. Если целое число  удовлетворяет сравнению (*), то и весь класс
удовлетворяет сравнению (*), то и весь класс  по
по  состоит из чисел, удовлетворяющих этому сравнению.
состоит из чисел, удовлетворяющих этому сравнению. 
Доказательство. Имеем:  , отсюда получим, что
, отсюда получим, что  . Обозначим через
. Обозначим через  разность
разность  , то есть
, то есть  . Следовательно,
. Следовательно,  . А так как число
. А так как число  удовлетворяет сравнению (2.1), то сравнение
удовлетворяет сравнению (2.1), то сравнение 
| 
 | (2.2) | 
является верным. Кроме того,  
 
Получим
| 
 | (2.3) | 
Но тогда по свойству транзитивности из (2.2) и (2.3) получим, что
 ,
, 
то есть  удовлетворяет сравнению (2.1), поэтому весь класс
удовлетворяет сравнению (2.1), поэтому весь класс  , состоит из чисел, удовлетворяющих сравнению (2.1). Теорема 1 доказана.
, состоит из чисел, удовлетворяющих сравнению (2.1). Теорема 1 доказана. 
Определение 2. Решением сравнения (2.1) называется класс вычетов по  , которые при подстановке в сравнение обращают его в верное сравнение.
, которые при подстановке в сравнение обращают его в верное сравнение. 
Число решений сравнения по  это число решений этого сравнения в какой-либо полной системе вычетов по модулю
это число решений этого сравнения в какой-либо полной системе вычетов по модулю  .
. 
Примеры.
1)  . Полная система наименьших неотрицательных вычетов по модулю 7:
. Полная система наименьших неотрицательных вычетов по модулю 7:  (так как классы вычетов будут
(так как классы вычетов будут  ).
). 
Если  , то
, то  , следовательно,
, следовательно,  не удовлетворяет сравнению.
не удовлетворяет сравнению. 
Если  , то
, то  , следовательно,
, следовательно,  не удовлетворяет сравнению.
не удовлетворяет сравнению. 
Если  , то
, то  , следовательно,
, следовательно,  не удовлетворяет сравнению.
не удовлетворяет сравнению. 
Если  , то
, то  , следовательно,
, следовательно,  удовлетворяет сравнению, а поэтому класс вычетов
удовлетворяет сравнению, а поэтому класс вычетов  по
по  является решением сравнения.
является решением сравнения. 
Если  , то
, то  , следовательно,
, следовательно,  не удовлетворяет сравнению.
не удовлетворяет сравнению. 
Если  , то
, то  , следовательно,
, следовательно,  не удовлетворяет сравнению.
не удовлетворяет сравнению. 
Если  , то
, то  , следовательно,
, следовательно,  не удовлетворяет сравнению.
не удовлетворяет сравнению. 
Таким образом, сравнение имеет одно решение 
 или, в другом виде,
или, в другом виде,  .
. 
Ответ:  .
. 
2) .
. 
Классы вычетов по mod 10:  . Полная система наименьших по абсолютной величине вычетов по mod 10: {0, 1, 2, 3, 4, 5, -4, -3, -2, -1}. Проверим для каждого из этих чисел, будет ли выполнено условие
. Полная система наименьших по абсолютной величине вычетов по mod 10: {0, 1, 2, 3, 4, 5, -4, -3, -2, -1}. Проверим для каждого из этих чисел, будет ли выполнено условие  . Имеем:
. Имеем: 
| 
 | 
 | 
| 
 | 
 | 
| 
 | 
 | 
| 
 | 
 | 
| 
 | 
 | 
Другие рефераты на тему «Математика»:
Поиск рефератов
Последние рефераты раздела
- Анализ надёжности и резервирование технической системы
- Алгоритм решения Диофантовых уравнений
- Алгебраическое доказательство теоремы Пифагора
- Алгоритм муравья
- Векторная алгебра и аналитическая геометрия
- Зарождение и создание теории действительного числа
- Вероятностные процессы и математическая статистика в автоматизированных системах

 
  
  
  
  
  
  
  
  
  
  
  
  
  Скачать реферат
 Скачать реферат