Уважаемые форумчане!
Помогите доказать!
Свойства вычетов по модулю P^2
Пусть P - простое число больше 3-х и
пусть имеем множество натуральных вычетов R по модулю P ^ 2 таких, что их индексы по указанному модулю равны m P т.е.

, где
m пробегает наименьшие натуральные вычеты по модулю P, т.е.

.
Требуется доказать, что множество натуральных вычетов R (далее множество R) обладает следующим свойством:
1. Если простое число P имеет вид 6n + 1, то в множестве R имеются ТОЛЬКО 2 (две) пары чисел

, таких, что

, (а)

.
2. Если простое число P имеет вид 6n + 5, то в множестве R нет ни одной пары чисел, удовлетворяющей условию (а).
Для случая, когда простое число P имеет вид 6n + 1 мне удалось доказать, что в множестве R имеются 2(две) пары чисел, удовлетворяющие условию (а), ниже привожу это доказательство. Но доказать, что только две такие пары (не более) доказать не удалось.
Очевидно в множестве R имеются числа принадлежащие показателям 3 и 6 по модулю P ^ 2, так как функция Эйлера

делится на 3 и на 6.
--Пусть

принадлежит показателю 6, т.е.

, тогда

,
таких чисел в множестве R равно
и пусть второе число

больше

R – 2 ^ 3 + 1\equiv 0\ pmod P ^ 2

R – 1^ 3 + 1 \ equiv (R – 1 + 1)(R – 1 ^ 2 – R - 1 + 1)\ \equiv 0\ pmod P ^ 2

R – 1 ^ 2 – R – 1 + 1\equiv 0 \ pmod P ^ 2

R – 2 ^ 3 + 1\equiv (R – 2 + 1)(R – 2 ^ 2 – R – 2 + 1) \ \ equiv 0 \ pmod P ^ 2

R – 2 ^ 2 – R – 2 + 1 \equiv 0 \ pmod P ^ 2

R – 1 + 1

R – 2 + 1

R – 1 и R – 2

(R – 2 – R – 1 )(R – 2 + R – 1 – 1) \equiv 0 \ pmod P ^ 2

R – 2 + R – 1 – 1\equiv 0 \ pmod P ^ 2

R – 1 \equiv 1 – R – 2 \ pmod P ^ 2

R – 2 \equiv 1 – R – 1\ pmod P ^ 2

U – 1

U – 1 ^3\ equiv 1 \pmod P ^ 2

U – 1 ^ 3 – 1 \equiv 0 \ pmod P ^ 2

φ (3) = 2

U – 2 > U – 1

U – 2 ^ 3 – 1\equiv 0\ pmod P^ 2

U – 1 ^ 3 – 1 \equiv (U – 1 – 1) (U – 1 ^ 2 + U – 1 + 1)\equiv 0 \ pmod P^ 2

U – 1 ^ 2 + U – 1 + 1)\equiv 0 \ pmod P^ 2

U – 2 ^ 3 – 1 \equiv (U – 2 – 1) (U – 2 ^ 2 + U – 2 + 1)\equiv 0 \ pmod P^ 2

U – 2 ^ 2 + U – 2 + 1)\equiv 0 \ pmod P^ 2

(U – 2 – U – 1) (U – 2 + U – 1 – 1) \equiv 0 \ pmod P ^ 2

U – 2 + U – 1 – 1\equiv 0 \ pmod P ^ 2

U – 1 \equiv 1 – U – 2 \ pmod P ^ 2

U – 2 \equiv 1 – U – 1\ pmod P ^ 2

(R – 1 + U – 1) (R – 1 – U – 1 – 1) \equiv0\ pmod P ^ 2

(R – 1 – U – 1 – 1) \equiv 0\ pmod P ^ 2

R – 1 – U – 1 \equiv 1\ pmod P ^ 2

R – 1 + U – 1

(R – 2 + U – 2) (R – 2 – U – 2 – 1) \equiv0\ pmod P ^ 2

(R – 2 – U – 2 – 1) \equiv 0\ pmod P ^ 2

