Math Help - Prime Numbers

Here is my problem:

Let a,b be nonzero integers. Prove that (a,b) = 1 if and only if (a+b, ab) = 1.

Any suggestion on where to start?

You could try playing around with Bezout's identity.

(From right to left) Suppose that . There exist integers such that . Distributing the terms, , and . This shows that must divide 1. Therefore, .

You can try a similar argument for the other direction. (You may need to insert some terms into the equation by adding and subtracting the same thing.)

Alternatively: