Калькулятор китайской теоремы об остатках
Решите три одновременных сравнения с попарно взаимно простыми модулями.
О калькуляторе китайской теоремы об остатках
Примеры китайской теоремы об остатках
Каждая строка объединяет три сравнения в один класс вычетов.
| Сравнения | Решение | Пояснение |
|---|---|---|
| 2 mod 3; 3 mod 5; 2 mod 7 | 23 mod 105 | Двадцать три даёт все три требуемых остатка. |
| 1 mod 4; 2 mod 5; 3 mod 7 | 17 mod 140 | Произведение попарно взаимно простых модулей равно 140. |
| 0 mod 2; 1 mod 3; 4 mod 5 | 4 mod 30 | Четыре — наименьшее неотрицательное решение всей системы. |
Как решить систему сравнений
- Введите целый остаток и модуль первого сравнения.
- Введите вторую и третью пары остатка и модуля.
- Убедитесь, что наибольший общий делитель каждой пары модулей равен единице.
- Нажмите «Решить сравнения», чтобы найти единственный класс вычетов.
- Проверьте ответ, приводя его по каждому введённому модулю.
Вопросы о китайской теореме об остатках
Что значит «попарно взаимно простые»?
У каждой пары различных модулей наибольший общий делитель должен быть равен единице. Сами модули не обязаны быть простыми числами.
Почему решений бесконечно много?
Теорема определяет один класс вычетов по модулю произведения всех модулей. Прибавление любого кратного этого произведения сохраняет все остатки.
Может ли остаток быть больше модуля?
Да, он будет приведён к эквивалентному стандартному остатку. Например, остаток восемь по модулю пять эквивалентен остатку три.
Можно ли использовать отрицательные остатки?
Да, они задают допустимые классы вычетов и могут быть нормализованы. В ответе выводится наименьший неотрицательный представитель.
Что происходит, если модули не взаимно простые?
Решение может существовать только при совместности перекрывающихся сравнений. Калькулятор следует классической теореме для попарно взаимно простых модулей и сообщает, что такие системы не поддерживаются.
Как проверить решение CRT?
Разделите показанное решение на каждый модуль и проверьте остаток. Он должен совпадать с соответствующим введённым значением после приведения по модулю.