The Euclidean algorithm givesBack substitution produces the Bézout's identityHence a positive integer solution is . More generally, subtracting this identity from any other solution shows . Since and are coprime, the integer solutions are , ; both are positive precisely when .
Divide the linear congruence by the common factor , also dividing its modulus:The Bézout's identity from part (a) makes the inverse of modulo . Multiplication by therefore gives . Thus all integer solutions are . Equivalently, the three solution classes modulo are ; using modulus must not discard two of these classes.
Write . Reduction of the other integer congruence modulo gives . The Bézout's identity gives , so . Consequently,Indeed, . The Chinese remainder theorem guarantees one class modulo , since the two moduli are coprime.
Articles by others on the same topic
There are currently no matching articles.