Choose subset of n+1 from 2n set

[xax]

Every subset of n+1 from a 2n set has a pair of numbers with gcd=1. How can I prove this?

 

[rodigee]

Well, you can't because it's not true. For example let S = \left\{2, 4, 6, 8\right\}.

 

[Edgardo]

I think what xax meant was this:
Given is the set of integers from 1 to 2n. If you choose n+1 numbers from this set there is always a pair of numbers (among these n+1 numbers) with gcd=1.

 

[xax]

Edgardo, you're right.

 

[rodigee]

Well that makes more sense!

Xax, given any natural number, b, what is the gcd(b, b+1)? In your subset of size n+1 must there be a pair of the form {b, b+1}?

 

[xax]

Thank you both, but I solved it using pigeonhole principle and the fact that gcd(n,n+1)=1

 

[al-mahed]

but the first counter example of rodigee is correct since the property this is true if and only if the set elements can be ordered sucht that the diference between consective numbers is equal to 1

 

[alphachapmtl]

cause n+1 numbers in 1..2n includes 2 consecutive ones, whose gcd is 1