Научная статья на тему 'Структурная формула для последовательности остатков ax (mod m) и ее приложение к цепной дроби, связанной с квадратичным невычетом по простому модулю'

Структурная формула для последовательности остатков ax (mod m) и ее приложение к цепной дроби, связанной с квадратичным невычетом по простому модулю Текст научной статьи по специальности «Математика»

CC BY
96
25
i Надоели баннеры? Вы всегда можете отключить рекламу.
Журнал
Чебышевский сборник
Scopus
ВАК
RSCI
Область наук
i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «Структурная формула для последовательности остатков ax (mod m) и ее приложение к цепной дроби, связанной с квадратичным невычетом по простому модулю»

ЧЕБЫШЕВСКИЙ СБОРНИК Посвящается 65-ой годовщине со дня рождения профессора Сергея Михайловича Воронина

Том 12 Выпуск 1 (2011)

СТРУКТУРНАЯ ФОРМУЛА ДЛЯ ПОСЛЕДОВАТЕЛЬНОСТИ ОСТАТКОВ

»« _ _ _ ___и

ax (mod m) И ЕЕ ПРИЛОЖЕНИЯ К ЦЕПНОЙ

ДРОБИ, СВЯЗАННОЙ С КВАДРАТИЧНЫМ НЕВЫЧЕТОМ ПО ПРОСТОМУ МОДУЛЮ

И. И. Ильясов (г. Актобе, Казахстан)

Для доказательства соответствующего результата приведем теоремы и леммы аналогичные в работе [2] без подробного обоснования.

Пусть 1 ^ a < m, n — целые, (a,m) = 1. Рассмотрим видоизмененный алгоритм Евклида для этих чисел.

m = a ■ ai — w1, 0 < w1 < w0(a = w0)

w0 = w1a2 — w2, 0 < w2 < w1

wn-2 wn-1an wn, 0 < wn < wn—1, wn 1

wn-1 -- wnan+1 0 wn+1 - 0

Ясно, ЧТО

a

m

a1-

a2-

(1)

(2)

an

и a, ^ 2, i =1, 2,...,n +1, Определение 1. xo = 1, x1 = a1, ..

yo = 0, У1 = 1 ..

xfc+1 ak+1xk xk—1,

Ук+1 = ak+1yk — Ук-1,

an+1

xn+1 -- an+1xn xn-1,

yn+1 -- an+1yn yn-1.

1

1

1

1

Замечание: Так как xi-1yi — xiyi-1 = 1 i = 1, 2,..., n + 1, то m = xn+1, a = yn+1.

Определение 2. Последовательность остатков rk: ak = rk (mod m) (k = = 0,1, 2, ...,m — 1) обозначим R (a, m).

Определение 3. Последовательность w0,w1, ...,wn называется базисной R (a, m) .

Ясно, что w0 > w1 > ... > wn =1.

JIemma 1.

axk = wk + myk, k = 0,1, ...,n.

Обозначение, ai — 1 = pi, i = 1, 2, ... ,n +1.

x < m

представляется в виде

x = Xot1 + X1^2 + ... + Xk tk+1 (3)

с условиями:

V tk+1 = 0;

2) 0 ^ ti ^ pi, ti — целые i = 1, 2,... ,k + 1;

3) для, любых i и j, где 1 ^ i < j ^ k + 1 (k ^ 1)

(ti,ti+1,... ,tj-1,tj) = (pi,Pi+1 — 1,... ,Pj-1 — 1,pj).

И каждое число

X = Xot1 + X1t2 + ... + Xk tk+1 m.

Лемма 2. При 1 ^ i < j ^ n + 1 (x-1 = 0)

Xj + Xi-2 = Xi-1Pi + Xi(pi+1 — 1) + ... + Xj—2 (pj — 1 — 1) + Xj — 1 Pj Лемма 3. При выполнении условии 1), 2), 3)

X = Xot1 + X1t2 + ... + Xktk+1 < Xk+1.

Следствие 1. Если

X = Xot1 + X^2 + ... + Xk tk+1

! f f j

X = Xot1 + X^2 + ... + Xk tk+1

с условиям,и 1), 2), 3), то при tk+1 = t/k+1, ...,ti+1 = t!i+1, ti <ti X < X.

Теорема 2. Каждое натуральное число I Е Я(а,ш) единственным образом представляется в виде

I = Wotl + ^2 + ... + ык Ьк+1, (4)

с условиям,и 1) tk+l = 0

2) 0 ^ ti ^ р^, и~целые, г = 1, 2,..., к + 1

3) для, любых г и ], где 1 ^ г < ] ^ к + 1

(к ^ 1) (ti,ti+l ,...,tj-1,tj) = (pi,pi+l - 1,... ,р— - 1,Р]).

