Элементарная теория сумм Гаусса

2792
знака
0
таблиц
13
изображений
Элементарная теория сумм Гаусса

Рассмотрим следующую сумму – сумму Гаусса :

где D – целое положительное и (a, D)=1.

Покажем, что значение суммы будет одним и тем же, если х пробегает любую полную систему вычетов по модулю D.

Действительно, пусть х пробегает полную систему вычетов по модулю D. Тогда х=qD+k , где k =0, 1, …, D-1 , q є Z

Будем иметь :

Элементарная теория сумм ГауссаЭлементарная теория сумм Гаусса
Элементарная теория сумм Гаусса
Элементарная теория сумм Гаусса

что и требовалось.

Лемма 1.

Пусть (a, D)=1. Тогда:

Элементарная теория сумм Гаусса

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

Элементарная теория сумм Гаусса

По свойству модуля комплексного числа :

Имеем:

Элементарная теория сумм Гаусса

Сделаем замену x = x + t . Когда х и х пробегают полную систему вычетов по модулю D , от х и t пробегают независимо полные системы вычетов по модулю D.

Действительно, пусть х и х пробегают полную систему вычетов по модулю D . Тогда х = qD + k k=0, 1, …, D-1 , q є Z

х = pD + i i=0, 1, …, D-1 , p є Z

Следовательно, t = x – x = (q – p)D + (k – i) = l D + m , где m=0, 1, …, D-1 , l є Z

Элементарная теория сумм Гаусса

а) Пусть D – нечетное, т.е. (2а, D)=1

Элементарная теория сумм Гаусса

если D делит t.

Элементарная теория сумм ГауссаЭлементарная теория сумм Гаусса

Если же D не делит t, то последнюю сумму можно записать в виде :

Элементарная теория сумм Гаусса

Получили :

Тогда

Элементарная теория сумм Гаусса

Отсюда

Элементарная теория сумм Гаусса

б) Пусть D делится на 4, т.е. возможно представление : D = 2D , где D – четное и ( a, D )=1 .

Элементарная теория сумм Гаусса
Элементарная теория сумм Гаусса

Получим :

Элементарная теория сумм ГауссаЭлементарная теория сумм Гаусса

Так как D четное, то

Элементарная теория сумм Гаусса

Следовательно

в) Пусть D = 2 (mod 4) , т.е. D = 4q + 2 , q є Z

Элементарная теория сумм Гаусса

Тогда из предыдущего случая имеем : D = 2 (2q+1)= 2D , D - нечетное. Имеем :

Элементарная теория сумм Гаусса
Элементарная теория сумм Гаусса

Что и требовалось.

Лемма 2.

Если D и D взаимно простые числа, то

S ( aD1 , D2 ) S ( aD2 , D1 ) = S ( a , D1 D2 )

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

Элементарная теория сумм Гаусса
Элементарная теория сумм Гаусса

В этих суммах t1 пробегает полную систему вычетов по модулю D2 , а t2 пробегает полную систему вычетов по модулю D2. При этом D1t1 + D2t2 пробегает полную систему вычетов по модулю D1D2 . Действительно , всего членов в сумме D1D2 и никакие два несравнимы между собой. Действительно, предположим противное : пусть D1t1 + D2t2 = D1t1 + D2t2 ( mod D1D2 )

Отсюда D1 (t1 – t1) = D2 (t2 – t2 ) (mod D1D2) Тогда

D1 (t1 – t1) = D2 (t2 – t2 ) (mod D2) А так как D2 (t2 – t2 ) = 0 (mod D2)

То по свойству сравнений имеем D1 (t1 – t1) = 0 (mod D2) Отсюда так как (D1, D2)=1 , то t1 – t1 = 0 (mod D2) Аналогично получим t2 – t2 = 0 (mod D1)

Т.е. имеем t1 = t1 (mod D2) и t2 = t2 (mod D1) . Но это противоречит тому, что t1 пробегает полную систему вычетов по модулю D2 , а t2 пробегает полную систему вычетов по модулю D2, так как в полной системе вычетов любые два числа не сравнимы. Следовательно наше предположение было неверным и действительно D1t1 + D2t2 пробегает полную систему вычетов по модулю D1D2 .

Элементарная теория сумм Гаусса

Поэтому

Лемма 3.

Пусть p простое нечетное число ине делит a . Тогда

Элементарная теория сумм Гаусса

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

Элементарная теория сумм Гаусса

Элементарная теория сумм Гаусса

Элементарная теория сумм Гаусса

Элементарная теория сумм Гаусса

Элементарная теория сумм Гаусса

Элементарная теория сумм Гаусса

Элементарная теория сумм Гаусса

что и требовалось доказать.

Лемма 4.

Если р простое нечетное число , то

Элементарная теория сумм Гаусса

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

Из леммы 3. получим

Элементарная теория сумм Гаусса

Так как произведение сопряженных величин дает квадрат модуля, то

Элементарная теория сумм Гаусса

Лемма 5.

Если р и q различные простые числа , то

Элементарная теория сумм Гаусса

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

Так как ( р, q )= 1 , мы можем воспользоваться леммой 2 : в нашем случае

Элементарная теория сумм Гаусса

Элементарная теория сумм Гаусса

Элементарная теория сумм Гаусса

Итак , мы показали, что

Элементарная теория сумм Гаусса

что и требовалось доказать.


Информация о работе «Элементарная теория сумм Гаусса»
Раздел: Математика
Количество знаков с пробелами: 2792
Количество таблиц: 0
Количество изображений: 13

Похожие работы

Скачать
25559
0
0

... равна 0,515). Конец 19 в. и 1-я половина 20 в. отмечены открытием большого числа статистических закономерностей в физике, химии, биологии и т.п. Возможность применения методов теории вероятностей к изучению статистических закономерностей, относящихся к весьма далёким друг от друга областям науки, основана на том, что вероятности событий всегда удовлетворяют некоторым простым соотношениям, о ...

Скачать
125259
9
8

... {ξn (ω )}¥n=1 . Поэтому, во-первых, можно говорить о знакомой из математического анализа (почти) поточечной сходимости последовательностей функций: о сходимости «почти всюду», которую в теории вероятностей называют сходимостью «почти наверное». Определение 46. Говорят, что последовательность с. в. {ξn } сходится почти наверное к с. в. ξ при n ® ¥ , и пишут: ξn ...

Скачать
26126
0
3

... постоянная Эйлера. Предложение 5 доказано. Перейдем теперь к элементарному доказательству следующего результата. Теорема (Зигель). Для числа  всех приведенных неопределенных бинарных квадратичных форм дискриминанта  справедливо неравенство , где - произвольное положительное число, - постоянная, зависящая только от . Доказательство. Пусть - неопределенная ...

Скачать
23307
0
0

... классов бинарных квадратичных форм имеется точная формула Дирихле. Другим важным результатом являются неравенства, принадлежащие немецкому математику Зигелю. , где  — число приведенных неопределенных бинарных квадратичных форм дискриминанта ;  и  — положительные постоянные, зависящие от ; причем  — любое фиксированное положительное число. Наша цель состоит в том, чтобы элементарным способом ...

0 комментариев


Наверх