Since this is an iff proof, I know it needs to be proved both ways, but I can't figure out the other way. Can someone look over what I have so far and see if it makes sense and help me out going the other way?
Proof
$<==$ If a and b are relatively prime, by definition, then $gcd(a,b)=1$.
We can also. use the. fact that $gcd(a,b)*lcm(a,b)= ab$ Now plugging in $gcd(a,b)=1$ we get:
$$1*lcm(a,b)=ab$$ $$lcm(a,b)=ab$$, just like we wanted.
$==>$ help?