Let t be the greatest common divisor of the elements in T. Due to the fact that S⊂T, we immediately get that t/s. Let us assume for the sake of contradiction that t=1. From the previous observation we get that t≥d.
By taking into account that ∣T∣≥1+⌊dn⌋, we infer that we can find at least 1+⌊dn⌋ elements in T. All of them will be divisible by t, and the largest of them, which we shall denote by M, will be at least t⋅(1+⌊dn⌋). On the other hand, t≥d, hence
M≥t⋅(1+⌊dn⌋)≥d⋅(1+⌊dn⌋)>d⋅dn=n.
Therefore, M>n, which contradicts the fact that M∈{1,…,n}.
In conclusion, t=1, as desired. □
Solution:
We will show that kmin=1+⌊dn⌋ (here ⌊⋅⌋ denotes the integer part).
Obviously, the number of elements of S is not greater than ⌊dn⌋, i.e. ∣S∣≤⌊dn⌋, and S=U.
If S⊂T and the greatest common divisor of elements of T is equal to 1, then ∣T∣≥∣S∣+1.
1) Assume that ∣S∣<⌊dn⌋. Let T be the subset of U, consisting of all multiples of d in U. Thus, ∣T∣=⌊dn⌋ and S⊂T. Therefore, the greatest common divisor of all elements of T is d>1. Thus, k≥1+⌊dn⌋.
2) Assume ∣S∣=⌊dn⌋. Let T be any subset of U with S⊂T,S=T. Therefore, ∣T∣≥1+⌊dn⌋. Let q be the greatest common divisor of all elements of T. Assume that q>1. Therefore, q is a common divisor of all elements of S as well. Hence, q≥d. It follows that ∣T∣≤⌊qn⌋≤⌊dn⌋, contradiction. Hence, q=1.
Therefore, the minimal possible value of k is 1+⌊dn⌋. □