R – 2 – U – 2 \equiv 1 \ pmod P ^ 2

R – 2 + U – 2

R – 2 + U – 2

R – 1 + U – 1

R – 2 + U – 2 \ equiv 0 \ pmod P ^ 2

R – 2 \equiv 1 - R – 1 \ pmod P ^ 2

U – 2 \equiv 1 - U – 1 \ pmod P ^ 2

1 – R – 1 + ( - 1 – U – 1 ) \ equiv – (R – 1 + U – 1 )\ \ equiv 0\ pmod P ^ 2

R – 1 < P ^ 2

U – 1 < P ^ 2

R – 1 + U – 1 = P ^ 2

R – 2 > R – 1

U – 2 > U – 1

R – 2 + U – 2 = 2 P ^ 2

R – 2 < P ^ 2

U – 2 < P ^ 2

R – 1 + U – 1 \equiv 0\ pmod P ^ 2

1 - R2 + (- 1 - U2) \equiv - ( R2 + U2)\ \equiv 0 \ pmod P ^ 2

R – 2 + U – 2 = 2 P ^ 2

(R - 1, R – 2 , U – 1 , U – 2) < P ^ 2

R – 1 – U - 1 = 1

R – 2 – U – 2 = 1

(R – 1 и U – 1)

(R – 2 и U - 2 )

P = 6n + 5

φ(P ^ 2) = φ((6n + 5) ^ 2)= (6n + 4)(6n + 5)

P = 6n + 1

P = 6n + 5

P = 7, 13, 19, 31

P = 5, 11, 17

P = 7, 13

P = 17

