НОУ ИНТУИТ | Управление ключами шифрования и безопасность сети. Лекция 17: Q. Некоторые доказательства

Учитесь и получайте официальные документы БЕСПЛАТНО. Вы можете поддержать наш проект.

Регистрация Вход

Твой путь к знаниям!

Опубликован: 19.01.2010 | Уровень: специалист | Доступ: платный

|

Вам нравится? Нравится 20 студентам

| Поделиться |

Поддержать программу

Ключевые слова: приложение, математика, алгоритм, целое число, остаток, основание, значение, доказательство, решето Эратосфена, функция Эйлера

Это приложение содержит некоторые доказательства для теорем, используемых в лекции 2 курса "Математика криптографии и теория шифрования" и "лекции 1" . Почти все они короткие и неформальные. Они рассчитаны на студентов, изучающих курс криптографии. Читатель, заинтересованный в более детальном изучении, может пополнить свои знания из книг, посвященных теории чисел.

Q.1. Лекция 2

Эта лекция содержит некоторые доказательства теорем по теории делимости, евклидовых алгоритмов и сравнений.

Теория делимости

Ниже - доказательства нескольких теорем по теории делимости.

Теорема Q.I:Уравнение деления (алгоритм)

Для целого числа a и b, где b > 0, существуют целые числа q и r, такие, что

a = q x b + r.

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

Рассмотрим арифметическую прогрессию в форме

...,-3 x b, - 2 x b, - 1 x b , 0 x b, 1 x b, 2 xb, 3 x b, ...

Очевидно, что целое число является или равным одному из членов этой прогрессии, или находится между двумя последовательными членами. Другими словами, a = q x b + r, где q x b - член в вышеупомянутой прогрессии и r - смещение от этого члена.

Теорема Q.2. Если a|1, тогда $a = \pm 1$ .

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

a|1 ->.1 = a x x, где x - целое число.

Это означает: ( x = 1 и a = 1 ) или ( x = -1 и a = -1 ).

Поэтому: $a = \pm l$ .

Теорема Q.3.Если a|b и b|a, тогда $a= \pm b$ .

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

a | b -> b = x x a, где x - целое число.

b |a -> = y x b, где y - целое число.

Мы имеем a =y x (x x a) = (y x x) x a. -> y x x = 1.

Это означает: ( x = 1 и y = 1 ) или ( x = -1 и y = -I ).

Поэтому: $a = y\ \times \ b \to \pm b$ .

Теорема Q.4. Если a|b и b|c, тогда a|c.

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

a | b -> b= x x a, где X - целое число.

b| c -> c = y x b, где y -целое число.

Мы имеем c = y x (x x a) = (y x x ) x a.

Поэтому a | c.

Теорема Q.5.Если a|b и a|c, тогда a|(b + c).

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

a | b -> b = x x a, где x - целое число.

a | c -> c = y x a, где y - целое число.

Мы имеем b + c = (x + y) x a.

Поэтому a| (b + c).

Теорема Q.6. Если a |b и a | c, тогда a |(m x b + n x c), где m и n - произвольные целые числа.

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

a |b -> b = x x a, где x - целое число.

a |c -> c = y x a, где y - целое число.

Мы имеем (m x b + n x c) = m x (x x a) +n x x (y x a)= (m x x + n xy) x a.

Поэтому a |(m x b + n x c).

Евклидовы алгоритмы

Мы использовали евклидов и расширенный евклидов алгоритмы в лекции 2. Ниже даны доказательства двух теорем, связанных с этими алгоритмами.

Теорема Q.7.Если a = b x q + r ( r - остаток от деления a на b ), то НОД (a, b) = НОД (b, r).

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

Предположим, что E - набор всех общих делителей a и b. Каждый элемент E делит a и b, поэтому он делит r = a - b x q. Это означает, что E - набор всех общих делителей a, b, и r.