И всякое число указанного вида, с условиям,и 1), 2), 3) принадлежит Я(а, ш).

Доказательство теоремы следует из следующих лемм.

Лемма 4. При 1 ^ г < ] (w-l = ш)

Wj + Wi-2 = Wi-lPi + Wi(pi+l - 1) + ... + Wj—2 (pj—l - 1) + Wj-lPj.

Лемма 5. I вида (4) с условиям,и 1), 2), 3) меньше ш.

Доказательство, (теоремы)

Возможность представления. Пусть х — произвольное натуральное число. По теореме 1 х представляется в виде

х = Хо^ + Xlt2 + ... + Хк tk+l с условиями 1), 2), 3). По лемме 1

ах = а(хо^ + х^2 + ... + Хк tk+l) = (аxо)tl + (ах^2 + ... + (ахк )tk+l =

= (wо + Шуо)Ь + (Wl + шу^2 + ... + (Wk + шyk) tk+l =

= Wоtl + Wlt2 + ... + Wktk+l + ш (уои + Уlt2 + ... + Уktk+l)

По лемме 5

I = Wоtl + Wlt2 + ... + Wktk+l < ш,

а уо^ + ylt2 + ... + уktk+l — неотрицательные целые, следовательно I Е Я (а,ш).

Единственность представления. Пусть I = w0t/l + wlt'2 + ... + wstls+l.

Тогда

ах' = а (хо^ + Xlt/2 + ... + Xst's+l) = I + ш (yоt/l + ylt/2 + ... + Уst's+l) .

Следовательно, имеем

ах = I + шу у = уо^ + ... + yk tk+l ах = I + шу' у' = уо^ + ... + Уst/s+l

Отсюда

а(х - х') = ш(у - у')

х - х' ш (а, ш) = 1

х = х'и у = у'.

Тогда по теореме 1 5 = к и ^ ^ = ^2, .. ., tk+l = t/k+l. Теорема доказана.

Определение 4. Число х = хо^+xlt2 +...+хktk+l с условиями, 1), 2), 3) называется, координатой числа I = w0tl + wl^ +... + wktk+l в последовательности, Я (а, ш)

Определение 5. Пусть I и I' Е Я (а,ш). Будем говорить, что I предшествует V в Я (а, ш), если х < X, где х и х' соответствующие координаты, I и

V в Я (а,ш). Предшествование I по отношению к I' обозначавтся, I -< I'.

Обозначения, М(Т1,Т2, ...,Т-) - множество чисел I Е Я (а,ш), l<w0Tl+wlT2+ ... + wk-lTk где Т1,Т2, ...,Т- с условиями 1), 2), 3) и

Mk = М(р1 - 1, р2 - 1, ..., pk-l - ~1, pk), к ^ 2 М1 = М (р1)

Теорема 3.

Ть+1-1

М (Tl,T2, ...,Tk, Tk+l) = ^ (Mk + wk tk+l) ^(М (Tl,T2, ...,Tk)+ wk Tk+l). (5)

^к+1=0

Доказательство. Разобьем множество М(Т1,...,Т-,Tk+l) на два подмножества вида первое: {w0tl + ... + wk-ltk + гyktk+l} где tk+l ^ Т-+1 - 1 второе: {wоtl + Wlt2 + ... + Wk-ltk + Wkt,k+l}

При tk+l ^ Tk+l - 1 для всевозможных значений tl,t2, ...,tk с условиями 1), 2), 3), включая (0, ... , 0)

Wоtl + ... + Wk-ltk + Wktk+l WоTl + ... + Wk-lTk + WkTk+l.

так как

x0tl + ... + xk—ltk + xktk+l < х0Т1 + ... + Xk—lTk + xkTk+l.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

С другой стороны для всевозможных значений tl,t2, ...,tk с условиями 1), 2), 3), включая (0, ... , 0)

{1^о1^1 + и^2 + ... + wk—ltk} =k .

Действительно, во-первых, в силу х0^ + ... + Xk-ltk < х-имеем, что

Wоtl + Wlt2 + ... + Wk-ltk ^ Wk,

во-вторых

х0(р1 - 1) + ... + Xk-2(Pk-l - 1) + хк-т = хк - 1.

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

Xоtl + ... + х--^к ^ хо(р1 - 1) + ... + х--2(р--1 - 1) + х—Рк И по определению

{w0tl + wlt2 + ... + wk—ltk} =к для всевозможных значений tl,t2, ...^кс условиями 1), 2), 3), включая (0, ... , 0)

Поэтому первое подмножества совпадает с

Тк+1-1

