Exercise 917Number theory › Divisibility and gcdHigh schoolAdded 3 Nov 2026
GCD as a linear combination
#gcd#linear combination#Bézout
Statement
Show that is the smallest positive integer of the form with .
Hint
Let and the smallest positive . Show and , then ; and , so .
Show solutionHide solution
Solution
Setup. Let , achieved at .
. Euclidean division: with . Then is a positive combination if , contradicting minimality. So .
. Same argument.
Conclusion. is a common divisor, so . Conversely, and imply , so . Hence .