Exercise 841Number theory › CongruencesL1Added 3 Nov 2026
Coprimality via congruences
#coprime#congruence#linear combination
Statement
Show that iff the congruence has a solution.
Hint
iff , iff , iff , iff Bézout.
Show solutionHide solution
Solution
Forward. If , Bézout gives , so : is a solution.
Converse. If , then for some , so . Any common divisor of divides , so .
Conclusion. is invertible mod iff .