Integers and are strictly greater than 1 and satisfy is a random subset of with elements, and is a divisor of
Are there two integers and in such that
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
We can write n = k d + 1 where k is a positive integer.
According to the pigeonhole principle there is a least ⌈ d n ⌉ = k + 1
integers in X witch have the same residue r modulo d .
Denote d q 1 + r < d q 2 + r < ⋯ < d q k + 1 + r those elements.
Let δ = 1 ≤ i ≤ k min ( q i + 1 − q i ) .
We have:
k δ ≤ i = 1 ∑ k ( q i + 1 − q i ) = q k + 1 − q 1 = d 1 ( ( d q k + 1 + r ) − ( d q 1 + r ) ) ≤ d 1 ( m − 1 ) .
Wich means: δ ≤ k d 1 ( m − 1 ) = n − 1 m − 1 hence δ ≤ ⌊ n − 1 m − 1 ⌋ = 1 but δ is a positive integer.
So δ = 1 ⇒ ∃ l ∈ { 1 , 2 , … , k } ; 1 = q l + 1 − q l .
Now considere the numbers a = d q l + 1 + r and b = d q l + r .
We have clearly a − b = d .