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 .

Articles by others on the same topic (0)

There are currently no matching articles.