Вычет по комплексному модулю

Материал из Модулярная арифметики
Перейти к: навигация, поиск

По аналогии с вычетом целого числа по целому числу, можно определить вычет для комплексных переменных.

Вычет целого числа по целому числу

Пусть заданы два целых положительных числа {x} и {p}. Справедливо равенство: x = \lfloor\frac{x}{p}\rfloor\cdot{p} + |x|_p.

\lfloor\frac{x}{p}\rfloor - наибольшее целое число от деления {x} на {p}.

|x|_p - в данном равенстве и есть вычет.

Вычет комплексного числа по комплексному числу

Пусть w – фиксированное целое комплексное число w=a+bj\in{CZ} с нормой p=a^2+b^2. Пусть z=x+yj – произвольное целое комплексное число.

Проведем следующие преобразования: z = \frac{z\cdot{p}}{p} = \frac{z\cdot{w}\cdot{\overline{w}}}{p}

Для преобразований используются следующий свойства:

  • \overline{w} = a-bj - сопряженное к {w} комплексное число.
  • p = {w}\cdot{\overline{w}}