Take $n + 1$ numbers out of $1, 2, ..., 2n$. Show that there will be two numbers $x, y$ so that $gcd(x, y) = 1$.
What I've got is:
Let $d=gcd(a,b)$; by definition there are integers $a′$ and $b′$ such that $a=a′d$ and $b=b′d$, so $a′dx+b′dy=d$. Dividing through by $d$, then a$′x+b′y=1$.
Let $e=gcd(x,y)$. As before, there are integers $x′$ and $y′$ such that $x=ex′$ and $y=ey′$. Substituting these into the previous equation, we get $a′ex′+′ey′=1$, or $e(a′x′+b′y′)=1$. Since $a′x′+b′y′$ is an integer, this implies that $e=1$ or $e=−1$: these are the only divisors of $1$. But $e$ is a greatest common divisor and hence by definition positive, so $e=1$.
Would this proof be correct?