Showing A Certain Subgroup of $\mathbb{Q}$ must actually be $\mathbb{Q}$

Yes, your proof is correct. Well done!

This looks fine. You could reach $\frac xy$ quite directly from $\frac rs$ (if $x,y,r,s>0$) by adding $sy$ times, then taking reciprocal, then adding $xy$ times.