Задача
NT-B1-M04-P005 Нельзя делить без проверки
#5
★☆☆☆☆ Уровень 1 из 5
Докажите, что сравнение \(2x\equiv1\pmod4\) не имеет решений.
Левая часть всегда четна.
Число \(2x\) четно, значит, по модулю \(4\) оно может иметь остаток \(0\) или \(2\). Остаток \(1\) невозможен. Также \(\gcd(2,4)=2\nmid1\), поэтому решений нет.
Фиксирует главную ловушку модуля.