Предположим, что F - набор всех общих делителей b и r. Каждый элемент F делит b и r ; поэтому делит a = b x q + r. Это означает, что F - набор всех общих делителей a, b и r.

Это означает, что E = F -> a, b и r имеют одинаковый набор общих делителей. Поэтому НОД (a, b) == НОД (b, r).

Как мы видели в "лекции 2" , эта теорема - основание евклидового алгоритма для нахождения наибольшего общего делителя двух целых чисел.

Теорема Q.8.Если a и b - целые числа и оба не равны нулю, то существуют целые числа x и y, такие, что НОД (a, b) = x x a + y x b.

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

Предположим, что D - набор всех значений (x x a +y x b), а d есть наименьшее значение отличное от нуля.

Мы можем записать a= q x d + r -> r= a - q x d=(1 - q x x)a + (-q x y) b, где 0 <= r <= d.

Это подразумевает, что r входит в D. Но поскольку r < d, то или r = 0, или d | a.

Подобным путем мы можем показать, что d | b.

Поэтому d - общий делитель a и b.

Любой другой делитель a и b делит d = x x a+ y x b. Поэтому d должен быть НОД (a,b).

Как мы видели в "лекции 2" , эта теорема - основание расширенного евклидового алгоритма.

Сравнение

Ниже даются доказательства некоторых теорем о сравнении, используемые в лекции 2.

Теорема Q.9.Если a, b и n - целые числа и n > 0, то $a \equiv b\ (mod\ n)$ , тогда и только тогда, когда существует целое число q, такое, что q x n + b.

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

Если $a \equiv b\ (mod\ n)$ , то n | (a - b), это означает, что есть целое число q, такое, что a - b = q x n.

Поэтому мы имеем a = q x n + b.

Если есть целое число q, такое, что a = q x n + b, тогда a - b = q x n, что означает n |(a - b).

Поэтому мы имеем $a \equiv b\ (mod\ n)$ .

Теорема Q.10.Если a, b, c и n - целые числа при n > 0, такие, что $a \equiv b\ (mod\ n)$ , то

$a + c \equiv b + c (mod\ n)$ .
$a - c \equiv b - c (mod\ n)$ .
$a \times c \equiv b \times c (mod\ n)$ .

Доказательство: Обратите внимание, что $a \equiv (mod\ n) \to n | (a - b)$ .

(a+c) - (b + c) = a - b. Поскольку n |(a - b), n|(a + c) - (b + c).
Поэтому $a + c \equiv b + c (mod\ n)$ .
(a - c) - (b - c) = a - b. Поскольку n | (a - b), n | (a - c) - (b - c)
Поэтому $a - c \equiv b - c (mod\ n)$ .
(a x c) - (b x c) = (a - b) x c. Поскольку n | (a - b), n | (a - b) x c.
Поэтому a x c = b x c (mod n).

Теорема Q.11.Если a, b, c, d и n - целые числа при n > 0, такие, что $a \equiv b (mod\ n)$ и $c \equiv d (mod\ n)$ , то

$a + c \equiv b + d (mod\ n)$ .
$a - c \equiv b - d (mod\ n)$
$a \times c \equiv b \times d (mod\ n)$ .

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

Обратите внимание, что $a\ \equiv \ b mod n \to (a - b) \to (a-b) =k x n$ ; $c \equiv d (mod\ n) \to (c - d) = l x n$

а .(a +c) - (b + d) = (a - b) + (c - d) = k x n + l x n = (k + l) x n.
Поэтому $(a +c) \equiv b + d (mod\ n)$ .
б. (a - c) - (b - d) = (a - b) - (c - d) = k x n - l x n = (k - l ) x n.
Поэтому $a \times c \equiv b - d (mod\ n)$ .
a x c - (b - d) = c x (a - b) + b x (c - d) = (c x k + b x I) x n.
Поэтому $a \times c \equiv b \times d (mod\ n)$