The Euclidean algorithm gives
Back substitution produces the Bézout's identity
Hence 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 (0)

There are currently no matching articles.