1^1 (Мк + 'Шк tk+l)

^к+1=0

Теперь, так как во втором подмножестве

Wоtl + ... + Wk—ltk + Wktk+l^ WоТ + ... + Wk— lТк + WkТ-+1 то отсюда следует что

Wоtl + ... + Wk—ltk^ WоTl + ... + Wk—lTk, то есть второе подмножество содержится в

М (Tl, Т2, ..., Тк ) + 'Шк Тк+Ь

Если же

w0tl + и^2 + ... + ^^к-^к + "Шкtk+l Е М(Т1 ,T2, ..., Тк) + '^кTk+l,

ТО

Xоtl + ... + хк-^к ^ хоТ + ... + хк-\Гк.

И следовательно

x0tl + ... + хк-^к + хкТ-+1 ^ х0Т1 + ... + хк-\Тк + хкTk+l,

то есть w0tl + wlt2 + ... + wk—ltk + wktk+l принадлежит второму подмножеству. Теорема доказана.

Обозначение. Я (па < I, ш) обозначает множество чисел Я (а,ш) меныних I. Теорема 4.

Я (па < w0, ш) =

Доказательство. Пусть па = и011 + и112 + ... + ик-1Ьк + ик^к+1(то^т). Если и0^1 + и1Ь2 + ... + ик-11к + £к+1 < и0, то Ь1 = 0 т.е

па = и^2 + ... + ик-^к + Шк Ьк+1(тойт)

с условиями 1), 2), 3) для Ь2, ..., £к+ь Тогда то теореме 2 при а = и1, т = и0 и1 Ь2 + ... + ик-11к + ик^k+1 € Я(и1,и0). Верно и обратное утверждение. Теорема доказана.

Из этой теоремы получаем последовательность

Я (а,т) Э Я(и1,и0) Э Я(и2,и1) Э ...

Обозначения. х'0 = 1, х1 = а2, х'2 = а3х1 — х0, ..., х'п = ап+1х1п-1 — х'п-2,

у0 =0, у1 = 1,у2 = азу/1— у0,..., уП = ап+1уП-1— уП-2

Лемма 6. и1 х'п = ип+1 + и0уП, п = 0,1,2,....

Доказательство. Доказательство аналогично доказательству леммы 1. Следствие 1.

и1 (х0^1 + х1^2 + ... + хк-1^к+1) = и1^2 + ... + ик-1^к + Шк tk+1 + и0 (Уо ^1 + ... + Ук-1^к+1).

Следствие 2. Если х^2 +... + хк£к+1 координаты /в Я (а, т), то х0^1 + х^2 + ... + х'к_ 1^к+1 координаты /в Я (и1,и0).

Теорема 5. Если, _ наименьший квадратичный невычет по простому модулю р > 2, то в разложении в полурегулярную цепную дробь

6_____________1__________

р1

а1

а2

ап--------

ап+1

а^ ^ _, г = 2,...,п +1.

Доказательство. Пусть

р = и0а1 — и1, 0 < и1 <и0 (ш0 = _)

и0 = и1а2 — и2, 0 < и2 <и1

и п- 2 = и п- 1 а п — и п 0 < и п < и п- 1 , и п = 1 ип-1 --- 0пап+1 0 ип+1 -- 0

1

1

Из определения _ следует, что числа 1, 2,...,_ — 1 квадратичные вычеты по р.

По теореме 4 Я (п_ < и0, т) = Я(и1, и0), следовательно множество чисел и1^2 + ... + икЬк+^ условию 1), 2), 3), совпадает с множеством чисел 1, 2,...,_ — 1. Так как

_ (х1Ь2 + ... + хкЬк+1) = и1^2 + ...+икЬк+1 (тоф) и и1^2 + ...+икЬк+1 квадратичный вычет по модулю рто х1^2 +... + хкЬк+1 квадратичный невычет по модулю р. Если предположить что аг > _ при некотором г = 2,...,п + 1, то отсюда получаем _ ^ рги следовательно иг-1_ Е Я (и1,и0) и это противоречие так как,иг-1_ должно быть меньше чем _,следовательно аг ^ _ г = 2,..., п.

Теорема доказана.

Отметим что из этой теоремы в силу х1 = а1 ^ _ легко получить известную оценку

Некоторые важные сведения об исследованиях наименьшего квадратичного невычета по простому модулю можно найти в [1].

[1] Гельфонд А. О., . Iннннк Ю. В. Элементарные методы в аналитической теории чисел. — М., Физматгиз, 1962 г., С. 214 — 220

[2] Ильясов И.И. Структурная формула для последовательности {ив} и ее некоторые приложения в вопросах теории чисел. // Чебышевекий сборник. Т.11. Вып.1-Тула: Изд-во Туп, гос. пед. ун-та им. Л.Н. Толстого. 2010. С. 152 —

СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ

172

Актюбинекий государственный университет им. К. /Кубанова Поступило 13.06.2011

i Надоели баннеры? Вы всегда можете отключить рекламу.