P = 7
![$, [math]$ $, [math]$](https://dxdy-03.korotkov.co.uk/f/2/8/0/280f97ec80c1d11c39dffa4b933b7e4c82.png)


,


,

φ(7 ^2) = (7 – 1)7 = 42

$, где g - (здесь и далее соответствующий наименьший первообразный корень по модулю P ^2), чтобы не загромождать текст, числа R записаны без индексов

R\equiv 3 ^ 7\ \ equiv31\ pmod 49

$,

R\equiv 3^ 14\ \equiv 30\ pmod 49

$,

R\equiv 3^ 21\ \equiv 48\ \equiv – 1\ pmod 49

$,

R\equiv 3^28\ \equiv 18\ pmod 49

$,

R\equiv 3 ^35\ \equiv 19\ pmod 49

$,

R \equiv3 ^42\ \equiv 1\ pmod 49

$.
В этом множестве R имеется две пары чисел. Это числа

(31, 30)



(19,18)

$, такие, что

31 - 30 = 1



19 – 18 = 1

$ и

30^ 3\equiv 1\ pmod 49



18^ 3\equiv 1\ pmod 49

$, а так же

31^ 3 + 1\equiv 0\ pmod 49



19^ 3 + 1\equiv 0 \ pmod 49

$.
Пусть

P = 13



P ^2 = 169



g = 2



φ(13 ^2) = (13 – 1)13 = 152

$

R\equiv 2 ^ 13\ \equiv 80\ pmod 169

$,

R \equiv 2 ^ 26\ \equiv 147\ pmod 169

$,

R\equiv 2 ^ 39\ \equiv 99\ pmod 169

$,

R \equiv 2 ^ 52\ \equiv 146\ pmod 169

$,

R \equiv 2 ^ 65\ \equiv 19\ pmod 169

$,

R\equiv 2 ^ 78\ \equiv 168\ \equiv – 1\ pmod 169

$,

R \equiv 2 ^ 91\ \equiv 89\ pmod 169

$,

R\equiv 2 ^ 104\ \equiv 22\ pmod 169

$,

R\equiv 2 ^ 117\ \equiv 70\ pmod 169

$,

R\equiv 2 ^ 130\ \equiv 23\ pmod 169

$,

R\equiv 2 ^ 143\ \equiv 150\ pmod 169

$,

R\equiv 2 ^ 156\ \equiv 1\ pmod 169

$.
В этом множестве R имеется две пары чисел. Это числа

(147,146)



(23,22)

$, такие, что

147 – 146 =1



23 – 22 = 1

$ и

146 ^3 \equiv1\ pmod 169



22 ^3 \equiv 1\ pmod 169

$

147 ^3 + 1\equiv 0\ pmod 169



23 ^3 + 1\equiv 0\ pmod 169

$.
Пусть

P =17

,



,



,


$[/math],
R\equiv 3 ^17\ \ equiv 224\ pmod 289,
R\equiv3 ^34 \ \equiv 179\ pmod 289,
R\equiv 3 ^51\ \ equiv 214\ pmod 289,
R\equiv 3 ^68\ \ equiv 251\ pmod 289,
R\equiv 3 ^85\ \ equiv 158\ pmod 289,
R\equiv 3 ^102\ \ equiv 134\ pmod 289,
R\equiv 3 ^119\ \ equiv 249\ pmod 289,
R\equiv 3 ^136\ \ equiv 288\ \ equiv – 1 \pmod 289,
R\equiv 3 ^153\ \ equiv 65\ pmod 289,
R\equiv 3 ^170\ \ equiv 110\ pmod 289,
R\equiv 3 ^187\ \ equiv 75\ pmod 289,
R\equiv 3 ^204\ \ equiv 38\ pmod 289,
R\equiv 3 ^221\ \ equiv 131\ pmod 289,
R\equiv 3 ^238\ \ equiv 155\ pmod 289,
R\equiv 3 ^255\ \ equiv 40\ pmod 289,
R\equiv 3 ^272\ \ equiv 1\ pmod 289,
В этом множестве R нет чисел с разностью модулей равной 1.
С уважением Василий Полежаев
Уважаемый Модератор!
Сообщение в карантине АКМ - «Свойства вычетов по модулю {P^2}» исправлено.
1. Греческое φ заменил на \varphi.
2. \Rightarrov расположил внутри формул.
3. Для нумерованных формул [(1), (а), (b), (g), (d), (е) и (r)] использовал конструкцию

/
4. \pmod P^2 заменил на \pmod{ P^2}.
5. Множество {R} заменил на множество \{R\}.
6. Исправил \eguiv и \egno на \equiv \eqno
7. Выполнил п.3 Сообщения о частных примерах. Теперь они есть для P = 5, 7, 11, 13, 17, 19 и 31
Благодарю за указанные ошибки и способ их устранения.
Прошу, если это возможно, вернуть мое сообщение на форум.
Василий Полежаев.
Уважаемые Форумчане!
1.Меня заинтересовали (в связи с работой над ВТФ) свойства той части вычетов по модулю

(P – простое число > 3), индексы, которых по указанному модулю, равны

, где m пробегает систему наименьших натуральных вычетов по модулю P, т.е.

.
2. Пусть \{R\} совокупность таких вычетов по модулю

.
3. Частные примеры (ниже) совокупностей вычетов \{R\} по модулям

,

,

,

,

,

и

указывают на существовании у таких вычетов интересных свойств, а именно:
3.1. Если простое число P имеет вид

в частности числа 7,13,19 и 31, то в каждой совокупности вычетов \{R\} по соответствующим модулям

,

,

и

имеются только 2(две) пары чисел

и

таких, что

,

.
3.2. Если простое число P имеет вид

в частности числа 5, 11 и 17, то в каждой совокупности вычетов \{R\} по соответствующим модулям

,

и

, нет ни одной пары чисел удовлетворяющих условию (1).
Предлагаю доказательство наличия 2(двух) пар чисел в совокупности вычетов \{R\}, если P имеет вид

.
4. Очевидно в \{R\} имеются вычеты (далее числа) принадлежащие показателям 6 и 3 по модулю

, так как функция Эйлера

делиться на 6 и на 3.
Пусть число

принадлежит показателю 6 по модулю

, т.е.

, таких чисел в множестве \{R\} равно

и пусть второе число

>

> 1 и

, тогда

, отсюда

,

, отсюда

,
Числа

и

не могут быть сравнимы с нулем по модулю

, так как в противном случае числа

и

принадлежали бы показателю 2, а не 6.
5. Вычтем из сравнения (b) сравнение (а)

, отсюда

, а отсюда

.
6. Пусть число

принадлежит показателю 3 по модулю

, т.е.

, таких чисел в множестве \{R\} равно

и пусть второе число

и

, тогда

, отсюда

,

, отсюда

.
Число

не может равняться 1, в противном случае оно не принадлежало бы показателю 3 по модулю

, а число

тем более не равно 1.
7. Вычтем из сравнения (d) сравнение (g)

, отсюда

, а отсюда

.
8. Анализ сравнений (а), (b), (g) и (d).
8.1. Из сравнения (а) вычтем сравнение (g)

, отсюда

, а отсюда

.
8.2, Из сравнения (b) вычтем сравнение (d)

, отсюда

, а отсюда
Числа

и

не сравнимы с нулем по модулю

.
Докажем от противного.
Пусть

, тогда благодаря сравнениям

и
имеем

,
отсюда

, так как

и

, но так как

и

, то тогда должно

., что невозможно, так как, и

, и

.
Пусть теперь

, тогда благодаря тем же сравнениям имеем

, , отсюда

что невозможно. Пришли к противоречию, значит утверждение, верно.
9.Так как числа

, то из сравнений (e) и (r) следует

,

,
т.е. установлено существование в множестве \{R\} 2(двух) пар чисел

и

, удовлетворяющих условию (1).
10. Выскажем Утверждения.
Утверждение 1. Если

, то в множестве \{R\} существует только
2(две) пары чисел, удовлетворяющие условию (1).
Утверждение 2. Если

, то в множестве \{R\ не существует ни одной
пары чисел, удовлетворяющие условиям (1), так функция Эйлера

не делиться на 6, а значит и на 3.
Уважаемые Форумчане! Я доказал наличие (для

\) в множестве \{R\} 2(двух) пар чисел удовлетворяющих условию (1), но доказать, что их только две пары (не более) не удалось. Одновременно справедливо ли распространять вышеприведенную логику доказательства на множество \{R\} для

? Прошу Вашей помощи.
Частные примеры подтверждают, что только две пары чисел принадлежащие \{R\}удовлетворяют условию (1), если

и нет ни одной пары таких чисел, если

.
Примеры, если

и

.
Пусть P = 7,

= 49, g = 3,

, где g - здесь и далее соответствующий наименьший первообразный корень по модулю

. Чтобы не загромождать текст, числа R записаны без индексов

,

,

,

,

,

.
В этом множестве \{R\} имеется две пары чисел. Это числа (31, 30) и (19,18), такие, что
31 - 31 = 1 и 19 – 18 = 1 и

и

, а так же

и

.
Пусть P = 13,

= 169 , g = 2,


,

,

,

,

,

,

,

,

,

,

,

.
В этом множестве \{R\} имеется две пары чисел. Это числа (147,146) и (23,22), такие, что
147 – 146 =1 и 23 – 22 = 1 и

,

,

,

.
Пусть P = 19,

= 361, g = 2,


,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,
В этом множестве \{R\} имеется две пары чисел. Это числа (293, 292) и (69, 68), такие, что
293 – 292 = 1, 69 – 68 = 1 и

,

,

,

.
P = 31, g = 3,

= 961,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,
В этом множестве \{R\} имеются две пары чисел (522, 521) и (440, 439) таких, что
522 - 521 =1 и 440 - 439 = 1, а так же

,

,

,

.
Пусть P = 5,

= 25, g = 2,

,

,

,

,

,
В этом множестве \{R\} нет чисел с разностью модулей равной 1.
Пусть P = 11,

= 121, g = 2,

.

,

,

,

,

,

,

,

,

,

,
В этом множестве \{R\} нет чисел с разностью модулей равной 1.
Пусть P =17,

= 289, g = 3,

.

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,

,
В этом множестве \{R\} нет чисел с разностью модулей равной 1.
Василий Полежаев
-- Вс 04.11.12 19:53:16 --