1. Розв’язування квадратних конгруенцій за простим модулем
Розглянемо квадратну двочленну конгруенцію за простим непарним модулем :
, (1)
За допомогою очевидної заміни змінної до конгруенції (1) зводиться довільне рівняння
.
Число називається квадратичним лишком за модулем , якщо конгруенція (1) має розв’язки. Число називається квадратичним нелишком за модулем , якщо конгруенція (1) розв’язків не має.
За критерієм Ейлера для визначення квадратичних лишків і нелишків., якщо , то конгруенція (1) має розв’язки тоді і тільки тоді, коли , тобто
(2)
Готової формули для розв’язування алгебраїчних конгруенцій другого степеня не існує.
Відомі окремі випадки:
Якщо , то .
Якщо , то у випадку , а у випадку .
У випадках , для розв’язування (1) застосовується апроксимаційний (наближувальний) алгоритм, який полягає у наступному:
Обчислити значення символу Лежандра . Якщо , – квадратичний лишок, якщо , квадратичний нелишок.
Записати число у вигляді добутку парного і непарного чисел: , .
Знайти випадковий квадратичний нелишок за модулем , тобто для виконано співвідношення .
Покласти .
Обчислити . ( – наближене значення кореня конгруенції ).
Квадратний корінь з за модулем шукати у вигляді .
Знайти степінь , . Щоб визначити число , , запишемо його у двійковій системі числення
.
Визначити, які значення (0 або 1) набувають двійкові цифри наступним чином:
7.1) Обчислити .
- Лекція № 5 Тема: Розв’язування алгебраїчних конгруенцій
- 1. Розв’язування квадратних конгруенцій за простим модулем
- 7.2) Обчислити , .
- 7.2) Обчислимо , .
- Алгоритм Шенкса -Тонеллі
- 2. Алгебраїчні конгруенції -го степеня за простим модулем та способи їх розв'язування
- 1. Заміна коефіцієнтів абсолютно найменшими лишками за модулем .
- 2.Зниження степеня конгруенції.
- 3. Перехід до еквівалентної конгруенції, старший коефіцієнт якої дорівнює 1.
- 3. Число розв’язків конгруенції -го степеня за простим модулем
- 4. Алгебраїчні конгруенції -го степеня за складеним модулем та способи їх розв'язування
- 5. Алгоритм Берлекемпа розкладання многочлена на незвідні множники над скінченним полем
- Алгоритм Берлекемпа (Berlecamp’s Algorithm)