Система из 4 модулей (2^n-1, 2^n+1, 2^(n+1)-1, 2^(n+1)+1)

Система модулей {2ⁿ-1, 2ⁿ+1, 2ⁿ⁺¹-1, 2ⁿ⁺¹+1} - не является попарно взаимно простой, что несколько сокращает её динамический диапазон, но как будет показано не существенно.

Динамический диапазон

$M = HOK(2^n - 1, 2^n + 1, 2^{n+1} - 1, 2^{n+1}+1)$

где $HOK$ - наименьшее общее кратное.

Что бы найти $M$, требуется определить наибольший общий делитель($HOD$) для всех четырех модулей. Так как $2^n - 1$ и $2^n + 1$, а также $2^{n+1} - 1$ и $2^{n+1}+1$ взаимнопросты, то необходимо найти наибольший общий делитель их попарного произведения.

$HOD(2^{2n} - 1, 2^{2n+2} - 1) = 3$

Отсюда по формуле для вычисления $HOK$:

$M = ((2^{2n} - 1)*(2^{2n+2} - 1))/3$